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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 3 /3
978-3-540-35843-5
Deontic Logic and Artificial Normative Systems

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...

اقرأ المزيد
978-3-540-70525-3
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...

اقرأ المزيد
978-3-030-59257-8
Understanding Programming Languages

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

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