Rosu, Grigore.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and algorithms for the construction and analysis of systems28th 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:
(1998 :); Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems28th 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:
(1998 :); Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed systemsJoint 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:
(1998 :); Giese, Holger.; Rosu, Grigore.; SpringerLink (Online service)
(書目-電子資源)
Model checking software28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings /
by:
(1998 :); Legunsen, Owolabi.; Rosu, Grigore.; SpringerLink (Online service)
(書目-電子資源)
Algebraic Methodology and Software Technology12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(1998 :); Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Algebraic logic
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing
Logic in AI.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer software
Control Structures and Microprogramming.
Abstract data types (Computer science)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
System design
Computer Engineering and Networks.
Computer Modelling.
Coding and Information Theory.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.
System analysis