Formal Methods - The Next 30 Years, Fachbücher von Annabelle McIver, Maurice H. ter Beek, José N. Oliveira

Formal Methods for Industrial Critical Systems, Fachbücher von Maurice H. ter Beek, Dejan Nickovic

Critical Systems: Formal Methods and Automated Verification, Fachbücher von Maurice H. ter Beek, Alexander Knapp, Stefan...

From Software Engineering to Formal Methods and Tools, and Back, Fachbücher von Maurice H. ter Beek, Alessandro Fantechi...

Formal Methods - The Next 30 Years Third World Congress, Fm 2019,

Formal Methods: Foundations and Applications, Fachbücher von José Fiadeiro, Simone Cavalheiro

Relational and Algebraic Methods in Computer Science, Fachbücher von Michael Winter, Wolfram Kahl, José Oliveira

Passive Methods as a Solution for Improving Indoor Environments, Fachbücher von José A. Orosa, Armando C. Oliveira

Educação Geográfica: teorias e práticas, Fachbücher von Victor H. N. Oliveira

Ecological Manifesto: The Next Ten Years, Fachbücher von Vihren Mitev

Human-Computer Interaction: The Agency Perspective, Fachbücher von José Valente de Oliveira, Marielba Zacarias

Conceptual Modeling, Fachbücher von Alberto H. F. Laender, José Palazzo M. de Oliveira, Ee-Peng Lim, Barbara Pernici

The Optical Clearing Method, Fachbücher von Valery Victorovich Tuchin, Luís Manuel Couto Oliveira

Introduction to Methods of Approximation in Physics and Astronomy, Fachbücher von Maurice H. P. M. van Putten

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Fachbücher von Marco Bernardo, Rocco De N...

The Next Twenty-five Years of Public Choice, Fachbücher von Friedrich Schneider, Robert D. Tollison, Charles Rowley