دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
قیمت کتاب (تومان) : 54,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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Persistent Creativity: Making the Case for Art, Culture and the Creative Industries
دانلود کتاب Noncovalent Functionalization of Carbon Nanotubes: Fundamental Aspects of Dispersion and Separation in Water
دانلود کتاب The Combat History of the 23rd Panzer Division in World War II
دانلود کتاب Public Goods, Sustainable Development and the Contribution of Business
