Hakutulokset: Kirjoja kirjailijalta Ugo Montanari
yhteensä 25 hakutulosta
Algebra and Coalgebra in Computer Science
A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for …
Principles and Practice of Constraint Programming - CP '95
This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in …
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held …
Formal Methods in Software and Systems Modeling
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut …
Handbook Of Graph Grammars And Computing By Graph Transformations, Vol 3: Concurrency, Parallelism, And Distribution
Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with …
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Automata, Languages and Programming
This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. …
Foundations of Information Technology in the Era of Network and Mobile Computing
Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of …
System Development and Ada
The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is …
Trustworthy Global Computing
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 …
Algebra and Coalgebra in Computer Science
A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for …