Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. Meer
Originally published in 1954, the purpose of this book was to provide a set of practical exercises for young engineers wishing to apply mathematical principles to problems confronting them in the workshop. Meer
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists. Meer
Ken Gilleo's Polymer Thick Film provides you with all the essential concepts, process descriptions, performance data, and general information you will need to reach your own conclusions. Meer
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. Meer
The book deals with the most recent technology of distributed computing.
As Internet continues to grow and provide practical connectivity between users of computers it has become possible to consider use of computing resources which are far apart and connected by Wide Area Networks. Meer
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Meer
LEDA is a library of efficient data types and algorithms and a platform for combinatorial and geometric computing on which application programs can be built. Meer
This book covers all aspects of computer document preparation text processing and printing. Computers are being used increasingly in the processing of documents, from simple textual material, such as letters and memos, to complete books with mathematical formulae and graphics. Meer
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. Meer
Quantum Health AI: The Revolution of Medicine, Public Health, and Global Health is the first comprehensive book defining the transformation of the global health ecosystem by the fusion of our most powerful technologies—quantum computing and artificial intelligence—while defending an actionable human-centred approach to doing so responsibly, equitably, and sustainably. Meer
The designer of a software system, like the architect of a building, needs to be aware of the construction techniques available and to choose the ones that are the most appropriate. Meer
In the area of Digital Image Processing the new area of "Time-Varying Image Processing and Moving Oject Recognition" is contributing to impressive advances in several fields. Meer
Image communication technologies have advanced rapidly in recent years and the book series, Advances in Image Communication is dedicated to documenting these developments. Meer
This book serves not only as an introduction, but also as an advanced text and reference source in the field of deterministic optimal control systems governed by ordinary differential equations. Meer
The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Meer
The design and construction of three-dimensional [3-D] object recognition systems has long occupied the attention of many computer vision researchers. Meer
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Meer
Fundamentals of Statistics for Researchers and Data Analysts explains statistical methods, and the assumptions and prerequisites for applying various analytical tools from an statistical point of view. Meer
Supervised Learning in Remote Sensing and Geospatial Science is an invaluable resource focusing on practical applications of supervised learning in remote sensing and geospatial data science. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books