語系
De Nicola, Rocco.
概要
| 作品: | 5 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methods14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(1998 :); De Nicola, Rocco.; Kuhn, Eva.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings /
by:
(1998 :); De Nicola, Rocco.; Ferrari, Gianluigi.; Meredith, Greg.; SpringerLink (Online service)
(書目-電子資源)
Trustworthy Global Computing :International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(1998 :); De Nicola, Rocco.; Sangiorgi, Davide.; SpringerLink (Online service)
(書目-電子資源)
Models, languages, and tools for concurrent and distributed programmingessays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
Boreale, Michele.; De Nicola, Rocco.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for the quantitative evaluation of collective adaptive systems16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures /
by:
(1998 :); Bernardo, Marco.; De Nicola, Rocco.; Hillston, Jane.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Electronic data processing
De Nicola, Rocco.
Computer software
Operating Systems.
Programming Techniques.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Software engineering.
Logic design.
Computer security
Computer science
Computer Science.
Computer Communication Networks.
Computer networks
Parallel processing (Electronic computers)
Probability and Statistics in Computer Science.
Computer System Implementation.