Lupe
Suche

Stephane Demri & Valentin Goranko 
Temporal Logics in Computer Science 
Finite-State Systems

Support
Adobe DRM
Cover von Stephane Demri & Valentin Goranko: Temporal Logics in Computer Science (ePUB)
€133.28
Zahlungsmethoden
Sprache Englisch ● Format EPUB ● ISBN 9781316727164 ● Verlag Cambridge University Press ● Erscheinungsjahr 2016 ● herunterladbar 3 mal ● Währung EUR ● ID 5691236 ● Kopierschutz Adobe DRM
erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Stephane DemriValentin GorankoMartin Lange

16.153 Ebooks in dieser Kategorie

Cover von Sathiadev Mahesh & Cherie C. Trumbach: Agile Scrum Implementation and Its Long-Term Impact on Organizations
Sathiadev Mahesh & Cherie C. Trumbach: Agile Scrum Implementation and Its Long-Term Impact on Organizations
Software engineering has surfaced as an industrial field that is continually evolving due to the emergence of advancing technologies and innovative methodologies. Scrum is the most recent revolution …
EPUB
Adobe DRM
€299.44
Cover von Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies
Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies
EPUB
Adobe DRM
€268.25
Cover von Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications
Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications
EPUB
Adobe DRM
€2,994.41
Cover von Siva Dorairaj & Imran Ghani: Emerging Innovations in Agile Software Development
Siva Dorairaj & Imran Ghani: Emerging Innovations in Agile Software Development
EPUB
Adobe DRM
€255.77
Cover von Masha Etkind & Uri Shafrir: Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities
Masha Etkind & Uri Shafrir: Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities
EPUB
Adobe DRM
€162.20
Cover von Chih-Min Lin & Zhixiong Zhong: Large-Scale Fuzzy Interconnected Control Systems Design and Analysis
Chih-Min Lin & Zhixiong Zhong: Large-Scale Fuzzy Interconnected Control Systems Design and Analysis
EPUB
Adobe DRM
€218.34
Cover von M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering
M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering
EPUB
Adobe DRM
€268.25
Cover von Ekbal Rashid: Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities
Ekbal Rashid: Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities
EPUB
Adobe DRM
€205.87
Cover von Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications
Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications
EPUB
Adobe DRM
€3,680.62
Cover von R Agusthiyar & J Dhilipan: Human Machine Interaction in the Digital Era
R Agusthiyar & J Dhilipan: Human Machine Interaction in the Digital Era
The Human Machine Interaction in the Digital Era (ICHMIDE) 2023 conference aims to address the main issues of concern in the design issues with a particular emphasis on the design and development of …
EPUB
Adobe DRM
€56.04
nächste Seite >>>