Lecture Notes in Computer Science

Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings

By: Branislav Rovan (Editor)

Write A Review

Paperback | 28 October 1998

At a Glance

Paperback
472 Pages

Dimensions(cm)
22.86 x 15.88 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics | SOFSEM '98, held in Jasn a, Slovakia, November 21{27, 1998. The SOFSEM conference series started in 1974 as a local event in Czec- slovakia and from the very beginning became the top domestic event in software theory and practice. It has been unique in several respects, being a mix of w- ter school, conference, and advanced workshop. It brought together professionals from academia and industry and provided an opportunity for both theoreti- ans and practitioners to learn about the new developments in a broad range of computer science subjects via a series of invited talks. The conference gradually evolved into an international event, keeping most of its original characteristics. It features a relatively large number of invited talks, refereed papers (contributed papers), and refereed poster contributions. In addition, time and space for ?ash communications, industrial presentations, and exhibitions are provided. SOFSEM is every year result of a considerable e ort by a number of p- ple. Its Advisory Board (Dines Bj rner, Manfred Broy, Michal Chytil, Peter van Emde Boas, Georg Gottlob, Keith G. Je rey, Maria Zemankova) and - dowment Board (Keith G. Je rey, Jan Pavelka, Franti sek Pl a sil, Igor Pr vara, Branislav Rovan, vice-chair, Jan Staudek, Ji r Wiedermann, chair) is in process of being transformed into a Steering Committee.

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 $89.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 Computer Hardware Network Hardware Computer Science

Mathematical Theory of Computation

Invited Talks
Software Architecture for Distributed Reactive Systems	p. 1
A Logical Basis for Modular Software and Systems Engineering	p. 19
From Quartets to Phylogenetic Trees	p. 36
Reuse Methods for Construction of Parallel Software	p. 54
Compiling Horn-Clause Rules in IBM's Business System 12, an Early Experiment in Declarativeness	p. 68
Models of Computation, Riemann Hypothesis, and Classical Mathematics	p. 89
Security of Electronic Money	p. 107
Algorithms Based on Randomization and Linear and Semidefinite Programming	p. 122
Distributed Systems Technology for Electronic Commerce Applications	p. 135
Parallel Interactive Media Server Systems	p. 149
Online Routing Problems for Broadband Networks	p. 167
Some Prospects for Efficient Fixed Parameter Algorithms	p. 168
System Infrastructure for Digital Libraries: A Survey and Outlook	p. 186
An Introduction to Cryptology	p. 204
Authoring Structured Multimedia Documents	p. 222
Engineering Software & Software Engineering	p. 240
Efficient Communication Schemes	p. 244
Audit of Information Systems: The Need for Co-operation	p. 264
Towards the Use of Dynamic Documents in Business Processes	p. 275
Contributed Papers
Computational Power of BSP Computers	p. 285
Modeling of Hypermedia Applications	p. 294
On the Klee's Measure Problem in Small Dimensions	p. 304
Yet Another Modular Technique for Efficient Leader Election	p. 312
Regulated Grammars with Leftmost Derivation	p. 322
Some Results on the Modelling of Spatial Data	p. 332
Randomized Meldable Priority Queues	p. 344
The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections	p. 350
Behavioral Safety in a Model with Multiple Class Objects	p. 360
Massively Parallel Suffix Array Construction	p. 371
Weak Bisimilarity and Open Maps	p. 381
A Synchronisation Mechanism for Replicated Objects	p. 389
Data Mining Extension for Object-Oriented Query Language	p. 399
Constraints with Variables' Annotations and Constraint Hierarchies	p. 409
Sample Method for Minimization of OBDDs	p. 419
Determining Type of TIL Construction with Verb Valency Analyser	p. 429
Offline Recognition of Cursive Handwritten Czech Text	p. 437
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures	p. 443
Author Index	p. 453
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

AI Engineering

Building Applications with Foundation Models

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Beading With Algorithms

Cellular Automata In Peyote Stitch

Effective Machine Learning Teams

Best Practices for ML Practitioners

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Zhang Time Discretization (ZTD) Formulas and Applications

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Introduction to Modern Cryptography

Revised Third Edition

Surveys in Combinatorics 2026

London Mathematical Society Lecture Note Series

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Guide to Graph Algorithms

Sequential, Parallel and Distributed

Introduction to Numerical Mathematics

Theory, Practice and Numerous Examples

Frontiers in Industrial Engineering. Purdue Quantum AI

Fifth Gavriel Salvendy International Symposium, PQAI 2025, West Lafayette, IN, USA, October 23â"24, 2025, Proceedings

Graphical Models and Causal Discovery with Python

100 Exercises for Building Logic

Why Don't Rabbits Rule The World?

Mathematical answers to life's key questions

Pattern Recognition and Machine Learning for Self-Study I

Supervised Learning

This product is categorised by