Formal Methods: Foundations and Applications, Fachbücher von Juliano Iyoda, Leonardo De Moura

Programming Languages, Fachbücher von Francisco Heron de Carvalho Junior, Luis Soares Barbosa

Model-Driven Engineering Languages and Systems, Fachbücher von Peter Clarke, Jeff Gray, Bernhard Schätz, Antonio Valleci...

Stabilization, Safety, and Security of Distributed Systems, Fachbücher von Vijay Garg, Pascal Felber

Research in Attacks, Intrusions, and Defenses, Fachbücher von Charles V. Wright, Angelos Stavrou, Salvatore J. Stolfo

String Processing and Information Retrieval, Fachbücher von Edleno Moura, Maxime Crochemore

Advances in Bioinformatics and Computational Biology, Fachbücher von João C. Setubal, Nalvo F. Almeida

Formal Methods and Software Engineering, Fachbücher von Jing Sun, Lindsay Groves

Rewriting Techniques and Applications, Fachbücher von Ralf Treinen

Stochastic Algorithms: Foundations and Applications, Fachbücher von Watanabe, Osamu Zeugmann, Thomas

Formal Methods: Foundations And Applications 23rd Brazilian Symposium,

NASA Formal Methods, Fachbücher

String Processing and Information Retrieval, Fachbücher von Moshe Lewenstein, Oren Kurland, Ely Porat

Image and Video Technology, Fachbücher von Shin'ichi Satoh, Reinhard Klette, Mariano Rivera

Distributed Computing, Fachbücher von Yehuda Afek

Algorithmic Game Theory, Fachbücher von Berthold Vöcking