語系
Bartocci, Ezio.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
(1998 :); Bartocci, Ezio.; Falcone, Ylies.; Havelund, Klaus, (1955-); Leucker, Martin.; SpringerLink (Online service)
(書目-電子資源)
Lectures on runtime verificationintroductory and advanced topics /
by:
Bartocci, Ezio.; Falcone, Ylies.; SpringerLink (Online service)
(書目-電子資源)
Computational methods in systems biology14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
(1998 :); Bartocci, Ezio.; Lio, Pietro.; Paoletti, Nicola.; SpringerLink (Online service)
(書目-電子資源)
Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(1998 :); Bartocci, Ezio.; Majumdar, Rupak.; SpringerLink (Online service)
(書目-電子資源)
From reactive systems to cyber-physical systemsessays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
by:
Bartocci, Ezio.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Appl. in Life Sciences.
Ubiquitous computing.
Theory of Computation.
Logics and Meanings of Programs.
Computer software
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
The Computing Profession.
Artificial Intelligence.
Computer Science.
Systems biology
Simulation and Modeling.
System Performance and Evaluation.
Computational biology
Computational Biology/Bioinformatics.
Symbolic and Algebraic Manipulation.
Artificial intelligence.
Internet of things.