หนังสือดิจิตอล > วิทยาศาสตร์ > วิทยาศาสตร์คอมพิวเตอร์ > วิทยาศาสตร์คอมพิวเตอร์ > Michael Huth & Mark Ryan: Logic in Computer Science (PDF)

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

สนับสนุน

ปกของ Michael Huth & Mark Ryan: Logic in Computer Science (PDF)

€69.18

ภาษา อังกฤษ ● รูป PDF ● ISBN 9780511261589 ● สำนักพิมพ์ Cambridge University Press ● การตีพิมพ์ 2004 ● ที่สามารถดาวน์โหลดได้ 6 ครั้ง ● เงินตรา EUR ● ID 2333595 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

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

16,225 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ 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 …

ปกของ 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 …

ปกของ 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. …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

หน้าต่อไป >>>