ECOOP 2006 - Object-Oriented Programming
This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...
Continue reading
Elasto-Plastic and Damage Analysis of Plates and Shells
This book presents a finite element model for the elasto-plastic and damage analysis of thin and thick shells. Linear elastic, ...
Continue reading
Experimental Aspects of Quantum Computing
Practical quantum computing still seems more than a decade away, and researchers have not even identified what the best physical ...
Continue reading
Field-Based Coordination for Pervasive Multiagent Systems
Software systems involve autonomous and distributed software components that have to execute and interact in open and dynamic ...
Continue reading
Formal Concept Analysis (vol. # 3874)
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
Continue reading
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Continue reading
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Continue reading
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns solves the object-oriented and pattern-programming problem ...
Continue readingGPU-Based Interactive Visualization Techniques
This book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
Continue reading
Guerrilla Capacity Planning
Guerrilla Capacity Planning facilitates rapid forecasting of capacity requirements based on the opportunistic use of whatever ...
Continue reading
High Performance Computing - HiPC 2008 : 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
Continue reading
High Performance Computing for Computational Science - VECPAR 2006
This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on High Performance Computing ...
Continue reading
High-Performance Computing : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First ...
Continue reading
How to Code .NET
How to Code .NET: Tips and Tricks for Coding .NET 1.1 and .NET 2.0 Applications Effectively provides solutions to certain ...
Continue reading
Hybrid Systems: Computation and Control (vol. # 3927)
These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
Continue reading
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like ...
Continue reading
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes a set of rigorously ...
Continue reading
Innovative Concepts for Autonomic and Agent-Based Systems
This volume includes revised versions of papers presented at the workshop. The workshop was structured so as to allow adequate ...
Continue reading
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education
Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper ...
Continue reading
Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Continue reading
