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