語系
Zavattaro, Gianluigi.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /
by:
Zavattaro, Gianluigi.; SpringerLink (Online service); Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Degano, Pierpaolo, (1950-)
(書目-語言資料,印刷品)
Formal Techniques for Computer Systems and Business Processes = European 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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Bravetti, Mario.; Kloul, Leila.; Zavattaro, Gianluigi.; SpringerLink (Online service)
(書目-語言資料,印刷品)
CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
Zavattaro, Gianluigi.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Bravetti, Mario.
(書目-語言資料,印刷品)
Service-oriented and cloud computing = First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings /
by:
Zavattaro, Gianluigi.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Pimentel, Ernesto.; Paoli, Flavio.
(書目-語言資料,印刷品)
Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Zavattaro, Gianluigi.; Steffen, Martin.
(書目-語言資料,印刷品)
Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
Zavattaro, Gianluigi.; Lea, Doug.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal methods for web services = 9th 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:
Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Padovani, Luca.; Zavattaro, Gianluigi.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Systems and Data Security.
Computer Communication Networks.
Web services
System Performance and Evaluation.
Object-oriented programming (Computer science)
Service-oriented architecture (Computer science)
Theory of Computation.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Internet
Computers and Society.
Special Purpose and Application-Based Systems.
Cloud computing
Electronic data processing
Computer systems
Information Storage and Retrieval.
Business Information Systems.
Computational Biology/Bioinformatics.
Computer multitasking
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Models and Principles.
Computation by Abstract Devices.
Database Management.
Software Engineering.
Telecommunication systems
Integrated circuits
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Operating Systems.