A Concise Introduction to Software Engineering
This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required ...
اقرأ المزيد
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 Graph-Theoretic Approach to Enterprise Network Dynamics
This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...
اقرأ المزيد
A Guide to Graph Algorithms / Ton Kloks, Prof. Mingyu Xiao
Offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...
اقرأ المزيد
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 Matrix Algebra Approach to Artificial Intelligence
The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
اقرأ المزيد
A Modern Approach to Intelligent Animation : Theory and Practice
Part of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
اقرأ المزيد
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 Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
اقرأ المزيد
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
اقرأ المزيد
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 Software Process Model Handbook for Incorporating Peoples Capabilities
A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
اقرأ المزيد
A Theory of Distributed Objects
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
اقرأ المزيد
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 2005: Advances in Artificial Intelligence
The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...
اقرأ المزيد
AI 2006: Advances in Artificial Intelligence
This volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at ...
اقرأ المزيد
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, ...
اقرأ المزيد
