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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 2 /2
978-3-030-61467-6
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

اقرأ المزيد
978-3-030-44648-2
On the Construction of Engineering Handbooks

This book is the first to reflect upon the question of how to construct a desktop handbook. It is demonstrated how concept ...

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