Magnifying Glass
Search Loader

Michael Huth & Mark Ryan 
Logic in Computer Science 
Modelling and Reasoning about Systems

Support
Adobe DRM
Cover of Michael Huth & Mark Ryan: Logic in Computer Science (PDF)
€68.50
payment methods
Language English ● Format PDF ● ISBN 9780511261589 ● Publisher Cambridge University Press ● Published 2004 ● Downloadable 6 times ● Currency EUR ● ID 2333595 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Michael HuthMark RyanTechnology and Medicine, London) Huth Michael (Imperial College of ScienceMark (University of Birmingham) Ryan

16,234 Ebooks in this category

Cover of Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications
Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications
EPUB
Adobe DRM
€249.53
Cover of Amal Kumar Adak & Monoranjan Bhowmik: Emerging Research on Applied Fuzzy Sets and Intuitionistic Fuzzy Matrices
Amal Kumar Adak & Monoranjan Bhowmik: Emerging Research on Applied Fuzzy Sets and Intuitionistic Fuzzy Matrices
EPUB
Adobe DRM
€255.77
Cover of Tarek Gaber & Aboul Ella Hassanien: Handbook of Research on Machine Learning Innovations and Trends
Tarek Gaber & Aboul Ella Hassanien: Handbook of Research on Machine Learning Innovations and Trends
EPUB
Adobe DRM
€580.16
Cover of Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications
Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications
EPUB
Adobe DRM
€243.30
Cover of Francisco J. Garcia-Penalvo: Information Technology Trends for a Global and Interdisciplinary Research Community
Francisco J. Garcia-Penalvo: Information Technology Trends for a Global and Interdisciplinary Research Community
Data is the base for information, information is needed to have knowledge, and knowledge is used to make decisions and manage 21st century businesses and organizations. Thus, it is imperative to …
EPUB
Adobe DRM
€267.44
Cover of Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0
Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0
The research and exploitation of optoelectronic properties in the industrial branch of electronics is becoming more popular each day due to the important role they play in the development of a large …
EPUB
Adobe DRM
€300.00
Cover of Alex (Shantou University, China) Noel Joseph Raj & Xavier (St. Joseph's University, India) Savarimuthu: Artificial Intelligence for Multimedia Information Processing
Alex (Shantou University, China) Noel Joseph Raj & Xavier (St. Joseph’s University, India) Savarimuthu: Artificial Intelligence for Multimedia Information Processing
Advances in artificial intelligence (AI), widespread mobile devices, internet technologies, multimedia data sources, and information processing have led to the emergence of multimedia processing. Mul …
EPUB
Adobe DRM
€136.83
Cover of Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing
Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing
EPUB
Adobe DRM
€318.15
Cover of Francois Chollet & Antonio Gulli: Deep Learning with TensorFlow and Keras
Francois Chollet & Antonio Gulli: Deep Learning with TensorFlow and Keras
Build cutting edge machine and deep learning systems for the lab, production, and mobile devices. Purchase of the print or Kindle book includes a free e Book in PDF format. Key Features
Cover of Vianey Guadalupe Cruz Sanchez & Osslan Osiris Vergara Villegas: Augmented Reality
Vianey Guadalupe Cruz Sanchez & Osslan Osiris Vergara Villegas: Augmented Reality
This book focuses on augmented reality (AR) technology, which uses the real environment to superimpose virtual elements. Therefore, the reader can create applications that simulate scenarios that can …
EPUB
Adobe DRM
€124.75
Next page >>>