مشخصات کتاب

SOFSEM’ 98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: Maarten Boasson (auth.),  Branislav Rovan (eds.)  
سری: Lecture Notes in Computer Science 1521 
ISBN (شابک) : 3540652604, 9783540652601 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1998 
تعداد صفحات: 464 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب SOFSEM ’98: نظریه و عمل انفورماتیک: بیست و پنجمین کنفرانس روندهای کنونی نظریه و عمل انفورماتیک جاسنا ، اسلواکی ، مقالات: شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، تئوری محاسبات، سیستم های اطلاعاتی و خدمات ارتباطی

در صورت تبدیل فایل کتاب SOFSEM’ 98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب SOFSEM ’98: نظریه و عمل انفورماتیک: بیست و پنجمین کنفرانس روندهای کنونی نظریه و عمل انفورماتیک جاسنا ، اسلواکی ، مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب SOFSEM ’98: نظریه و عمل انفورماتیک: بیست و پنجمین کنفرانس روندهای کنونی نظریه و عمل انفورماتیک جاسنا ، اسلواکی ، مقالات

این کتاب مجموعه مقالات بیست و پنجمین سمینار روندهای جاری در تئوری و عمل انفورماتیک، SOFSEM'98 است که در یاسنا، اسلواکی، در نوامبر 1998 برگزار شد.
این جلد 19 مقاله نظرسنجی دعوت شده توسط مقامات مشهور بین المللی را با هم ارائه می کند. با 18 مقاله تحقیق کامل اصلاح شده که به دقت بررسی و برای گنجاندن در کتاب انتخاب شده است. حوزه های تحت پوشش شامل تاریخچه مدل های محاسبات، الگوریتم ها، روش های رسمی، جنبه های عملی مهندسی نرم افزار، سیستم های پایگاه داده، سیستم های موازی و توزیع شده، تجارت الکترونیک و اسناد الکترونیکی و کتابخانه های دیجیتال می باشد.

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

This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in November 1998.
The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and digital libraries.

فهرست مطالب

Software Architecture for Distributed Reactive Systems....Pages 1-18
A Logical Basis for Modular Software and Systems Engineering....Pages 19-35
From Quartets to Phylogenetic Trees....Pages 36-53
Reuse Methods for Construction of Parallel Software....Pages 54-67
Compiling Horn-Clause Rules in IBM’s Business System 12 an Early Experiment in Declarativeness....Pages 68-88
Models of Computation, Riemann Hypothesis, and Classical Mathematics....Pages 89-106
Security of Electronic Money....Pages 107-121
Algorithms Based on Randomization and Linear and Semidefinite Programming....Pages 122-134
Distributed Systems Technology for Electronic Commerce Applications....Pages 135-148
Parallel Interactive Media Server Systems....Pages 149-166
Online Routing Problems for Broadband Networks....Pages 167-167
Some Prospects forEfficient Fixed Parameter Algorithms....Pages 168-185
System Infrastructure for Digital Libraries: A Survey and Outlook....Pages 186-203
An Introduction to Cryptology....Pages 204-221
Authoring Structured Multimedia Documents....Pages 222-239
Engineering Software & Software Engineering....Pages 240-243
Efficient Communication Schemes....Pages 244-263
Audit of Information Systems: The Need for Cooperation....Pages 264-274
Towards the Use of Dynamic Documents in Business Processes....Pages 275-284
Computational Power of BSP Computers....Pages 285-293
Modeling of Hypermedia Applications....Pages 294-303
On the Klee’s Measure Problem in Small Dimensions....Pages 304-311
Yet Another Modular Technique for Efficient Leader Election....Pages 312-321
Regulated Grammars with Leftmost Derivation....Pages 322-331
Some Results on the Modelling of Spatial Data....Pages 332-343
Randomized Meldable Priority Queues....Pages 344-349
The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections....Pages 350-359
Behavioral Safety in a Model with Multiple Class Objects....Pages 360-370
Massively Parallel Suffix Array Construction....Pages 371-380
Weak Bisimilarity and Open Maps....Pages 381-388
A Synchronisation Mechanism for Replicated Objects....Pages 389-398
Data Mining Extension for Object-Oriented Query Language....Pages 399-408
Constraints with Variables’ Annotations and Constraint Hierarchies....Pages 409-418
Sample Method for Minimization of OBDDs....Pages 419-428
Determining Type of TIL Construction withVerb Valency Analyser....Pages 429-436
Offine Recognition of Cursive Handwritten Czech Text....Pages 437-442
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures....Pages 443-452

نظرات کاربران

کتاب های مرتبط

دانلود کتاب IT Auditing: Using Controls to Protect Information Assets

دانلود کتاب Advances in Petri Nets 1984

دانلود کتاب Profitable Customer Relationships The Keys To Maximizing Acquisit

دانلود کتاب Parallel, Distributed and Multiagent Production Systems

دانلود کتاب Algorithms and Computation: 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings

دانلود کتاب Analyzing Computer Systems Performance

دانلود کتاب Level of Detail for 3D Graphics

دانلود کتاب The Data Center as a Computer (Synthesis Lectures on Computer Architecture)

دانلود کتاب The Complexity of Simple Computer Architectures

دانلود کتاب Disconnected Operation in a Distributed File System