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 ...
اقرأ المزيد
