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

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

Ajutor

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

€68.89

Limba Engleză ● Format EPUB ● ISBN 9781139636131 ● Editura Cambridge University Press ● Publicat 2004 ● Descărcabil 3 ori ● Valută EUR ● ID 5683886 ● 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

16.155 Ebooks din această categorie

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Pagina următoare >>>