語系
Nicola, Rocco.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software, services, and systemsessays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
by:
Hennicker, Rolf.; Nicola, Rocco.; SpringerLink (Online service)
(書目-電子資源)
Concurrency, Graphs and ModelsEssays 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
Multitasking (Computer science)
Computer simulation.
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Software engineering.
Abstract data types (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer programming.
Symbolic and Algebraic Manipulation.