語系
Bruni, Roberto.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
Models of computation
by:
SpringerLink (Online service); Montanari, Ugo.; Bruni, Roberto.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
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