Nicola, Rocco.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Nicola, Rocco.; SpringerLink (Online service); Meseguer, Jose.
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Rewriting systems (Computer science)
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Computer software
Multitasking (Computer science)
Computer programming.
Computer Science.