語系
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.
Computer Communication Networks.
Coding and Information Theory.
System Performance and Evaluation.
Web services
Object-oriented programming (Computer science)
Computer networks- Security measures
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)
Electronic data processing- Distributed processing
Computer software- Verification
Management of Computing and Information Systems.
Computer security
Computer software- Validation