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, ...

Lee mas
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 ...

Lee mas
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. ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
A Course on Mathematical Logic

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

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
A Logical Approach to Philosophy

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

Lee mas
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 ...

Lee mas
A Practical Introduction to PSL

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

Lee mas
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, ...

Lee mas
A Singular Introduction to Commutative Algebra

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

Lee mas
NoIMG
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. ...

Lee mas
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, ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
Total Books: 1 - 20 /1325