Languages
Issarny, Valerie.
Overview
Works: | 0 works in 3 publications in 1 languages |
---|
Titles
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:)
(Electronic resources)
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:)
(Electronic resources)
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.
(Electronic resources)
Subjects
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