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

Programming Languages, Fachbücher von Alberto Pardo, S. Doaitse Swierstra

Rewriting Techniques and Applications, Fachbücher von Ralf Treinen

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

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

Formal Methods: Foundations And Applications 19th Brazilian Symposium,

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

Automated Technology for Verification and Analysis, Fachbücher von Dang Van Hung, Mizuhito Ogawa

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

Distributed Computing, Fachbücher von Yehuda Afek