الكتب الالكترونية

عدد الكتب: 12/65
978-3-540-69850-0
25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

اقرأ المزيد
978-3-540-32036-4
Advances in Grid Computing - EGC 2005

This book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim ...

اقرأ المزيد
978-3-540-72360-8
Advances in Grid and Pervasive Computing

This book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...

اقرأ المزيد
978-3-540-72360-8
Advances in Grid and Pervasive Computing

This book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...

اقرأ المزيد
978-3-540-33810-9
Advances in Grid and Pervasive Computing

This book constitutes the refereed proceedings of the First International Conference on Grid and Pervasive Computing, GPC ...

اقرأ المزيد
978-3-540-68083-3
Advances in Grid and Pervasive Computing : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

This book constitutes the refereed proceedings of the Third International Conference on Grid and Pervasive Computing, GPC ...

اقرأ المزيد
978-3-540-69903-3
Algorithm Theory - SWAT 2008 : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings

his book constitutes the refereed proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg, ...

اقرأ المزيد
978-3-540-87744-8
Algorithms - ESA 2008 : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, ...

اقرأ المزيد
978-3-540-34378-3
Algorithms and Complexity

Here are the refereed proceedings of the 6th Italian Conference on Algorithms and Computation, CIAC 2006. The 33 revised ...

اقرأ المزيد
978-3-540-32426-3
Algorithms and Computation (vol. # 3827)

This book constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC 2005, ...

اقرأ المزيد
978-3-540-74991-2
Algorithms for Sensor and Ad Hoc Networks

Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...

اقرأ المزيد
978-3-540-74991-2
Algorithms for Sensor and Ad Hoc Networks

Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...

اقرأ المزيد
عدد الكتب: 12/65