- Inicio
- Directory of Open Access Books (DOAB)
Directory of Open Access Books (DOAB)
Filter :
Colecciones
Tipo de contenido
Fecha de publicación
(libros)
Autores
Editorial
Tipo de acceso
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 31311
Fecha de publicación:
2020
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783030720131
Fecha de publicación:
2021
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783030720162
Fecha de publicación:
2021
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783030995270
Fecha de publicación:
2022
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783030995249
Fecha de publicación:
2022
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783031308208
Fecha de publicación:
2023
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783031308239
Fecha de publicación:
2023
Libros
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.
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783319899602
Fecha de publicación:
2018
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783319899633
Fecha de publicación:
2018
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783319899596
Fecha de publicación:
2018
Libros
f Tools in Artificial Intelligence|IntechOpen
Autore(s):
Fritzsche, Paula
Editor(s):
Fritzsche, Paula
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9789537619039
Fecha de publicación:
2008
Libros
f Tools, Exercises, and Strategies for Coping With Complexity|IGI Global
Autore(s):
Storesund, Rune
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9781668465639
Fecha de publicación:
2024
Libros
f Tools, Methodologies and Techniques Applied to Sustainable Supply Chains|MDPI - Multidisciplinary Digital Publishing Institute
Autore(s):
García-Alcaraz, Jorge Luis
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783039283187
Fecha de publicación:
2020
Libros
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
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9782889457342
Fecha de publicación:
2019
Libros
f Top Ten Fictional Narratives in Early Modern Europe : Translation, Dissemination and Mediality|De Gruyter
Autore(s):
Schlusemann, Rita
Editor(s):
Schlusemann, Rita
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9783110764451
Fecha de publicación:
2023
Libros
f Topics From EPR Research | IntechOpen
Autore(s):
Maghraby, Ahmed M., Maghraby, Ahmed M., ed.
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9781789853001
Fecha de publicación:
2019
Libros
f Topics From EPR Research|IntechOpen
Autore(s):
Ahmed M. Maghraby
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9781789852998
Fecha de publicación:
2019
Libros
f Topics in Adaptive Optics|IntechOpen
Autore(s):
Tyson, Robert K.
Editor(s):
Tyson, Robert K.
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9789533079493
Fecha de publicación:
2012
Libros
f Topics in Autonomic Nervous System|IntechOpen
Autore(s):
Elena Hernández-Aguilar, María
Editor(s):
Elena Hernández-Aguilar, María
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9781837683468
Fecha de publicación:
2023
Libros
f Topics in Cancer Survivorship|IntechOpen
Autore(s):
Mohan, Ravinder
Editor(s):
Mohan, Ravinder
Editorial:
Directory of Open Access Books (DOAB)
ISBN: 9789533078946
Fecha de publicación:
2012
Libros
No more items...