دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Jirí Wiedermann (auth.), Miroslav Bartosek, Jan Staudek, Jirí Wiedermann (eds.) سری: Lecture Notes in Computer Science 1012 ISBN (شابک) : 3540606092, 9783540606093 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 504 [511] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب SOFSEM '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب SOFSEM '95: تئوری و عمل انفورماتیک: بیست و دومین سمینار روندهای فعلی در نظریه و عمل انفورماتیک Milovy، جمهوری چک 23 نوامبر – 1 دسامبر 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات بیست و دومین سمینار بین المللی روندهای
جاری در تئوری و عمل انفورماتیک، SOFSEM '95، برگزار شده در
Milovy، جمهوری چک، در نوامبر 1995 است. سمینارهای SOFSEM هر
ساله برگزار می شود و هدف آن تقویت همکاری بین و آموزش مداوم در
سطح بالا دانشمندان علوم کامپیوتر فعال در حوزه های
مختلف.
کتاب 17 مقاله کامل دعوت شده توسط محققان مشهور و همچنین 22
مقاله داوری اصلاح شده انتخاب شده از 52 مقاله ارسالی را ارائه
می دهد. 17 مقاله دعوت شده بیش از 350 صفحه را پوشش می دهند و
نمای کلی از مسائل اساسی، پایگاه های داده، مهندسی نرم افزار،
سیستم های موازی و توزیع شده و محاسبات علمی، و چند رسانه ای و
فرامتن را ارائه می دهند. مقالات انتخاب شده به جنبه های خاصی
از موضوعات مشابه اختصاص داده شده است.
This book constitutes the proceedings of the 22nd
International Seminar on Current Trends in Theory and
Practice of Informatics, SOFSEM '95, held in Milovy, Czech
Republic, in November 1995. The SOFSEM seminars are held
annually and aim at fostering cooperation among and
high-level continuing education of computer scientists active
in different areas.
The book presents 17 invited full papers by renowned
researchers as well as 22 revised refereed papers selected
from 52 submissions. The 17 invited papers cover more than
350 pages and give a representative overview of fundamental
issues, databases, software engineering, parallel and
distributed systems and scientific computing, and multimedia
and hypertext; the selected papers are devoted to special
aspects of the same topics.
Parallel machine models: How they are and where are they going....Pages 1-30
Fuzzy logic from the logical point of view....Pages 31-49
Sense of direction in processor networks....Pages 50-82
Welcoming the super Turing theories....Pages 83-94
What NARX networks can compute....Pages 95-102
Database: Introduction to problems....Pages 103-119
Distributed Information Systems....Pages 120-145
Extending database technology....Pages 146-165
Introducing SSADM4+ and PRINCE....Pages 166-183
Formal methods in practice: A comparison of two support systems for proof....Pages 184-205
Development of safety-critical real-time systems....Pages 206-235
Why use evolving algebras for hardware and software engineering?....Pages 236-271
Experience with chorus....Pages 272-291
High-level languages for parallel scientific computing....Pages 292-314
On some new aspects of networked multimedia systems....Pages 315-333
Quo vadis GIS: From GIS to GIMS and Open GIS....Pages 334-349
WWW — The World Wide Web....Pages 350-362
Implementation of higher-order unification based on calculus of explicit substitution....Pages 363-368
A modular history-oriented access structure for bitemporal relational databases....Pages 369-374
Software engineering meets human-computer interaction: Integrating user interface design in an object-oriented methodology....Pages 375-378
Parsing of free-word-order languages....Pages 379-384
Distributed algorithm for finding a core of a tree network....Pages 385-390
Stepwise synthesis of reactive programs....Pages 391-398
A simple and efficient incremental LL(1) parsing....Pages 399-404
Fundamentals of context-sensitive rewriting....Pages 405-412
Constraint Logic Programming with Fuzzy Sets....Pages 413-418
Parallel processing of image database queries....Pages 419-424
Maximum flow problem in distributed environment....Pages 425-430
Fuzzy set theory and medical expert systems: Survey and model....Pages 431-436
The Fusion object-oriented method: an evaluation....Pages 437-442
Integration of Object-Oriented analysis and Algebraic specifications....Pages 443-448
On the implementation of some residual minimizing Krylov space methods....Pages 449-454
A formal lazy replication regime for spreading conversion functions over objectbases....Pages 455-460
Hopfleid languages....Pages 461-468
Inconsistency conflict resolution....Pages 469-474
A methodology for performance and scalability analysis....Pages 475-480
On the efficiency of superscalar and vector computer for some problems in scientific computing....Pages 481-486
Logic programming in RPL and RQL....Pages 487-492
Recognition of handwritten characters using Instance-Based Learning Algorithms....Pages 493-498