دانلود کتاب Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
دانلود کتاب Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings
دانلود کتاب Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
منطق علوم کامپیوتر: بیست و یکمین کارگاه بین المللی، CSL 2007، شانزدهمین کنفرانس سالانه EACSL، لوزان، سوئیس، 11-15 سپتامبر 2007. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 600 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540749144,9783540749141 |
| نوبت چاپ | 1 |
دانلود کتاب CONCUR ’96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
دانلود کتاب Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983
دانلود کتاب Logic at Botik ’89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
دانلود کتاب Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS ’97 Bratislava, Slovakia, August 25–29, 1997 Proceedings
دانلود کتاب Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings
دانلود کتاب Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
دیدگاه های انفورماتیک سیستم ها: هفتمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2009، نووسیبیرسک، روسیه، 15-19 ژوئن 2009. مقالات تجدید نظر شده
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 426 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3642114857,9783642114854 |
| نوبت چاپ | 1 |
دانلود کتاب Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
شبکه های پتری و سایر مدل های همزمانی – ICATPN 2007: بیست و هشتمین کنفرانس بین المللی کاربردها و تئوری شبکه های پتری و سایر مدل های همزمانی، ICATPN 2007، Siedlce، لهستان، 25-29 ژوئن 2007. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 515 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 9783540730934,9783540730941,3540730931 |
| نوبت چاپ | 1 |
دانلود کتاب Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
تجزیه و تحلیل استاتیک: دوازدهمین سمپوزیوم بین المللی، SAS 2005، لندن، انگلستان، 7-9 سپتامبر 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 374 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540285849,9783540285847 |
| نوبت چاپ | 1 |
