SOFSEM 2001 : Theory and Practice of Informatics : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings - Leszek Pacholski

Instant online reading.
Don't wait for delivery!

SOFSEM 2001

Theory and Practice of Informatics : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings

By: Leszek Pacholski (Editor), Peter Ruzicka (Editor)

Write A Review

Paperback | 7 November 2001

At a Glance

Paperback
364 Pages

Dimensions(cm)
23.5 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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).

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Medicine Medicine in General Computing & I.T.Computer Networking & Communications Computer Programming & Software Development Software Engineering Digital Lifestyle & Online World: Consumer & User Guides Internet Guides & Online Services Databases Data Capture & Analysis Computer Science

Artificial Intelligence Computer Hardware Network Hardware

Invited Talks
The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences	p. 1
Agreement Problems in Fault-Tolerant Distributed Systems	p. 10
Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes	p. 33
Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited	p. 53
Recent Advances in Wavelength Routing	p. 58
From Metacomputing to Grid Computing: Evolution or Revolution?	p. 73
Knowledge-Based Control Systems	p. 75
Beyond the Turing Limit: Evolving Interactive Systems	p. 90
Distributed Computations by Autonomous Mobile Robots	p. 110
Formal Verification Methods for Industrial Hardware Design	p. 116
How Can Computer Science Contribute to Knowledge Discovery?	p. 136
Contributed Papers
On the Approximability of Interactive Knapsack Problems	p. 152
Model Checking Communication Protocols	p. 160
Pipelined Decomposable BSP Computers	p. 171
Quantum versus Probabilistic One-Way Finite Automata with Counter	p. 181
How to Employ Reverse Search in Distributed Single Source Shortest Paths	p. 191
Multi-agent Systems as Concurrent Constraint Processes	p. 201
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs	p. 211
Approximative Learning of Regular Languages	p. 223
Quantum Finite State Transducers	p. 233
Lemmatizer for Document Information Retrieval Systems in JAVA	p. 243
The Reconstruction of Polyominoes from Approximately Orthogonal Projections	p. 253
Bounding LamportÆs Bakery Algorithm	p. 261
Fast Independent Component Analysis in Kernel Feature Spaces	p. 271
On Majority Voting Games in Trees	p. 282
Time and Space Complexity of Reversible Pebbling	p. 292
The HiQoS Rendering System	p. 304
Two-Way Restarting Automata and J-Monotonicity	p. 316
P-Hardness of Equivalence Testing on Finite-State Processes	p. 326
Keynote Talk
Software Geography: Physical and Economic Aspects	p. 336
Author Index	p. 347
Table of Contents provided by Publisher. All Rights Reserved.

SOFSEM 2001

Theory and Practice of Informatics : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

Blockchain-based Internet of Things

Opportunities, Challenges and Solutions

Computer Vision

Object Detection In Adversarial Vision

Digital Personality

A Man Forever Volume 2: Technical Aspects

Digital Personality: A Man Forever

Volume 1: Introduction

Innovation in the University 4.0 System based on Smart Technologies

Introduction to Engineering and Scientific Computing with Python

Low-Power Wide Area Network for Large Scale Internet of Things

Architectures, Communication Protocols and Recent Trends

Machine Learning for Mobile Communications

Industry 5.0

Operating Systems

Evolutionary Concepts and Modern Design Principles

Technological Advancement in Internet of Medical Things and Blockchain for Personalized Healthcare

Applications and Use Cases

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

Hacking For Dummies

For Dummies (Computer/Tech)

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

User Story Mapping

Discover the Whote Story, Build the Right Product

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Git : Pocket Guide

A Working Introduction

This product is categorised by