دانلود کتاب Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
نرم افزار خودرو – خدمات متصل در شبکه های تلفن همراه: اولین کارگاه نرم افزاری خودرو، 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
روشهای رسمی در برنامه نویسی و کاربردهای آنها: کنفرانس بین المللی آکادمگورودوک، نووسیبیرسک، روسیه 28 ژوئن - 2 ژوئیه، 1993 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 438 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 354057316X,9783540573166 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Systems Specification: The RPC-Memory Specification Case Study
دانلود کتاب KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
دانلود کتاب Methods of Programming: Selected Papers on the CIP-Project
دانلود کتاب Model-Based Testing of Reactive Systems: Advanced Lectures
دانلود کتاب Model-Based Testing of Reactive Systems: Advanced Lectures
دانلود کتاب Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
توسعه مدل محور خدمات خودرویی قابل اعتماد: دومین کارگاه نرم افزاری خودرو، 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
دیدگاه های سیستم انفورماتیک: چهارمین کنفرانس بین المللی یادبود آندری ارشوف، 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
دیدگاه های سیستم انفورماتیک: پنجمین کنفرانس بین المللی یادبود آندری ارشوف، 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
دیدگاه های انفورماتیک سیستم: دومین کنفرانس بین المللی یادبود آندری ارشوف آکادمگورودوک، نووسیبیرسک، روسیه، 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
دیدگاه های انفورماتیک سیستم: سومین کنفرانس بین المللی یادبود آندری ارشوف، PSI’99 Akademgorodok، نووسیبیرسک، روسیه 6-9 ژوئیه، 1999 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 540 |
| حجم فایل | 9 مگابایت |
| کد کتاب | 3540671021,9783540671022 |
| نوبت چاپ | 1 |