Electronic Books

Total Books: 1 - 20 /1325

150 Best New Eco Home Ideas / Francesc Zamora Mola

Features nearly 500 pages of full-color photographs and dozens of inventive and decorative profiles. Architects, designers, ...

25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

3D Printing in Oral & Maxillofacial Surgery / Lobat Tayebi, Reza Masaeli, Kavosh Zandsalimi

A comprehensive guide to 3D printing and 3D bioprinting methods and their application in oral and maxillofacial surgeries. ...

A Brief History of Computing

This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...

A Concise Introduction to Languages and Machines

This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...

A Concise Introduction to Mathematical Logic

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...

A Concise Introduction to Mathematical Logic

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...

A Course on Mathematical Logic

This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...

A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...

A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

A Logical Approach to Philosophy

The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic ...

A Modern Perspective on Type Theory

The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...

A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

A Practical Theory of Reactive Systems

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...

A Singular Introduction to Commutative Algebra

This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...

A Study about Prevalence of Thalassemia Complications in Syrian Patients / Lubana Hamdan ; Grace Jaradeh

Inherited haemoglobin disorders, including thalassemia and sickle-cell disease, are the most common monogenic diseases worldwide. ...

AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings

This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...

AI Strategy for Sales and Marketing : Connecting Marketing, Sales and Customer Experience / Katie King

Presents a practical framework for strategically leveraging AI to boost sales, marketing and customer-centricity Showcases ...

AI and the Future of Banking / Tony Boobier

Across its entire breadth and depth, the banking industry is at the forefront of investigating Advanced Analytics and AI ...

Total Books: 1 - 20 /1325