Ugo Montanari – författare
Visar alla böcker från författaren Ugo Montanari. Handla med fri frakt och snabb leverans.
24 produkter
Foundations of Information Technology in the Era of Network and Mobile Computing
IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada
Av Nicola Santoro, Ugo Montanari m. fl.
E-bok, 2013
2065 kr
Lägg i varukorg
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 Computation; -Logic, Semantics, Specification and Verification. This volume contains 45 original and significant contributions …
Foundations of Information Technology in the Era of Network and Mobile Computing
IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada
Av Ricardo Baeza-Yates, Yates m. fl.
Inbunden, 2002
1692 kr
Lägg i varukorg
IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to …
Foundations of Information Technology in the Era of Network and Mobile Computing
IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada
Av Ricardo Baeza-Yates, Ugo Montanari m. fl.
Häftad, 2013
1692 kr
Lägg i varukorg
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 Computation; -Logic, Semantics, Specification and Verification.This volume contains 45 original and significant contributions …
Models of Computation
Av Roberto Bruni, Ugo Montanari
Inbunden, 2017
435 kr
Lägg i varukorg
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After …
Models of Computation
Av Ugo Montanari, Roberto Bruni
E-bok, 2017
903 kr
Lägg i varukorg
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After …
Models of Computation
Av Roberto Bruni, Ugo Montanari
Häftad, 2018
435 kr
Lägg i varukorg
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After …
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Av Hartmut Ehrig, Robert A. Kowalski m. fl.
Häftad, 1987
399 kr
Lägg i varukorg
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
Av Hartmut Ehrig, Robert Kowalski m. fl.
Häftad, 1987
399 kr
Lägg i varukorg
System Development and Ada
CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
Av A. Nico Habermann, Ugo Montanari
Häftad, 1987
569 kr
Lägg i varukorg
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 software development environments. Software development is treated from three viewpoints: methodologies, language issues …
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Av Hans-Jörg Kreowski, Ugo Montanari m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
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 Ehrig.The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established …
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Av Gabriele Taentzer, Grzegorz Rozenberg m. fl.
E-bok, 2005
718 kr
Lägg i varukorg
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60 th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established …
Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Av Andrea Corradini, Hartmut Ehrig m. fl.
Häftad, 2006
551 kr
Lägg i varukorg
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located …
Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Av Grzegorz Rozenberg, Leila Ribeiro m. fl.
E-bok, 2006
718 kr
Lägg i varukorg
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located …
Automata, Languages and Programming
27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
Av Emo Welzl, Jose D.P. Rolim m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
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. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a …
Principles and Practice of Constraint Programming - CP '95
First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings
Av Ugo Montanari, Francesca Rossi
Häftad, 1995
1128 kr
Lägg i varukorg
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 September 1995.The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of …
CONCUR '96: Concurrency Theory
7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
Av Ugo Montanari, Vladimiro Sassone
Häftad, 1996
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996.The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions …
Automata, Languages and Programming
27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
Av Ugo Montanari, Jose D.P. Rolim m. fl.
Häftad, 2000
1128 kr
Lägg i varukorg
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. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a …
Algebra and Coalgebra in Computer Science
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Av Till Mossakowski, Ugo Montanari m. fl.
Häftad, 2007
569 kr
Lägg i varukorg
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 algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - …
Algebra and Coalgebra in Computer Science
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Av Magne Haveraaen, Ugo Montanari m. fl.
E-bok, 2007
732 kr
Lägg i varukorg
Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Av Ugo Montanari, Donald Sannella m. fl.
Häftad, 2007
569 kr
Lägg i varukorg
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 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The …
Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Av Roberto Bruni, Donald Sannella m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
Recent Trends in Algebraic Development Techniques
19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Av Andrea Corradini, Ugo Montanari
Häftad, 2009
551 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully …
Recent Trends in Algebraic Development Techniques
19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Av Ugo Montanari, Andrea Corradini
E-bok, 2009
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully …
