1460

Directory of Open Access Books (DOAB)

f Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I|Springer Nature

Autore(s): Biere, Armin

Editor(s): Biere, Armin

Editoras: Directory of Open Access Books (DOAB)

ISBN: 31311

Data de publicação: 2020

Livros

f Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II|Springer Nature

Autore(s): Groote, Jan Friso

Editor(s): Groote, Jan Friso

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783030720131

Data de publicação: 2021

Livros

f Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I|Springer Nature

Autore(s): Groote, Jan Friso

Editor(s): Groote, Jan Friso

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783030720162

Data de publicação: 2021

Livros

f Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II|Springer Nature

Autore(s): Fisman, Dana

Editor(s): Fisman, Dana

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783030995270

Data de publicação: 2022

Livros

f Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I|Springer Nature

Autore(s): Fisman, Dana

Editor(s): Fisman, Dana

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783030995249

Data de publicação: 2022

Livros

f Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II|Springer Nature

Autore(s): Sankaranarayanan, Sriram

Editor(s): Sankaranarayanan, Sriram

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783031308208

Data de publicação: 2023

Livros

f Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I|Springer Nature

Autore(s): Sankaranarayanan, Sriram

Editor(s): Sankaranarayanan, Sriram

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783031308239

Data de publicação: 2023

Livros

f Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018,

Autore(s): Beyer, Dirk, Beyer, Dirk, ed.

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783319899602

Data de publicação: 2018

Livros

f Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II|Springer Nature

Autore(s): Dirk Beyer

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783319899633

Data de publicação: 2018

Livros

f Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I|Springer Nature

Autore(s): Dirk Beyer

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783319899596

Data de publicação: 2018

Livros

f Tools in Artificial Intelligence|IntechOpen

Autore(s): Fritzsche, Paula

Editor(s): Fritzsche, Paula

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9789537619039

Data de publicação: 2008

Livros

f Tools, Exercises, and Strategies for Coping With Complexity|IGI Global

Autore(s): Storesund, Rune

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9781668465639

Data de publicação: 2024

Livros

f Tools, Methodologies and Techniques Applied to Sustainable Supply Chains|MDPI - Multidisciplinary Digital Publishing Institute

Autore(s): García-Alcaraz, Jorge Luis

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783039283187

Data de publicação: 2020

Livros

f Tooth Enamel: Frontiers in Mineral Chemistry and Biochemistry, Integrative Cell Biology and Genetics|Frontiers Media SA

Autore(s): Joseph Brookes, Steven

Editor(s): Joseph Brookes, Steven

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9782889457342

Data de publicação: 2019

Livros

f Top Ten Fictional Narratives in Early Modern Europe : Translation, Dissemination and Mediality|De Gruyter

Autore(s): Schlusemann, Rita

Editor(s): Schlusemann, Rita

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9783110764451

Data de publicação: 2023

Livros

f Topics From EPR Research | IntechOpen

Autore(s): Maghraby, Ahmed M., Maghraby, Ahmed M., ed.

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9781789853001

Data de publicação: 2019

Livros

f Topics From EPR Research|IntechOpen

Autore(s): Ahmed M. Maghraby

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9781789852998

Data de publicação: 2019

Livros

f Topics in Adaptive Optics|IntechOpen

Autore(s): Tyson, Robert K.

Editor(s): Tyson, Robert K.

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9789533079493

Data de publicação: 2012

Livros

f Topics in Autonomic Nervous System|IntechOpen

Autore(s): Elena Hernández-Aguilar, María

Editor(s): Elena Hernández-Aguilar, María

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9781837683468

Data de publicação: 2023

Livros

f Topics in Cancer Survivorship|IntechOpen

Autore(s): Mohan, Ravinder

Editor(s): Mohan, Ravinder

Editoras: Directory of Open Access Books (DOAB)

ISBN: 9789533078946

Data de publicação: 2012

Livros

No more items...

Este campo é obrigatório

Insira um endereço de e-mail válido

Approval was a Success

Dados inválidos

Ocorreu um erro

Approval was partially successful, following selected items could not be processed due to error