語系
Nicola, Rocco.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
by:
Nicola, Rocco.; Hennicker, Rolf.; SpringerLink (Online service)
(書目-電子資源)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Meseguer, Jose.; Nicola, Rocco.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Systems engineering
Computer simulation.
Multitasking (Computer science)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer software- Verification.
Software engineering.
Abstract data types (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer programming.
Symbolic and Algebraic Manipulation.