Ebook > Ciência > Ciência da Computação > Ciência da Computação > Michael Huth & Mark Ryan: Logic in Computer Science (PDF)

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

Apoio

Capa do Michael Huth & Mark Ryan: Logic in Computer Science (PDF)

€69.18

Língua Inglês ● Formato PDF ● ISBN 9780511261589 ● Editora Cambridge University Press ● Publicado 2004 ● Carregável 6 vezes ● Moeda EUR ● ID 2333595 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

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

16.193 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do 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. …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Próxima página >>>