語系
Bartocci, Ezio.
概要
作品: | 0 作品在 5 項出版品 1 種語言 |
---|
書目資訊
Lectures on runtime verification = introductory and advanced topics /
by:
Bartocci, Ezio.; Falcone, Ylies.; SpringerLink (Online service)
(書目-電子資源)
Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
CMSB (Conference) (2016 :); Bartocci, Ezio.; Paoletti, Nicola.; SpringerLink (Online service); Lio, Pietro.
(書目-電子資源)
From reactive systems to cyber-physical systems = essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
by:
Bartocci, Ezio.; SpringerLink (Online service)
(書目-電子資源)
Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
Bartocci, Ezio.; Falcone, Ylies.; SpringerLink (Online service); Havelund, Klaus, (1955-); Leucker, Martin.; ISoLA (Symposium) (2021 :)
(書目-電子資源)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
Bartocci, Ezio.; Majumdar, Rupak.; 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.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Computer software- Testing
Computer Engineering and Networks.
The Computing Profession.
Artificial Intelligence.
Computer software- Verification
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.