دانلود کتاب Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”
دانلود کتاب Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
دانلود کتاب Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000
دانلود کتاب Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I
دانلود کتاب Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
منطق و مبانی نظریه بازی و تصمیم - LOFT 8: هشتمین کنفرانس بین المللی، آمستردام، هلند، 3-5 ژوئیه، 2008، مقالات منتخب اصلاح شده
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 207 / 218 |
| حجم فایل | 2.15 مگابایت |
| کد کتاب | 3642151639 , 9783642151637 |
| نوبت چاپ | 1 |
دانلود کتاب Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
رویکردهای منطقی به موانع محاسباتی: دومین کنفرانس محاسباتی در اروپا، CiE 2006، سوانسی، انگلستان، 30 ژوئن تا 5 ژوئیه، 2006. مجموعه مقالات
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 608 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540354662,9783540354666 |
| نوبت چاپ | 1 |
