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

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

Apoio

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

€68.89

Língua Inglês ● Formato EPUB ● ISBN 9781139636131 ● Editora Cambridge University Press ● Publicado 2004 ● Carregável 3 vezes ● Moeda EUR ● ID 5683886 ● 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

16.155 Ebooks nesta categoria

Capa do Paul Crickard: Data Engineering with Python

Paul Crickard: Data Engineering with Python

Build, monitor, and manage real-time data pipelines to create data engineering infrastructure efficiently using open-source Apache projects Key Features

Become well-versed in data archit …

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

Capa do Josue R. Batista: Learn OpenAI Whisper

Josue R. Batista: Learn OpenAI Whisper

Master automatic speech recognition (ASR) with groundbreaking generative AI for unrivaled accuracy and versatility in audio processing Key Features Uncover the intricate architecture and mechanics …

Capa do Alaknanda (Pantnagar, College of Technology, G.B. Pant University of Agriculture and Technology, Rudrapui, Uttarakhand, India) Ashok & Ankur Dumka: Advanced Digital Image Processing and Its Applications in Big Data

Alaknanda (Pantnagar, College of Technology, G.B. Pant University of Agriculture and Technology, Rudrapui, Uttarakhand, India) Ashok & Ankur Dumka: Advanced Digital Image Processing and Its Applications in Big Data

This book covers the technology of digital image processing in various fields with big data and their applications. Readers will understand various technologies and strategies used in digital image …

Capa do Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

The Future of the Artificial Mind is about the social and technological challenges posed by the new wave of artificial intelligence, both from a technical and a cognitive perspective. Deep neural net …

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

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

Capa do Pushpak (CSE Dept, IIT Bombay) Bhattacharyya & Anoop (Microsoft R&D India Pvt. Ltd, India) Kunchukuttan: Machine Translation and Transliteration involving Related, Low-resource Languages

Pushpak (CSE Dept, IIT Bombay) Bhattacharyya & Anoop (Microsoft R&D India Pvt. Ltd, India) Kunchukuttan: Machine Translation and Transliteration involving Related, Low-resource Languages

Machine Translation and Transliteration involving Related, Low-resource Languages discusses an important aspect of natural language processing that has received lesser attention: translation and tran …

Capa do T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

This book presents topics from mathematics which are relevant and useful to computer science. This book treats basic topics such as number theory, set theory, functions etc. in a simple way. Each cha …

Capa do Dinesh C. Verma: Federated AI for Real-World Business Scenarios

Dinesh C. Verma: Federated AI for Real-World Business Scenarios

This book provides an overview of Federated Learning and how it can be used to build real-world AI-enabled applications. Real-world AI applications frequently have training data distributed in many d …

Próxima página >>>