- Главная страница
- Книги
Книги
Filter :
Коллекция
Тип контента
Дата публикации
(Книги)
Тема
Авторы
Издательство
Язык
Тип доступа
! Too Soon to Tell: Essays for the End of the Computer Revolution
Авторы:
Grier
Editor(s):
Hatcher, M.(IEEE-CS)
Издательство:
John Wiley & Sons (Books)
ISBN: 9780470080351
Дата публикации:
2009
Книги
! Tool Use and Causal Cognition
Авторы:
McCormack
Издательство:
Oxford University Press
ISBN: 9780199571154
Дата публикации:
2011
Книги
f Tool-supported identification of functional concerns in object-oriented code | KIT Scientific Publishing
Авторы:
Trifu, Mircea
Издательство:
Directory of Open Access Books (DOAB)
ISBN: 9783866444942
Дата публикации:
2010
Книги
! Tooling for Composite Aerospace Structures
Авторы:
Zeaid Hasan
Издательство:
Elsevier
E-ISBN: 9780128199572
Дата публикации:
2020
Книги
! Toolkit for Working with Juvenile Sex Offenders
Editor(s):
Daniel S. Bromberg and William T. O'Donohue
Издательство:
Elsevier
E-ISBN: 9780124059481
Дата публикации:
2014
Книги
f Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III | Springer Nature
Авторы:
Beyer, Dirk
Editor(s):
Beyer, Dirk
Издательство:
Directory of Open Access Books (DOAB)
ISBN: 27642
Дата публикации:
2019
Книги
f Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceed
Авторы:
Vojnar, Tomáš
Editor(s):
Vojnar, Tomáš
Издательство:
Directory of Open Access Books (DOAB)
ISBN: 27821
Дата публикации:
2019
Книги
f Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceed
Авторы:
Vojnar, Tomáš
Editor(s):
Vojnar, Tomáš
Издательство:
Directory of Open Access Books (DOAB)
ISBN: 33313
Дата публикации:
2019
Книги
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,
Авторы:
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 : 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,
Авторы:
Biere, Armin
Editor(s):
Biere, Armin
Издательство:
Directory of Open Access Books (DOAB)
ISBN: 33908
Дата публикации:
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 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 : 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 : 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 : 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 : 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 : 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: 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
Авторы:
Beyer, Dirk
Editor(s):
Beyer, Dirk
Издательство:
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
Книги
! Tools and Environments for Parallel and Distributed Computing
Авторы:
Hariri
Editor(s):
Kurzman, B.
Издательство:
John Wiley & Sons (Books)
ISBN: 9780471332886
Дата публикации:
2004
Книги
! Tools and Techniques in Modal Logic
Editor(s):
Marcus Kracht
Издательство:
Elsevier
E-ISBN: 9780444500557
Дата публикации:
1999
Книги
No more items...