- Início
- Livros
Livros
Filter :
Acervos
Tipo de conteúdo
Data de publicação
(Livros)
Temas
Autores
Editoras
Idiomas
Tipo de Acesso
! Too Soon to Tell: Essays for the End of the Computer Revolution
Autore(s):
Grier
Editor(s):
Hatcher, M.(IEEE-CS)
Editoras:
John Wiley & Sons (Books)
ISBN: 9780470080351
Data de publicação:
2009
Livros
! Tool Use and Causal Cognition
Autore(s):
McCormack
Editoras:
Oxford University Press
ISBN: 9780199571154
Data de publicação:
2011
Livros
f Tool-supported identification of functional concerns in object-oriented code | KIT Scientific Publishing
Autore(s):
Trifu, Mircea
Editoras:
Directory of Open Access Books (DOAB)
ISBN: 9783866444942
Data de publicação:
2010
Livros
! Tooling for Composite Aerospace Structures
Autore(s):
Zeaid Hasan
Editoras:
Elsevier
E-ISBN: 9780128199572
Data de publicação:
2020
Livros
! Toolkit for Working with Juvenile Sex Offenders
Editor(s):
Daniel S. Bromberg and William T. O'Donohue
Editoras:
Elsevier
E-ISBN: 9780124059481
Data de publicação:
2014
Livros
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
Autore(s):
Beyer, Dirk
Editor(s):
Beyer, Dirk
Editoras:
Directory of Open Access Books (DOAB)
ISBN: 27642
Data de publicação:
2019
Livros
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
Autore(s):
Vojnar, Tomáš
Editor(s):
Vojnar, Tomáš
Editoras:
Directory of Open Access Books (DOAB)
ISBN: 27821
Data de publicação:
2019
Livros
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
Autore(s):
Vojnar, Tomáš
Editor(s):
Vojnar, Tomáš
Editoras:
Directory of Open Access Books (DOAB)
ISBN: 33313
Data de publicação:
2019
Livros
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,
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 : 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,
Autore(s):
Biere, Armin
Editor(s):
Biere, Armin
Editoras:
Directory of Open Access Books (DOAB)
ISBN: 33908
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 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 : 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 : 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 : 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 : 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 : 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: 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):
Beyer, Dirk
Editor(s):
Beyer, Dirk
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
! Tools and Environments for Parallel and Distributed Computing
Autore(s):
Hariri
Editor(s):
Kurzman, B.
Editoras:
John Wiley & Sons (Books)
ISBN: 9780471332886
Data de publicação:
2004
Livros
! Tools and Techniques in Modal Logic
Editor(s):
Marcus Kracht
Editoras:
Elsevier
E-ISBN: 9780444500557
Data de publicação:
1999
Livros
No more items...