Bravetti, Mario.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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.
(書目-電子資源)
Web services and formal methods7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
by:
(1998 :); Bravetti, Mario.; Bultan, Tevfik.; SpringerLink (Online service)
(書目-電子資源)
CONCUR 2009 - concurrency theory20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
(1998 :); Bravetti, Mario.; SpringerLink (Online service); Zavattaro, Gianluigi.
(書目-電子資源)
主題
Web services
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Telecommunication systems
Mathematics of Computing.
Computer systems
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Formal methods (Computer science)
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Computer multitasking
Models and Principles.
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.
Computers and Society.
System Performance and Evaluation.
Parallel processing (Electronic computers)