Computer Aided Verification
Author/Editor: Dillig
Publication year:: 2019
Publisher: Springer
Publication year:: 2019
Publisher: Springer
Computer Aided Verification
Author/Editor: Lahiri
Publication year:: 2020
Publisher: Springer
Publication year:: 2020
Publisher: Springer
Computer Aided Verification
Author/Editor: Lahiri
Publication year:: 2020
Publisher: Springer
Publication year:: 2020
Publisher: Springer
Computer Aided Verification
Author/Editor: Silva
Publication year:: 2021
Publisher: Springer
Publication year:: 2021
Publisher: Springer
Computer Aided Verification
Author/Editor: Silva
Publication year:: 2021
Publisher: Springer
Publication year:: 2021
Publisher: Springer
Computer Aided Verification
Author/Editor: Shoham
Publication year:: 2022
Publisher: Springer
Publication year:: 2022
Publisher: Springer
Computer Aided Verification
Author/Editor: Shoham
Publication year:: 2022
Publisher: Springer
Publication year:: 2022
Publisher: Springer
Computer Aided Verification
Author/Editor: Chockler
Publication year:: 2018
Publisher: Springer
Publication year:: 2018
Publisher: Springer
Computer Aided Verification
Author/Editor: Chockler
Publication year:: 2018
Publisher: Springer
Publication year:: 2018
Publisher: Springer
Computer Vision Metrics
Author/Editor: Krig
Publication year:: 2014
Publisher: Springer
Publication year:: 2014
Publisher: Springer
Computer and Information Sciences
Author/Editor: Czach??rski
Publication year:: 2016
Publisher: Springer
Publication year:: 2016
Publisher: Springer
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Author/Editor: Tveito
Publication year:: 2016
Publisher: Springer
Publication year:: 2016
Publisher: Springer
Concept and Design Developments in School Improvement Research
Author/Editor: Oude Groote Beverborg
Publication year:: 2021
Publisher: Springer
Publication year:: 2021
Publisher: Springer
Concepts in Action
Author/Editor: Bechberger
Publication year:: 2021
Publisher: Springer
Publication year:: 2021
Publisher: Springer
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
Author/Editor: L??bner
Publication year:: 2021
Publisher: Springer
Publication year:: 2021
Publisher: Springer
Conceptualizing Environmental Citizenship for 21st Century Education
Author/Editor: Hadjichambis
Publication year:: 2020
Publisher: Springer
Publication year:: 2020
Publisher: Springer
Connecting Mathematics and Mathematics Education
Author/Editor: Wittmann
Publication year:: 2021
Publisher: Springer
Publication year:: 2021
Publisher: Springer
Consensus or Conflict?
Author/Editor: Wang
Publication year:: 2021
Publisher: Springer
Publication year:: 2021
Publisher: Springer
Constructing Roma Migrants
Author/Editor: Magazzini
Publication year:: 2019
Publisher: Springer
Publication year:: 2019
Publisher: Springer
Constructions of Cancer in Early Modern England
Author/Editor: Skuse
Publication year:: 2015
Publisher: Springer
Publication year:: 2015
Publisher: Springer