FM 2015: Formal Methods, Fachbücher von Frank de Boer, Nikolaj Bjørner

Formal Methods for Industrial Critical Systems, Fachbücher von Manuel Nunez, Matthias Güdemann

Fm 2015: Formal Methods 20th International Symposium, Oslo, Norway,

Component-Based Software Engineering, Fachbücher von Grace A. Lewis, Iman Poernomo, Christine Hofmeister

Combinatorial Pattern Matching, Fachbücher von Gregory Kucherov, Esko Ukkonen

Formal Concept Analysis, Fachbücher von Christian Sacarea, Manuel Ojeda-Aciego, Jaume Baixeries

NASA Formal Methods, Fachbücher von Klaus Havelund, Rajeev Joshi, Gerard Holzmann

Model Checking Software, Fachbücher von Jaco Geldenhuys, Bernd Fischer

Fundamentals of Computation Theory, Fachbücher von Igor Walukiewicz, Adrian Kosowski

FM 2014: Formal Methods, Fachbücher von Jun Sun, Cliff Jones, Pekka Pihlajasaari

Experimental Algorithms, Fachbücher von Evripidis Bampis

Practical Aspects of Declarative Languages, Fachbücher

Bioinformatics Research and Applications, Fachbücher von Robert Harrison, Ion Mandoiu, Yaohang Li

Inter-Domain Management, Fachbücher von Mark Burgess, Arosha K. Bandara

Mathematical Methods for Curves and Surfaces, Fachbücher

Mathematical Foundations of Computer Science 2015, Fachbücher von Donald T. Sannella, Giovanni Pighizzini, Guiseppe F. I...