- Home
- Books
Books
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
! 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
! Tools for Innovation
Author(s):
Markman
Information Provider:
Oxford University Press
ISBN: 9780195381634
Publication Date:
2009
Book
! Tools for Making Acute Risk Decisions with Chemical Process Safety Applications
Author(s):
CCPS
Editor(s):
Leventhal, M.(AIChE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780816905577
Publication Date:
1994
Book
! Tools for Oceanography and Ecosystemic Modeling
Author(s):
Monaco
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781848217782
Publication Date:
2016
Book
! Tools for Signal Compression: Applications to Speech and Audio Coding
Author(s):
Moreau
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781848212558
Publication Date:
2011
Book
! Tools for Teaching Conceptual Understanding Elementary: Harnessing Natural Curiosity for Learning That Transfers
Author(s):
Stern
Information Provider:
SAGE Publishing (Books)
ISBN: 9781506377247
Publication Date:
2017
Book
! Tools for Teaching Conceptual Understanding Secondary: Designing Lessons and Assessments for Deep Learning
Author(s):
Stern
Information Provider:
SAGE Publishing (Books)
ISBN: 9781506355702
Publication Date:
2017
Book
! Tools for Teaching in the Block
Editor(s):
Sejnost
Information Provider:
SAGE Publishing (Books)
ISBN: 9781412957137
Publication Date:
2009
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
No more items...