- Home
- Directory of Open Access Books (DOAB)
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
Author(s):
Biere, Armin
Editor(s):
Biere, Armin
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 31311
Publication Date:
2020
Book
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
Author(s):
Groote, Jan Friso
Editor(s):
Groote, Jan Friso
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783030720131
Publication Date:
2021
Book
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
Author(s):
Groote, Jan Friso
Editor(s):
Groote, Jan Friso
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783030720162
Publication Date:
2021
Book
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
Author(s):
Fisman, Dana
Editor(s):
Fisman, Dana
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783030995270
Publication Date:
2022
Book
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
Author(s):
Fisman, Dana
Editor(s):
Fisman, Dana
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783030995249
Publication Date:
2022
Book
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
Author(s):
Sankaranarayanan, Sriram
Editor(s):
Sankaranarayanan, Sriram
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783031308208
Publication Date:
2023
Book
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
Author(s):
Sankaranarayanan, Sriram
Editor(s):
Sankaranarayanan, Sriram
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783031308239
Publication Date:
2023
Book
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,
Author(s):
Beyer, Dirk, Beyer, Dirk, ed.
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783319899602
Publication Date:
2018
Book
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
Author(s):
Dirk Beyer
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783319899633
Publication Date:
2018
Book
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
Author(s):
Dirk Beyer
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783319899596
Publication Date:
2018
Book
f Tools in Artificial Intelligence|IntechOpen
Author(s):
Fritzsche, Paula
Editor(s):
Fritzsche, Paula
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9789537619039
Publication Date:
2008
Book
f Tools, Exercises, and Strategies for Coping With Complexity|IGI Global
Author(s):
Storesund, Rune
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9781668465639
Publication Date:
2024
Book
f Tools, Methodologies and Techniques Applied to Sustainable Supply Chains|MDPI - Multidisciplinary Digital Publishing Institute
Author(s):
García-Alcaraz, Jorge Luis
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783039283187
Publication Date:
2020
Book
f Tooth Enamel: Frontiers in Mineral Chemistry and Biochemistry, Integrative Cell Biology and Genetics|Frontiers Media SA
Author(s):
Joseph Brookes, Steven
Editor(s):
Joseph Brookes, Steven
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9782889457342
Publication Date:
2019
Book
f Top Ten Fictional Narratives in Early Modern Europe : Translation, Dissemination and Mediality|De Gruyter
Author(s):
Schlusemann, Rita
Editor(s):
Schlusemann, Rita
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783110764451
Publication Date:
2023
Book
f Topics From EPR Research | IntechOpen
Author(s):
Maghraby, Ahmed M., Maghraby, Ahmed M., ed.
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9781789853001
Publication Date:
2019
Book
f Topics From EPR Research|IntechOpen
Author(s):
Ahmed M. Maghraby
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9781789852998
Publication Date:
2019
Book
f Topics in Adaptive Optics|IntechOpen
Author(s):
Tyson, Robert K.
Editor(s):
Tyson, Robert K.
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9789533079493
Publication Date:
2012
Book
f Topics in Autonomic Nervous System|IntechOpen
Author(s):
Elena Hernández-Aguilar, María
Editor(s):
Elena Hernández-Aguilar, María
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9781837683468
Publication Date:
2023
Book
f Topics in Cancer Survivorship|IntechOpen
Author(s):
Mohan, Ravinder
Editor(s):
Mohan, Ravinder
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9789533078946
Publication Date:
2012
Book
No more items...