語系
Bartocci, Ezio.
概要
作品: | 0 作品在 3 項出版品 1 種語言 |
---|
書目資訊
From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
by:
SpringerLink (Online service); Grosu, Radu.; Sokolsky, Oleg.; Bartocci, Ezio.; Cleaveland, Rance.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
Bartocci, Ezio.; Paoletti, Nicola.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Lio, Pietro.
(書目-語言資料,印刷品)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
Bartocci, Ezio.; SpringerLink (Online service); Majumdar, Rupak.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model checking software = 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings /
by:
Bartocci, Ezio.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Ramakrishnan, C. R.
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
by:
Lio, Pietro.; SpringerLink (Online service); Paoletti, Nicola.; Bartocci, Ezio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Lectures on Runtime Verification = Introductory and Advanced Topics /
by:
SpringerLink (Online service); Bartocci, Ezio.; Falcone, Yliès.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
Falcone, Yliès.; Bartocci, Ezio.; SpringerLink (Online service); Leucker, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
Bartocci, Ezio.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Majumdar, Rupak.
(書目-語言資料,印刷品)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
SpringerLink (Online service); Leucker, Martin.; Falcone, Yliès.; Bartocci, Ezio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Bioinformatics.
Formal methods (Computer science)
Computer science—Mathematics.
Computer organization.
Computer engineering.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Software engineering.
Bioinformatics .
Theory of Computation.
Computational biology
Programming Techniques.
Computer programming.
Computer Appl. in Life Sciences.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Computational biology .
Artificial Intelligence.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
System Performance and Evaluation.
The Computing Profession.
Computer Science.
Computer simulation.
Computer Engineering and Networks.
Simulation and Modeling.
Systems biology
Computer science.
Computer system failures.
Computational Biology/Bioinformatics.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.