- Home
- Books
Books
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
! Tools in Fluvial Geomorphology 2e
Author(s):
Kondolf
Editor(s):
Weinreich, F. (UK)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780470684054
Publication Date:
2016
Book
! Tools Students Need to Be Skillful Writers: Building Better Sentences
Author(s):
Hostmeyer
Information Provider:
SAGE Publishing (Books)
ISBN: 9781412989046
Publication Date:
2012
Book
f Tools, Exercises, and Strategies for Coping With Complexity|IGI Global
Author(s):
Storesund, Rune
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9781668465639
Publication Date:
2024
Book
! Tools, Languages, Methodologies for Representing Semantics on the Web of Things
Author(s):
Mehta
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781786307644
Publication Date:
2022
Book
f Tools, Methodologies and Techniques Applied to Sustainable Supply Chains|MDPI - Multidisciplinary Digital Publishing Institute
Author(s):
García-Alcaraz, Jorge Luis
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783039283187
Publication Date:
2020
Book
! Tools, Techniques and Protocols for Monitoring Environmental Contaminants
Editor(s):
Krishnamoorthy Hegde,Satinder Kaur Brar andVinayak Pachapur
Information Provider:
Elsevier
E-ISBN: 9780128146798
Publication Date:
2020
Book
f Tooth Enamel: Frontiers in Mineral Chemistry and Biochemistry, Integrative Cell Biology and Genetics|Frontiers Media SA
Author(s):
Joseph Brookes, Steven
Editor(s):
Joseph Brookes, Steven
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9782889457342
Publication Date:
2019
Book
! Toothwear - The ABC of the Worn Dentition
Author(s):
Khan
Editor(s):
Chichester
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781444336559
Publication Date:
2011
Book
! Top Class Competitors - How Nations, Firms and Individuals Succeed in the New World of Competitiveness
Author(s):
Garelli
Editor(s):
Chichester
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780470025697
Publication Date:
2006
Book
! Top Down Policymaking
Author(s):
Dye
Information Provider:
SAGE Publishing (Books)
ISBN: 9781889119335
Publication Date:
2000
Book
! Top Drugs: Their History, Pharmacology, and Syntheses
Author(s):
Li
Information Provider:
Oxford University Press
ISBN: 9780199362585
Publication Date:
2015
Book
! Top Hedge Fund Investors: Stories, Strategies, and Advice
Author(s):
Rittereiser
Editor(s):
Falloon, B.
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780470501290
Publication Date:
2017
Book
! Top Medikamente in der Palliativmedizin
Author(s):
Claudia Bausewein andConstanze Rémi
Information Provider:
Elsevier
E-ISBN: 9783437236952
Publication Date:
2019
Book
! Top Pay and Performance
Editor(s):
Shaun Tyson and Frank Bournois
Information Provider:
Elsevier
E-ISBN: 9780750659192
Publication Date:
2005
Book
f Top Ten Fictional Narratives in Early Modern Europe : Translation, Dissemination and Mediality|De Gruyter
Author(s):
Schlusemann, Rita
Editor(s):
Schlusemann, Rita
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783110764451
Publication Date:
2023
Book
! Top Tips in Urology
Author(s):
McLoughlin
Editor(s):
Hutton, LM. (UK)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780470672938
Publication Date:
2013
Book
f Top Tips to Build and Support Effective Networks for Change: Learning from Oxfam???s influencing work in the South Caucasus, Vietnam and the ECSN-BRICSAM programme
Information Provider:
Oxfam
ISBN: 9781787481169
Publication Date:
2017
Book
! Top-Down Digital VLSI Design
Author(s):
Hubert Kaeslin
Information Provider:
Elsevier
E-ISBN: 9780128007303
Publication Date:
2015
Book
! Topical and Transdermal Drug Delivery: Principles and Practice
Author(s):
Benson
Editor(s):
Rose, J.
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780470450291
Publication Date:
2011
Book
! Topical Problems of Nonlinear Wave Physics
Editor(s):
Sergeev, Alexander
Information Provider:
SPIE Digital Library
ISBN: 9780819459954
Publication Date:
2006
Book
f Topics From EPR Research | IntechOpen
Author(s):
Maghraby, Ahmed M., Maghraby, Ahmed M., ed.
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9781789853001
Publication Date:
2019
Book
f Topics From EPR Research|IntechOpen
Author(s):
Ahmed M. Maghraby
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9781789852998
Publication Date:
2019
Book
f Topics in Adaptive Optics|IntechOpen
Author(s):
Tyson, Robert K.
Editor(s):
Tyson, Robert K.
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9789533079493
Publication Date:
2012
Book
f Topics in Autonomic Nervous System|IntechOpen
Author(s):
Elena Hernández-Aguilar, María
Editor(s):
Elena Hernández-Aguilar, María
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9781837683468
Publication Date:
2023
Book
f Topics in Cancer Survivorship|IntechOpen
Author(s):
Mohan, Ravinder
Editor(s):
Mohan, Ravinder
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9789533078946
Publication Date:
2012
Book
f Topics in Climate Modeling | IntechOpen
Author(s):
Hromadka, Theodore, Hromadka, Theodore, ed.
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9789535126614
Publication Date:
2016
Book
f Topics in Climate Modeling|IntechOpen
Author(s):
Prasada Rao
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9789535126607
Publication Date:
2016
Book
f Topics in Complex Analysis|De Gruyter
Author(s):
Romik, Dan
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9783110796810
Publication Date:
2023
Book
! Topics in Computer Education for Colleges of Education
Author(s):
Rogers
Information Provider:
Association for Computing Machinery (ACM)
ISBN: 9780897911061
Publication Date:
1983
Book
! Topics in computer education: national educational computer policy alternatives
Author(s):
Anderson
Information Provider:
Association for Computing Machinery (ACM)
ISBN: 9780897911887
Publication Date:
1986
Book
f Topics in Conservation Biology|IntechOpen
Author(s):
Povilitis, Tony
Editor(s):
Povilitis, Tony
Information Provider:
Directory of Open Access Books (DOAB)
ISBN: 9789535105404
Publication Date:
2012
Book
No more items...