دانلود کتاب SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings
کتاب SOFSEM 2001: نظریه و عمل انفورماتیک: بیست و هشتمین کنفرانس روندهای فعلی در نظریه و عمل انفورماتیک Piešt’any، جمهوری اسلواکی، 24 نوامبر - 1 دسامبر 2001 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب SOFSEM 2001: نظریه و عمل انفورماتیک: بیست و هشتمین کنفرانس روندهای فعلی در نظریه و عمل انفورماتیک Piešt’any، جمهوری اسلواکی، 24 نوامبر - 1 دسامبر 2001 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings
نام کتاب : SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : SOFSEM 2001: نظریه و عمل انفورماتیک: بیست و هشتمین کنفرانس روندهای فعلی در نظریه و عمل انفورماتیک Piešt’any، جمهوری اسلواکی، 24 نوامبر - 1 دسامبر 2001 مجموعه مقالات
سری : Lecture Notes in Computer Science 2234
نویسندگان : Hamideh Afsarmanesh, Ersin Kaletas, Louis O. Hertzberger (auth.), Leszek Pacholski, Peter Ružička (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2001
تعداد صفحات : 357
ISBN (شابک) : 9783540429128 , 3540429123
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
SOFSEM 2001، کنفرانس بین المللی روندهای فعلی در تئوری و عمل انفورماتیک، در 24 نوامبر - 1 دسامبر 2001 در ? آبگرم معروف Pie?stany، جمهوری اسلواکی. این بیست و هشتمین کنفرانس سالانه از سری SOFSEM بود که در اسلواکی یا جمهوری چک برگزار شد. SOFSEM یک سنت تثبیت شده دارد. در حال حاضر این یک کنفرانس گسترده و چند رشته ای است که به تئوری و عمل سیستم های نرم افزاری اختصاص دارد. هدف آن تقویت همکاری بین متخصصان دانشگاهی و صنعتی است که در زمینه های مختلف انفورماتیک کار می کنند. برنامه علمی SOFSEM شامل گفتگوهای دعوت شده است که موضوعات کنفرانس را تعیین می کند و سخنرانی های کوتاهی که نتایج اصلی را ارائه می دهد. موضوعات سخنرانی های دعوت شده به گونه ای انتخاب شده اند که طیف وسیعی از تئوری تا عملی را پوشش دهد و زمینه های تحقیقاتی جالب توجه شرکت کنندگان در کنفرانس را جلب کند. برای سال 2001، سه جهت زیر برای ارائه توسط کمیته راهبری SOFSEM انتخاب شد: - گرایش‌ها در انفورماتیک - فن‌آوری‌های توانمند برای محاسبات جهانی - مهندسی سیستم‌های عملی و کاربردها. . 18 گفتگوی مشارکتی وجود داشت که توسط کمیته برنامه بین المللی از میان 46 مقاله ارسال شده انتخاب شد. این کنفرانس همچنین با کارگاه های آموزشی در مورد سیستم های تجارت الکترونیک (با هماهنگی H. D. Zimmermann) و محاسبات نرم (با هماهنگی P. H´ajek) همراه بود.
فهرست مطالب :
The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences....Pages 1-9
Agreement Problems in Fault-Tolerant Distributed Systems....Pages 10-32
Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes....Pages 33-52
Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited....Pages 53-57
Recent Advances in Wavelength Routing....Pages 58-72
From Metacomputing to Grid Computing: Evolution or Revolution?....Pages 73-74
Knowledge-Based Control Systems....Pages 75-89
Beyond the Turing Limit: Evolving Interactive Systems....Pages 90-109
Distributed Computations by Autonomous Mobile Robots....Pages 110-115
Formal Verification Methods for Industrial Hardware Design....Pages 116-135
How Can Computer Science Contribute to Knowledge Discovery....Pages 136-151
On the Approximability of Interactive Knapsack Problems....Pages 152-159
Model Checking Communication Protocols....Pages 160-170
Pipelined Decomposable BSP Computers....Pages 171-180
Quantum versus Probabilistic One-Way Finite Automata with Counter....Pages 181-190
How to Employ Reverse Search in Distributed Single Source Shortest Paths....Pages 191-200
Multi-agent Systems as Concurrent Constraint Processes....Pages 201-210
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs....Pages 211-222
Approximative Learning of Regular Languages....Pages 223-232
Quantum Finite State Transducers....Pages 233-242
Lemmatizer for Document Information Retrieval Systems in JAVA....Pages 243-252
The Reconstruction of Polyominoes from Approximately Orthogonal Projections....Pages 253-260
Bounding Lamport’s Bakery Algorithm....Pages 261-270
Fast Independent Component Analysis in Kernel Feature Spaces....Pages 271-281
On Majority Voting Games in Trees....Pages 282-291
Time and Space Complexity of Reversible Pebbling....Pages 292-303
The HiQoS Rendering System....Pages 304-315
Two-Way Restarting Automata and J-Monotonicity....Pages 316-325
P-Hardness of Equivalence Testing on Finite-State Processes....Pages 326-335
Software Geography: Physical and Economic Aspects....Pages 336-345
توضیحاتی در مورد کتاب به زبان اصلی :
SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – Trends in Informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H´ajek).