語系
Issarny, Valerie.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings /
by:
SpringerLink (Online service); Issarny, Valerie.; Schantz, Richard.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Trust Management = Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings /
by:
Herrmann, Peter.; Shiu, Simon.; Issarny, Valerie.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Formal methods for eternal networked software systems = 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco.; SpringerLink (Online service); Issarny, Valerie.
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Middleware
Software Engineering/Programming and Operating Systems.
Operating Systems.
Computers and Society.
Computer Communication Networks.
Computer networks
Information Storage and Retrieval.
Trust- Management
Computer systems- Reliability
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Mathematical Logic and Formal Languages.
Electronic data processing- Distributed processing
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters