Informatik (15.757 Artikel)

Alan Turing: Life and Legacy of a Great Thinker

Invited Talks.- Regular and Algebraic Words and Ordinals.- Logical Semantics of Types for Concurrency.- Deriving Bisimulation Congruences with Borrowed Contexts.- Symmetry and Concurrency.- Contrib...

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21...

This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full p...

Algebra and Geometry with Python

Algebra and Geometry with Python

Although essentially self-contained, a degree of mathematical maturity on the part of the reader is assumed, corresponding to his or her background in computer science or engineering. is a textbook...

ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings c...

1 Grundbegriffe.- 1.1 Zahlenbereiche.- 1.2 Grundbegriffe der Aussagenlogik.- 1.3 Quantifizierte Aussagen.- 1.4 Grundbegriffe der Mengenlehre.- 1.5 Relationen.- 1.6 Funktionen.- 1.7 Aufgaben.- 2 Ele...

Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

This book is intended as a text for a course on cryptography with emphasis on algebraic methods. It is written so as to be accessible to graduate or advanced undergraduate students, as well as to s...

Algebraic Systems Biology: Theses and Hypotheses.- Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions.- Membrane Computing as a Framework for Bio-modeling (An...

This volume contains the proceedings of the Third International Conference on Algebraic Biology (AB 2008). Jointly organized by the National Institute of Advanced Industrial Science and Technology ...

This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on the subjects taught by Symeon, namely: ...

The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if ...