Languages
Bruni, Roberto.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Trustworthy global computing = 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers /
by:
SpringerLink (Online service); Sassone, Vladimiro.; Bruni, Roberto.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Models of computation
by:
SpringerLink (Online service); Montanari, Ugo.; Bruni, Roberto.
(Language materials, printed)
Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Wolf, Karsten.; Bruni, Roberto.
(Language materials, printed)
Formal techniques for distributed systems = joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
Bruni, Roberto.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Dingel, Juergen.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computer Communication Networks.
Coding and Information Theory.
Web services
System Performance and Evaluation.
Object-oriented programming (Computer science)
Theory of Computation.
Computer networks
Programming Techniques.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Computer science
Management of Computing and Information Systems.
Computer security
Electronic data processing
Programming Languages, Compilers, Interpreters.
Models and Principles.
Computer software