دانلود کتاب Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

49,000 تومان
نرم افزار خودرو – خدمات متصل در شبکه های تلفن همراه: اولین کارگاه نرم افزاری خودرو، ASWSD 2004، سن دیگو، کالیفرنیا، ایالات متحده آمریکا، 10-12 ژانویه 2004، مقالات منتخب اصلاح شده
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 156
حجم فایل 5 مگابایت
کد کتاب 3540376771,9783540376774
نوبت چاپ 1

دانلود کتاب Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

49,000 تومان
روشهای رسمی در برنامه نویسی و کاربردهای آنها: کنفرانس بین المللی آکادمگورودوک، نووسیبیرسک، روسیه 28 ژوئن - 2 ژوئیه، 1993 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 438
حجم فایل 4 مگابایت
کد کتاب 354057316X,9783540573166
نوبت چاپ 1

دانلود کتاب Formal Systems Specification: The RPC-Memory Specification Case Study

49,000 تومان
مشخصات سیستم های رسمی: مطالعه موردی مشخصات حافظه RPC
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 543
حجم فایل 4 مگابایت
کد کتاب 3540619844,9783540619840
نوبت چاپ 1

دانلود کتاب KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

49,000 تومان
KORSO: روش‌ها، زبان‌ها و ابزارهای ساخت نرم‌افزار صحیح: گزارش نهایی
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 458
حجم فایل 4 مگابایت
کد کتاب 3540605894,9783540605898
نوبت چاپ 1

دانلود کتاب Methods of Programming: Selected Papers on the CIP-Project

49,000 تومان
روش های برنامه نویسی: مقالات منتخب در پروژه CIP
موضوع اصلی شبکه سازی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 250
حجم فایل 2 مگابایت
کد کتاب 354054576X,9783540545767
نوبت چاپ 1

دانلود کتاب Model-Based Testing of Reactive Systems: Advanced Lectures

49,000 تومان
آزمایش سیستم‌های راکتیو مبتنی بر مدل: سخنرانی‌های پیشرفته
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 664
حجم فایل 6 مگابایت
کد کتاب 3540262784,9783540262787
نوبت چاپ 1

دانلود کتاب Model-Based Testing of Reactive Systems: Advanced Lectures

49,000 تومان
آزمایش سیستم‌های راکتیو مبتنی بر مدل: سخنرانی‌های پیشرفته
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 664
حجم فایل 6 مگابایت
کد کتاب 9783540262787,3540262784
نوبت چاپ 1

دانلود کتاب Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

49,000 تومان
توسعه مدل محور خدمات خودرویی قابل اعتماد: دومین کارگاه نرم افزاری خودرو، ASWSD 2006، سن دیگو، کالیفرنیا، ایالات متحده آمریکا، 15 تا 17 مارس، 2006، مقالات منتخب اصلاح شده
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 183
حجم فایل 4 مگابایت
کد کتاب 3540709290,9783540709299
نوبت چاپ 1

دانلود کتاب Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

49,000 تومان
دیدگاه های سیستم انفورماتیک: چهارمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2001 آکادمگورودوک، نووسیبیرسک، روسیه، 2 تا 6 ژوئیه، 2001 مقالات تجدید نظر شده
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 550
حجم فایل 6 مگابایت
کد کتاب 354043075X,9783540430759
نوبت چاپ 1

دانلود کتاب Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

49,000 تومان
دیدگاه های سیستم انفورماتیک: پنجمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2003، آکادمگورودوک، نووسیبیرسک، روسیه، 9-12 ژوئیه، 2003. مقالات تجدید نظر شده
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 572
حجم فایل 7 مگابایت
کد کتاب 3540208135,9783540208136
نوبت چاپ 1

دانلود کتاب Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

49,000 تومان
دیدگاه های انفورماتیک سیستم: دومین کنفرانس بین المللی یادبود آندری ارشوف آکادمگورودوک، نووسیبیرسک، روسیه، 25-28 ژوئن 1996 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 453
حجم فایل 4 مگابایت
کد کتاب 3540620648,9783540620648
نوبت چاپ 1

دانلود کتاب Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

49,000 تومان
دیدگاه های انفورماتیک سیستم: سومین کنفرانس بین المللی یادبود آندری ارشوف، PSI’99 Akademgorodok، نووسیبیرسک، روسیه 6-9 ژوئیه، 1999 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 540
حجم فایل 9 مگابایت
کد کتاب 3540671021,9783540671022
نوبت چاپ 1