Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
Title: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
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: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, Author: Jan Friso Groote
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: Generic Data Structures and Algorithms in Go: An Applied Approach Using Concurrency, Genericity and Heuristics, Author: Richard Wiener
Title: Genetic Programming: 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings, Author: Gisele Pappa
Title: Genetic Programming: 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Author: Mario Giacobini
Title: Genetic Programming: 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Author: Bing Xue
Title: Go Cookbook: Expert Solutions for Commonly Needed Go Tasks, Author: Sau Sheong Chang
Title: Go Crazy: A Fun Projects-based Approach to Golang Programming, Author: Nicolas Modrzyk
Title: Introducing Delphi ORM: Object Relational Mapping Using TMS Aurelius, Author: John Kouraklis
Title: Introducing Markdown and Pandoc: Using Markup Language and Document Converter, Author: Thomas Mailund
Title: Introducing Qt 6: Learn to Build Fun Apps & Games for Mobile & Desktop in C++, Author: Ben Coepp
Title: Introduction to Programming with Fortran, Author: Ian Chivers
Title: Introduction to R for Terrestrial Ecology: Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R, Author: Milena Lakicevic
Title: INTRODUCTION TO THE THEORY OF FORMAL LANGUAGES, Author: Dan A Simovici
Title: Java 23 for Absolute Beginners: Learn the Fundamentals of Java Programming, Author: Iuliana Cosmina

Pagination Links