Design Computing and Cognition 06
This is the second volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...
اقرأ المزيد
Designing Smart Homes
The area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This ...
اقرأ المزيد
Digital Mammography
This volume of Springer’s Lecture Notes in Computer Science series records th the proceedings of the 8 International Workshop ...
اقرأ المزيد
E-Government: Towards Electronic Democracy
The TCGOV 2005 international conference on e-government was held at the Free University of Bozen-Bolzano during March 2–4, ...
اقرأ المزيد
Evaluation of Multilingual and Multi-modal Information Retrieval
This book covers Multilingual Textual Document Retrieval, Domain-Specifig Information Retrieval, i-CLEF, QA@CLEF, ImageCLEF, ...
اقرأ المزيد
Evaluation of Multilingual and Multi-modal Information Retrieval
This book covers Multilingual Textual Document Retrieval, Domain-Specifig Information Retrieval, i-CLEF, QA@CLEF, ImageCLEF, ...
اقرأ المزيد
Evolvable Machines
Methods for the artificial evolution of active components, such as programs and hardware, are rapidly developing branches ...
اقرأ المزيد
Extended Working Life Policies International Gender and Health Perspectives
This volume addresses the current debate on extended working life policy by considering the influence of gender and health ...
اقرأ المزيد
Finite-State Methods and Natural Language Processing
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيد
Formal Approaches to Software Testing and Runtime Verification
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
اقرأ المزيد
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
اقرأ المزيد
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيد
Formal Methods for Hardware Verification
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Foundations of Augmented Cognition
These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
اقرأ المزيد
Foundations of Software Science and Computation Structures
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
اقرأ المزيد
From Brows to Trust
This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 ...
اقرأ المزيد
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
