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