Title: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
Title: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
Title: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, Author: Alberto Lluch Lafuente
Title: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, Author: Alberto Lluch Lafuente
Title: Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, Author: Jan Friso Groote
Title: Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, Author: Jan Friso Groote
Title: Foundations of Probabilistic Programming, Author: Gilles Barthe
Title: Foundations of XML Processing: The Tree-Automata Approach, Author: Haruo Hosoya
Title: Free-Format RPG IV: The Express Guide to Learning Free Format, Author: Jim Martin
Title: Full Stack iOS Development with Swift and Vapor, Author: Hem Dutt
Title: Full-Stack iOS Development with Swift and Vapor, Author: Hem Dutt
Title: Functional and Concurrent Programming: Core Concepts and Features, Author: Michel Charpentier
Title: Functional and Concurrent Programming: Core Concepts and Features, Author: Michel Charpentier
Title: Functional Design: Principles, Patterns, and Practices, Author: Robert Martin
Title: Fundamentals of Programming Languages, Author: Chris Chancellor
Title: Fundamentals of Programming Languages, Author: E. Horowitz
Title: Fuzzy Logic Control in Energy Systems with design applications in MATLAB®/Simulink®, Author: Ismail H. Altas
Title: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures, Author: Jouko Väänänen
Title: Generic Data Structures and Algorithms in Go: An Applied Approach Using Concurrency, Genericity and Heuristics, Author: Richard Wiener
Title: Generic Data Structures and Algorithms in Go: An Applied Approach Using Concurrency, Genericity and Heuristics, Author: Richard Wiener

Pagination Links