語系
Bruni, Roberto.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
(1998 :); Bruni, Roberto.; SpringerLink (Online service); Wolf, Karsten.
(書目-電子資源)
Trustworthy global computing6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers /
by:
(1998 :); Bruni, Roberto.; Sassone, Vladimiro.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed systemsjoint 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:
(1998 :); Bruni, Roberto.; Dingel, Juergen.; SpringerLink (Online service)
(書目-電子資源)
主題
Web services
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Computer software
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Models and Principles.
Coding and Information Theory.
Information Systems Applications (incl.Internet)
Computer security
Data Encryption.
Computer science
System Performance and Evaluation.
Computer Science.
Computer Communication Networks.
Computer networks
Object-oriented programming (Computer science)