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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 4 /4
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-33046-2
Foundations of Software Science and Computational Structures (vol. # 3921)

This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...

اقرأ المزيد
978-1-4020-8590-1
Modalities and Multimodalities

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...

اقرأ المزيد
978-3-540-69224-9
Theory and Applications of Relational Structures as Knowledge Instruments II

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...

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