Mathematical foundations of computer science 1999 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
24th international symposium, MFCS'99, Szklarska Por̨eba, Poland, September 6-10, 1999 : proceedings /
نام نخستين پديدآور
Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 453 pages) :
ساير جزييات
illustrations : digital, HTML and PDF files.
فروست
عنوان فروست
Lecture notes in computer science,
مشخصه جلد
1672
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99, held in Szklarska Poreba, Poland, in September 1999. The 37 revised full papers presented together with four invited contributions were carefully selected from 68 submissions. The papers are organized in sections on computing over reals, compression techniques, foundations of programming, complexity and algorithms, model checking, distributed computing, functional programming, automata, security, logic, counting problems, processes and bisimulation, graph algorithms, and type theory
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
Mode of access: World Wide Web
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Mathematical foundations of computer science 1999
قطعه
عنوان
OhioLINK electronic book center
عنوان
SpringerLink
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science-- Mathematics, Congresses.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Kutyłowski, Mirosław.
مستند نام اشخاص تاييد نشده
Pacholski, Leszek.
مستند نام اشخاص تاييد نشده
Wierzbicki, Tomasz.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Symposium on Mathematical Foundations of Computer Science (1972- )(24th :1999 :, Szklarska Por̨eba, Poland)