Ugo Montanari

Lucian (of Samosata.)

di Luciano di Samosata

Storia vera

Idee per diventare informatico. Dalle schede perforate al futuro di internet

Grzegorz Rozenberg

Hartmut Ehrig

Andrea Corradini

Leila Ribeiro

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. All current aspects in graph drawing are addressed including graph theory and graph algorithms, theoretic and semantic aspects, modeling, tool issues and more. Also includes accounts of a tutorial on foundations and applications of graph transformations, and of ICGT Conference satellite events.

Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Graph Transformations

Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006, Proceedings

A. Nico Habermann

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 and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.

CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

System Development and Ada

(Concurrent) Logic Programming as Transition Systems and Viceversa

Roberto Bruni

Donald Sannella

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 book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Trustworthy Global Computing

Till Mossakowski

Magne Haveraaen

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 – the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.

Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Algebra and Coalgebra in Computer Science

CP ̕ 95 (1995 : Cassis, France)

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 the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research.

First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings

Principles and Practice of Constraint Programming - CP '95

Fernando Orejas

Gabriele Taentzer

Hans-Jörg Kreowski

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 researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling

Ricardo Baeza-Yates

Nicola Santoro

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 addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montréal, Québec, Canada in August 2002.

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

Foundations of Information Technology in the Era of Network and Mobile Computing

Ugo Montanari

About

Books

Join the club