This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...
اقرأ المزيدThis book presents a finite element model for the elasto-plastic and damage analysis of thin and thick shells. Linear elastic, ...
اقرأ المزيدPractical quantum computing still seems more than a decade away, and researchers have not even identified what the best physical ...
اقرأ المزيدSoftware systems involve autonomous and distributed software components that have to execute and interact in open and dynamic ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
اقرأ المزيدThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
اقرأ المزيدThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
اقرأ المزيدFoundations of Object-Oriented Programming Using .NET 2.0 Patterns solves the object-oriented and pattern-programming problem ...
اقرأ المزيدThis book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
اقرأ المزيدGuerrilla Capacity Planning facilitates rapid forecasting of capacity requirements based on the opportunistic use of whatever ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on High Performance Computing ...
اقرأ المزيدThis is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First ...
اقرأ المزيدHow to Code .NET: Tips and Tricks for Coding .NET 1.1 and .NET 2.0 Applications Effectively provides solutions to certain ...
اقرأ المزيدThese are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
اقرأ المزيدBuilding research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like ...
اقرأ المزيدInnovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes a set of rigorously ...
اقرأ المزيدThis volume includes revised versions of papers presented at the workshop. The workshop was structured so as to allow adequate ...
اقرأ المزيدInnovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper ...
اقرأ المزيدThis book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
اقرأ المزيد