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

History after Apartheid: Visual Culture and Public Memory in a Democratic South Africa

Annie E. Coombes

Welcome to a comprehensive introduction to "History after Apartheid: Visual Culture and Public Memory in a Democratic South Africa," a pivotal exploration …

2003 View book

English Intermediate novel

The Last Defenders of the Laager: Ian D. Smith and F. W. de Klerk

Dickson Mungazi

Introduction to "The Last Defenders of the Laager: Ian D. Smith and F. W. de Klerk" In "The Last Defenders of the …

1998 View book

English Intermediate novel

Term Rewriting and All That

Franz Baader,Tobias Nipkow

Introduction Welcome to the world of 'Term Rewriting and All That', a comprehensive guide that delves into the intricate and fascinating realm …

1998 View book

English Intermediate novel

Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

Erika Ábrahám;Clemens Dubslaff;Silvia Lizeth Tapia Tarifa

The book "Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings" brings forth a comprehensive …

2023 View book

English Intermediate novel

Handbook of Model Checking

Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem (eds.)

Introduction to the Handbook of Model Checking The Handbook of Model Checking is an authoritative and comprehensive guide on the theory, practice, …

2018 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... Programming and Software Engineering)

Marcel Vinícius Medeiros Oliveira,Jim Woodcock

Introduction to Formal Methods: Foundations and Applications Welcome to the 12th Brazilian Symposium on Formal Methods (SBMF 2009) presented in this comprehensive …

2009 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Nicolas Blanc,Daniel Kroening (auth.),Marcel Vinícius Medeiros Oliveira,Jim Woodcock (eds.)

Welcome to an insightful exploration of "Formal Methods: Foundations and Applications," a collection of significant scholarly contributions from the 12th Brazilian Symposium …

2009 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Michael Leuschel,Jens Bendisposto (auth.),Jim Davies,Leila Silva,Adenilso Simao (eds.)

Introduction "Formal Methods: Foundations and Applications" is a comprehensive anthology of scholarly papers presented at the 13th Brazilian Symposium on Formal Methods …

2011 View book

English Intermediate novel

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Harald König,Michael Löwe (auth.),Adenilso Simao,Carroll Morgan (eds.)

Introduction to 'Formal Methods, Foundations and Applications' The book "Formal Methods, Foundations and Applications" is a comprehensive collection of revised selected papers …

2011 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

John Rushby (auth.),Rohit Gheyi,David Naumann (eds.)

Introduction to the Book Formal methods represent a cornerstone in the engineering of high-assurance systems, and their relevance continues to grow as …

2012 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Christiano Braga,Cássio Santos (auth.),Juliano Iyoda,Leonardo de Moura (eds.)

Introduction to 'Formal Methods: Foundations and Applications' Welcome to the proceedings of the 16th Brazilian Symposium on Formal Methods – SBMF 2013, …

2013 View book

English Intermediate novel

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Christiano Braga,Narciso Martí-Oliet (eds.)

Introduction Welcome to the detailed exploration of "Formal Methods: Foundations and Applications," a distinguished volume from the 17th Brazilian Symposium on Formal …

2015 View book