Ebook > Scienza > Informatica > Informatica > Michael Huth & Mark Ryan: Logic in Computer Science (PDF)

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

Supporto

Copertina di Michael Huth & Mark Ryan: Logic in Computer Science (PDF)

€69.18

Lingua Inglese ● Formato PDF ● ISBN 9780511261589 ● Casa editrice Cambridge University Press ● Pubblicato 2004 ● Scaricabile 6 volte ● Moneta EUR ● ID 2333595 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Michael Huth Mark Ryan Technology and Medicine, London) Huth Michael (Imperial College of Science Mark (University of Birmingham) Ryan

16.225 Ebook in questa categoria

Copertina di Deep Dave & Ravi Dave: Advanced Manufacturing and Supply Chain with IoT

Deep Dave & Ravi Dave: Advanced Manufacturing and Supply Chain with IoT

In the world of industrial manufacturing and supply chain, the lack of real-time visibility and insights into processes poses a significant challenge. However, Io T is set to bring about a profound …

Copertina di Akshay B R & T S (Govt. College of Engineering Srirangam, Tamil Nadu) Murugesh: Machine Learning

Akshay B R & T S (Govt. College of Engineering Srirangam, Tamil Nadu) Murugesh: Machine Learning

Machine learning is a dynamic and rapidly expanding field focused on creating algorithms that empower computers to recognize patterns, make predictions and continually enhance performance. It enables …

Copertina di Swapnali Joshi Naik: Think AI

Swapnali Joshi Naik: Think AI

"Think AI" is a rapid-learning book that covers a wide range of Artificial Intelligence topics, including Machine Learning, Deep Learning, Computer Vision, and Natural Language Processing. …

Copertina di Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

Copertina di Raman Jhajj: Mastering MLOps Architecture

Raman Jhajj: Mastering MLOps Architecture

MLOps, a combination of Dev Ops, data engineering, and machine learning, is crucial for delivering high-quality machine learning results due to the dynamic nature of machine learning data. This book …

Copertina di Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

This book covers a wide range of topics starting with the introduction of web applications, including client-side and server-side scripting, different categories of web applications, and the …

Copertina di Indrajit Kar & Ralte Zonunfeli: Learn Python Generative AI

Indrajit Kar & Ralte Zonunfeli: Learn Python Generative AI

This book researches the intricate world of generative Artificial Intelligence, offering readers an extensive understanding of various components and applications in this field.The book begins with …

Copertina di Sanket Subhash Khandare: Mastering Large Language Models

Sanket Subhash Khandare: Mastering Large Language Models

Transform your business landscape with the formidable prowess of large language models (LLMs). The book provides you with practical insights, guiding you through conceiving, designing, and …

Copertina di Kuldeep Singh: Exploring the Metaverse

Kuldeep Singh: Exploring the Metaverse

The metaverse has been a topic of conversation for a long time, but it still remains loosely defined. Some see it as a game in the virtual world, while others see it as a more connected version of …

Copertina di Mirza Rahim Baig: Optimizing AI and Machine Learning Solutions

Mirza Rahim Baig: Optimizing AI and Machine Learning Solutions

This book approaches data science solution building using a principled framework and case studies with extensive hands-on guidance. It will teach the readers optimization at each step, whether it is …

Pagina successiva >>>