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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 2 /2
978-3-540-70545-1
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

اقرأ المزيد
978-3-540-37214-1
Implementation and Application of Automata (vol. # 4094)

This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...

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