Algebraic Informatics, Fachbücher von George Rahonis, Symeon Bozapalidis

Language and Automata Theory and Applications, Fachbücher von Adrian Horia Dediu, Carlos Martin-Vide, Armand Mihai Iones...

Semantics and Algebraic Specification, Fachbücher von Jens Palsberg

Recent Trends in Algebraic Development Techniques, Fachbücher von Ugo Montanari, Andrea Corradini

Biomedical Informatics and Technology, Fachbücher von Tuan D. Pham, Xiaoyi Jiang, Danny Coomans, Kazuhisha Ichikawa, May...

Formal Modeling and Analysis of Timed Systems, Fachbücher von Jean-Francois Raskin, P. S. Thiagarajan

Software Engineering and Formal Methods, Fachbücher von George Eleftherakis, Mike Hinchey, Mike Holcombe

Mathematical Methods in Computer Science, Fachbücher von Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade

Declarative Agent Languages and Technologies VII, Fachbücher von John Lloyd, M. Birna van Riemsdijk, Matteo Baldoni, Jam...

Applications of Graph Transformations with Industrial Relevance, Fachbücher von Dániel Varró, Andy Schürr, Gergely Varró

Theoretical Aspects of Computing - ICTAC 2007, Fachbücher von Cliff B. Jones, Zhiming Liu, Jones Woodcock

Graph-Theoretic Concepts in Computer Science, Fachbücher von Christophe Paul, Michel Habib

Model Checking and Artificial Intelligence, Fachbücher von Michael Wooldridge, Doron A. Peled

Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky, Fachbücher von Luke Ong, Bob Coe...

Fundamentals of Computation Theory, Fachbücher von Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala

Logic, Language, Information and Computation, Fachbücher von Ruy De Queiroz, Hiroakira Ono, Makoto Kanazawa