دانلود کتاب A Logical Journey: From Gödel to Philosophy
دانلود کتاب A Logical Journey: From Godel to Philosophy
دانلود کتاب A logical journey: from Goedel to philosophy
دانلود کتاب A Survey of Mathematical Logic
دانلود کتاب A Survey of Mathematical Logic.
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: دوازدهمین کنفرانس بینالمللی، TACAS 2006، به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS 2006، وین، اتریش، 25 مارس - 2 آوریل 2006 برگزار شد.
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 512 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540330569,9783540330561 |
| نوبت چاپ | 1 |
