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.
(書目-語言資料,印刷品)
主題
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer programming.
Computer Science.
Computer simulation.
Computer software
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Multitasking (Computer science)
Rewriting systems (Computer science)
Software engineering.
Software Engineering.
Symbolic and Algebraic Manipulation.