SOFSEM '98

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 $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 Computing & I.T.Computer Science Medicine Medicine in General Computer Networking & Communications Computer Programming & Software Development Software Engineering Digital Lifestyle & Online World: Consumer & User Guides Internet Guides & Online Services Computer Hardware Network Hardware

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.

SOFSEM '98

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 Software Engineering

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

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

Semantics With Applications

Advanced Topics in Computer Science

The Essence of Software Engineering

Site Reliability Engineering

How Google Runs Production Systems

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Swim Training Patterns

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

Developing Graphics Frameworks with Java and OpenGL

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Git : Pocket Guide

A Working Introduction

Hacking For Dummies

For Dummies (Computer/Tech)

Test-Driven Development with Python

Obey the Testing Goat: Using Django, Selenium, and JavaScript

The Engineering Leader

Strategies for Scaling Teams and Yourself

User Story Mapping

Discover the Whote Story, Build the Right Product

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Lean Enterprise

How High Performance Organizations Innovate at Scale

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by