語系
Zavattaro, Gianluigi.
概要
| 作品: | 8 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Computer Systems and Business ProcessesEuropean Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
by:
(1998 :); Bravetti, Mario.; Kloul, Leila.; SpringerLink (Online service); Zavattaro, Gianluigi.
(書目-電子資源)
Formal methods for web services9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures /
by:
(1998 :); Bernardo, Marco.; Padovani, Luca.; SpringerLink (Online service); Zavattaro, Gianluigi.
(書目-電子資源)
Service-oriented and cloud computingFirst European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings /
by:
(1998 :); Paoli, Flavio.; Pimentel, Ernesto.; SpringerLink (Online service); Zavattaro, Gianluigi.
(書目-電子資源)
Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
by:
(1998 :); Bravetti, Mario.; Nunez, Manuel.; SpringerLink (Online service); Zavattaro, Gianluigi.
(書目-電子資源)
CONCUR 2009 - concurrency theory20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
(1998 :); Bravetti, Mario.; SpringerLink (Online service); Zavattaro, Gianluigi.
(書目-電子資源)
Formal Methods for Open Object-Based Distributed Systems7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(1998 :); SpringerLink (Online service); Steffen, Martin.; Zavattaro, Gianluigi.
(書目-電子資源)
主題
Web services
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing
Telecommunication systems
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Operating Systems.
Programming Techniques.
Computer systems
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Database Management.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Internet
Computer multitasking
Models and Principles.
Information Systems Applications (incl.Internet)
Service-oriented architecture (Computer science)
Business Information Systems.
Computer Science.
Computer Communication Networks.
Computers and Society.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Parallel processing (Electronic computers)
Cloud computing
Systems and Data Security.
Object-oriented programming (Computer science)