برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

دانلود کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: اولین کنفرانس بین المللی، FoSSaCS'98 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس تا 4 آوریل 1998 مجموعه مقالات برگزار شد.

مشخصات کتاب

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

دسته بندی: ریاضیات محاسباتی
ویرایش: 1 
نویسندگان: Michael Mislove (auth.),  Maurice Nivat (eds.)  
سری: Lecture Notes in Computer Science 1378 
ISBN (شابک) : 3540643001, 9783540643005 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1998 
تعداد صفحات: 582 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 51,000

کلمات کلیدی مربوط به کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: اولین کنفرانس بین المللی، FoSSaCS'98 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس تا 4 آوریل 1998 مجموعه مقالات برگزار شد.: است

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 6

در صورت تبدیل فایل کتاب Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: اولین کنفرانس بین المللی، FoSSaCS'98 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس تا 4 آوریل 1998 مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Generalizing domain theory....Pages 1-19
A cook\'s tour of equational axiomatizations for prefix iteration....Pages 20-34
The WHILE hierarchy of program schemes is infinite....Pages 35-47
Analysis of a guard condition in type theory....Pages 48-62
An event structure semantics for P/T contextual nets: Asymmetric event structures....Pages 63-80
Pumping Lemmas for timed automata....Pages 81-94
Asynchronous Observations of Processes....Pages 95-109
Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling....Pages 110-124
Partial metrics and co-continuous valuations....Pages 125-139
Mobile ambients....Pages 140-155
Rational term rewriting....Pages 156-171
The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations....Pages 172-188
Net refinement by pullback rewriting....Pages 189-202
On piecewise testable, starfree, and recognizable picture languages....Pages 203-210
Functor categories and two-level languages....Pages 211-225
Deciding properties for message sequence charts....Pages 226-242
The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages....Pages 243-257
Deterministic rational transducers and random sequences....Pages 258-272
Resource based models for asynchrony....Pages 273-287