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,

Web Services and Formal Methods, Fachbücher von Maurice H. ter Beek, Niels Lohman

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

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

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

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