Find the book that moves your work forward

Search technical and research references, then narrow the library with precise filters.

Keyword

Type at least two characters, then choose a suggestion.

Author

Type at least two characters, then choose a suggestion.

Keyword Author

Language

English Persian

Skill level

Advanced Beginner Intermediate Unordered

Publication year

Clear

English Intermediate novel

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Márcio Cornélio,Bill Roscoe (eds.)

Introduction Welcome to 'Formal Methods: Foundations and Applications', the proceedings of the 18th Brazilian Symposium held in Belo Horizonte, Brazil, in September …

2016 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Leila Ribeiro,Thierry Lecomte (eds.)

Welcome to a comprehensive exploration of 'Formal Methods: Foundations and Applications'. This book is the culmination of the 19th Brazilian Symposium, SBMF …

2016 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Simone Cavalheiro,José Fiadeiro (eds.)

Introduction to 'Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017' The compendium 'Formal Methods: Foundations and Applications: 20th Brazilian Symposium, …

2017 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Tiago Massoni,Mohammad Reza Mousavi

Welcome to the proceedings of the 21st Brazilian Symposium on Formal Methods (SBMF 2018), a prestigious event that brings together researchers, practitioners, …

2018 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Gustavo Carvalho,Volker Stolz

Introduction "Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings" is an exceptional collection …

2020 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Lucas Lima,Vince Molnár

Introduction Welcome to the 25th edition of the Brazilian Symposium on Formal Methods, 2022, a unique event that unites experts in the …

2022 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science)

Haniel Barbosa (editor),Yoni Zohar (editor)

Introduction Welcome to the "Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings," a pivotal …

2023 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)

Sérgio Campos (editor),Marius Minea (editor)

Introduction Welcome to the world of formal methods and their applications. The book titled "Formal Methods: Foundations and Applications" originates from the …

2021 View book

English Intermediate novel

Theories of Programming: The Life and Works of Tony Hoare

Cliff B. Jones,Jayadev Misra

Introduction The book "Theories of Programming: The Life and Works of Tony Hoare" provides an illuminating exploration into the profound impact Tony …

2021 View book

English Intermediate novel

Algorithmic term rewriting systems

Ariya Isihara.

Introduction to "Algorithmic Term Rewriting Systems" "Algorithmic Term Rewriting Systems" is a comprehensive guide that delves into the theoretical and practical aspects …

cop. 2010. View book

English Intermediate novel

An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

An Introduction to My Book Welcome to 'An Introduction to Practical Formal Methods Using Temporal Logic,' a comprehensive guide designed to blend …

2011 View book

English Intermediate Art

Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс

Evert W. Beth

Welcome to the world of 'Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and …

1970 View book