語系
Rosu, Grigore.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Meseguer, Jose.; 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:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Rosu, Grigore.; Giese, Holger.
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Abstract data types (Computer science)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algebraic logic
Electronic data processing- Distributed processing
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.