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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 4 /4
978-3-540-75596-8
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

اقرأ المزيد
978-3-540-75596-8
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

اقرأ المزيد
978-3-540-47238-4
Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

اقرأ المزيد
978-3-540-46245-3
General Theory of Information Transfer and Combinatorics

This book constitutes the thoroughly refereed research papers contributed to a research project on the `General Theory of ...

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