語系
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.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
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:
Dingel, Juergen.; SpringerLink (Online service); Bruni, Roberto.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
SpringerLink (Online service); Bruni, Roberto.; Congress on Progress and Controversies in Oncological Urology (2000:); Wolf, Karsten.
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Data Encryption.
Coding and Information Theory.
Computer Communication Networks.
System Performance and Evaluation.
Web services
Computer networks- Security measures
Object-oriented programming (Computer science)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Models and Principles.
Information Systems Applications (incl.Internet)
Computer software- Verification
Electronic data processing- Distributed processing
Management of Computing and Information Systems.
Computer security
Computer software- Validation