دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
دانلود کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: نهمین کنفرانس بین المللی ، FOSSACS 2006 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عملکرد نرم افزار ، ETAPS 2006 ، وین ، اتریش ، 25-31 مارس ، 2006. مجموعه مقالات
مشخصات کتاب
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
ویرایش: [1 ed.] نویسندگان: Taolue Chen, Wan Fokkink, Sumit Nain (auth.), Luca Aceto, Anna Ingólfsdóttir (eds.) سری: Lecture Notes in Computer Science 3921 ISBN (شابک) : 3540330453, 9783540330455 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 447 [458] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 60,000
در صورت تبدیل فایل کتاب Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: نهمین کنفرانس بین المللی ، FOSSACS 2006 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عملکرد نرم افزار ، ETAPS 2006 ، وین ، اتریش ، 25-31 مارس ، 2006. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: نهمین کنفرانس بین المللی ، FOSSACS 2006 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عملکرد نرم افزار ، ETAPS 2006 ، وین ، اتریش ، 25-31 مارس ، 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی مبانی
علم نرم افزار و ساختارهای محاسباتی، FOSSACS 2006 است که در
مارس 2006 در وین، اتریش به عنوان بخشی از ETAPS برگزار شد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th
International Conference on Foundations of Software Science
and Computation Structures, FOSSACS 2006, held in Vienna,
Austria in March 2006 as part of ETAPS.
The 28 revised full papers presented together with 1 invited
paper were carefully reviewed and selected from 107
submissions. The papers are organized in topical sections on
mobile processes, software science, distributed computation,
categorical models, real time and hybrid systems, process
calculi, automata and logic, domains, lambda calculus, types,
and security.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Radical Democracy and Political Theology
دانلود کتاب Robotics: An Introduction
دانلود کتاب Global Carbon Dioxide Recycling: For Global Sustainable Development by Renewable Energy
دانلود کتاب Dickens Class Consciousness: A Marginal View
