語系
Issarny, Valerie.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Middleware 2008ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings /
by:
(1998 :); Issarny, Valerie.; Schantz, Richard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal methods for eternal networked software systems11th 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:
(1998 :); Bernardo, Marco.; Issarny, Valerie.; SpringerLink (Online service)
(書目-電子資源)
Trust ManagementThird International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings /
by:
(1998 :); Herrmann, Peter.; Issarny, Valerie.; Shiu, Simon.; SpringerLink (Online service)
(書目-電子資源)
Internet of things - ICIOT 20194th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings /
by:
(1998 :); Issarny, Valerie.; Palanisamy, Balaji.; Services Conference Federation. ((2019 :); SpringerLink (Online service); Zhang, Liang-Jie.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Wireless sensor networks
Electronic data processing
Software Engineering/Programming and Operating Systems.
Radio frequency identification systems
Computer systems
Management of Computing and Information Systems.
Programming Techniques.
Operating Systems.
Information Systems Applications (incl. Internet)
Information Storage and Retrieval.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Ubiquitous computing
User Interfaces and Human Computer Interaction.
Programming Languages, Compilers, Interpreters
Internet
Coding and Information Theory.
Information Systems Applications (incl.Internet)
Trust
Computer Science.
Computer Communication Networks.
Computers and Society.
Computer networks
Internet of things
Cloud computing
Computer Systems Organization and Communication Networks.
Middleware