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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 2 /2
978-3-540-46135-7
Principles and Practice of Constraint Programming - CP 2002

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...

اقرأ المزيد
978-3-540-69166-2
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

اقرأ المزيد
عدد الكتب: 1 - 2 /2