A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
A Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources
A Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...
اقرأ المزيد
A Software-Defined GPS and Galileo Receiver
Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
اقرأ المزيد
A Theory of Marketing
Marketing has become one of the most influential forces in contemporary market economies. Yet despite ubiquitous empirical ...
اقرأ المزيد
AI 2004: Advances in Artificial Intelligence
AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
اقرأ المزيد
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
اقرأ المزيد
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
اقرأ المزيد
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 and UX
Great effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? ...
اقرأ المزيدAI home decorator / Enaam Anjo , Reham Ghazi and Haya Okar ; supervised by Ubai Sandouk and Khloud Al-Jallad انعام خالد انجو ، رهام غازي و هيا اسامة عوكر ؛ إشراف أبي صندوق و خلود الجلاد
Presents the development of “DesignMate”, an innovative AI home decorator application designed to revolutionize interior ...
اقرأ المزيد
ARIS Design Platform
ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
اقرأ المزيد
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيدAcademic Flying and the Means of Communication
This book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
اقرأ المزيد
Academic Medicine:A Guide for Clinicians
Robert B. Taylor, has edited this book that introduces physicians and clinicians to an academic career in the health professions. ...
اقرأ المزيد
Accelerated C# 2008
Accelerated C# 2008 gives you everything you need to know about C# 2008 in a concentrated 500 pages of must-know information ...
اقرأ المزيد
Accelerated SQL Server 2008
The expert tuition and approach to rapid learning in Accelerated SQL Server 2008, one of the first SQL Server 2008 books ...
اقرأ المزيد
Accelerated VB 2008
Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest ...
اقرأ المزيد
Accounting and Financial System Reform in a Transition Economy: A Case Study of Russia
Much has been written about the economic and political problems of countries that are in the process of changing from centrally ...
اقرأ المزيد
Acoustic Sensing Techniques for the Shallow Water Environment
This volume contains the collection of papers from the second workshop on Experimental Acoustic Inversion Techniques for ...
اقرأ المزيد
Acoustics and Hearing
When one listens to music at home, one would like to have an acoustic impression close to that of being in the concert hall. ...
اقرأ المزيد
