語系
Padovani, Luca.
概要
作品: | 3 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Formal methods for web services9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures /
by:
(1998 :); Bernardo, Marco.; Padovani, Luca.; SpringerLink (Online service); Zavattaro, Gianluigi.
(書目-電子資源)
Euro-Par 2018parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018 : proceedings /
by:
(1998 :); Aldinucci, Marco.; Padovani, Luca.; SpringerLink (Online service); Torquati, Massimo.
(書目-電子資源)
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Logic Design.
Internet
Information Systems Applications (incl.Internet)
Artificial Intelligence.
Computer Science.
Computer Systems Organization and Communication Networks.
Parallel processing (Electronic computers)