AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Continue reading
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Continue reading
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Continue reading
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, ...
Continue reading
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Continue reading
Abstraction, Reformulation and Approximation
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Continue reading
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Continue reading
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Continue reading
Access Control Models and Architectures For IoT and Cyber Physical Systems / Maanak Gupta, Smriti Bhatt, Asma Hassan Alshehri, Ravi Sandhu
Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, ...
Continue reading
Access Control Systems
Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations ...
Continue reading
Accessible Access 2003
In that book we tried very hard not to simply list everything that we knew about the product. Instead we tried to act as ...
Continue reading
Accessing Multilingual Information Repositories
The sixth campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held from January to September ...
Continue reading
Achievements in European Research on Grid Systems : CoreGRID Integration Workshop 2006 (Selected Papers)
Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop ...
Continue reading
Acquiring Card Payments / Ilya Dubinsky
Covers: Payment cards and protocols EMV contact chip and contactless transactions Disputes, arbitration, and compliance Data ...
Continue reading
Action Research in Software Engineering : Theory and Applications
This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. ...
Continue reading
Active Conceptual Modeling of Learning
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
Continue reading
Active Knowledge Modeling of Enterprises
An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...
Continue reading
Active Lighting and Its Application for Computer Vision : 40 Years of History of Active Lighting Techniques
Computer vision entails both passive and active illumination techniques. Whereas passive techniques observe the scene statically ...
Continue reading
Active Mining
"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...
Continue reading
Active Networks
The proceedings of the sixth Annual International Working Conference on Active Networks, which took place in October 2004 ...
Continue reading
