ugo montanari

Grid   List

  1. Models of Computation
    Models of Computation
    Roberto Bruni
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    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 ac...
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Algebra and Coalgebra in Computer Science
    Algebra and Coalgebra in Computer Science
    Till Mossakowski
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 coalg...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Methods in Software and Systems Modeling
    Formal Methods in Software and Systems Modeling
    Hans-Jörg Kreowski
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Graph Transformations
    Graph Transformations
    Andrea Corradini
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Third International Conference on Graph Transformations, ICGT 2006. The book presents 28 revised full papers together with 3 invited lectures. ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Andrea Corradini
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Trustworthy Global Computing
    Trustworthy Global Computing
    Ugo Montanari
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 prese...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Automata, Languages and Programming
    Automata, Languages and Programming
    Ugo Montanari
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Foundations of Information Technology in the Era of Network and Mobile Computing
    Foundations of Information Technology in the Era of Network and Mobile Computing
    Ricardo Baeza-Yates
    Springer New York
    Ebook
    Sofort lieferbar
    This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd I...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Models of Computation
    Models of Computation
    Ugo Montanari
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    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...
    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
    TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
    Hartmut Ehrig
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    On the complexity of branching programs and decision trees for clique functions.- Average complexity of additive properties for multiway tries: A unified approach.- Longest common factor of two wor...
    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Principles and Practice of Constraint Programming - CP ’95
    Principles and Practice of Constraint Programming - CP ’95
    Francesca Rossi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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. br...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Foundations of Information Technology in the Era of Network and Mobile Computing
    Foundations of Information Technology in the Era of Network and Mobile Computing
    Ricardo Baeza-Yates
    Springer US, Springer US
    Buch
    Bezug 11-15
    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 Comp...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>