Languages
Nicola, Rocco.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.