Rosu, Grigore.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and Algorithms for the Construction and Analysis of Systems = 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II /
by:
Rosu, Grigore.; SpringerLink (Online service); Fisman, Dana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I /
by:
Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking Software = 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings /
by:
Legunsen, Owolabi.; SpringerLink (Online service); Rosu, Grigore.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
Meseguer, Jose.; SpringerLink (Online service); International Conference on Algebraic Methodology and Software Technology (2008 :); Rosu, Grigore.
(書目-語言資料,印刷品)
Formal techniques for distributed systems = Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Giese, Holger.; SpringerLink (Online service); Rosu, Grigore.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Computer engineering.
Computer Modelling.
Computer networks .
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Coding and Information Theory.
Information theory.
Software engineering.
Algebraic logic
Theory of Computation.
Logic in AI.
Computer Science.
Programming Techniques.
Microprogramming .
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Engineering and Networks.
Computer simulation.
Artificial Intelligence (incl. Robotics)
Logic programming.
Artificial Intelligence.
Coding theory.
Control Structures and Microprogramming.
Abstract data types (Computer science)
Electronic data processing
Computer science.
Software engineering
Programming Languages, Compilers, Interpreters.