- Home
- Books
Books
f Tool-supported identification of functional concerns in object-oriented code | KIT Scientific Publishing
Author(s):
Trifu, Mircea
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783866444942
Publication Date:
2010
Book
! Tooling for Composite Aerospace Structures
Author(s):
Zeaid Hasan
Information Provider:
Elsevier
E-ISBN: 9780128199572
Publication Date:
2020
Book
! Toolkit for Working with Juvenile Sex Offenders
Editor(s):
Daniel S. Bromberg and William T. O'Donohue
Information Provider:
Elsevier
E-ISBN: 9780124059481
Publication Date:
2014
Book
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
Author(s):
Beyer, Dirk
Editor(s):
Beyer, Dirk
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 27642
Publication Date:
2019
Book
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
Author(s):
Vojnar, Tomáš
Editor(s):
Vojnar, Tomáš
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 27821
Publication Date:
2019
Book
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
Author(s):
Vojnar, Tomáš
Editor(s):
Vojnar, Tomáš
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 33313
Publication Date:
2019
Book
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,
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 : 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,
Author(s):
Biere, Armin
Editor(s):
Biere, Armin
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 33908
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 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 : 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 : 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 : 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 : 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 : 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: 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):
Beyer, Dirk
Editor(s):
Beyer, Dirk
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
! Tools and Environments for Parallel and Distributed Computing
Author(s):
Hariri
Editor(s):
Kurzman, B.
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780471332886
Publication Date:
2004
Book
! Tools and Techniques in Modal Logic
Editor(s):
Marcus Kracht
Information Provider:
Elsevier
E-ISBN: 9780444500557
Publication Date:
1999
Book
! Tools For Chemical Product Design
Editor(s):
Mariano Martín, Mario R. Eden, Nishanth G. Chemmangattuvalappil
Information Provider:
Elsevier
E-ISBN: 9780444636836
Publication Date:
2016
Book
! Tools for Collaborative Decision-Making
Author(s):
Zaraté
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781848215160
Publication Date:
2013
Book
No more items...