Ebook > Științe > Informatică > Calculatoare > Michael Huth & Mark Ryan: Logic in Computer Science (PDF)

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

Ajutor

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

€69.18

Limba Engleză ● Format PDF ● ISBN 9780511261589 ● Editura Cambridge University Press ● Publicat 2004 ● Descărcabil 6 ori ● Valută EUR ● ID 2333595 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

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

16.225 Ebooks din această categorie

Copertina de 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 de 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 de 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 de 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 de 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 de 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 de 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 de 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 de 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 de 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 următoare >>>