SOFSEM '96

Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings

By: Keith G. Jeffery (Editor), Jaroslav Kral (Editor), Miroslav Bartosek (Editor)

Write A Review

Paperback | 6 November 1996

At a Glance

Paperback
516 Pages

Dimensions(cm)
23.39 x 15.6 x 2.64

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996.
The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on fundamentals, distributed and parallel computing, AI and control systems, databases and electronic documents, scientific computing and visualization, programming and software engineering. Also included are 22 refereed and thoroughly revised contributed research papers selected by the program committee for inclusion in the proceedings.

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 Networking & Communications Computer Programming & Software Development Software Engineering Digital Lifestyle & Online World: Consumer & User Guides Internet Guides & Online Services Computer Science Artificial Intelligence Computer Hardware Network Hardware

A Unified View to String Matching Algorithms	p. 1
Communication in Parallel Systems	p. 16
An Overview of the Tigger Object-Support Operating System Framework	p. 34
The Arias Distributed Shared Memory: An Overview	p. 56
CORBA and Object Services	p. 74
Decision-Theoretic Reasoning and the Human-Computer Interface: Advances in Embedded Intelligent Agents	p. 94
Probabilistic Approaches to Motion Planning	p. 95
Learning in Order to Reason: The Approach	p. 113
Database Semantics in Heterogenous Environment	p. 125
Business Case Processing - Rationale, Survey and Trends	p. 143
Data Mining and the KESO Project	p. 161
Computer Visualization - Concepts, Trends and Current Research	p. 178
High Performance Computing - The Computational Chemistry Perspective	p. 197
Iterative Methods for Unsymmetric Linear Systems	p. 217
Core Technologies for System Renovation	p. 235
Trends in Game Tree Search	p. 255
A Visual Approach to VDM	p. 275
Statecharts: Past, Present and Future	p. 285
Scalable Fault Tolerance	p. 286
A Deductive Database Support to the Specification of Concurrent Systems	p. 309
Interprocess Communication in the T4 System	p. 317
A Formal Representation for State Diagrams in the OMT Methodology	p. 327
Feasible Real Random Access Machines	p. 335
Temporal Conversion Functions for Multitemporal Relational Databases	p. 343
An Output Sensitive Solution to the Set Union and Intersection Problem	p. 351
On the Semantics of Multistage Interconnection Networks	p. 359
Decision Trees, Knowledge Rules and Some Related Data Mining Algorithms	p. 369
Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time	p. 377
A New Proposal of Concurrent Process Calculus	p. 385
On the Specification of Visual Languages: Multisets as First-Class Citizens	p. 393
Restarting Automata with Rewriting	p. 401
On the Role of Orthogonality in the GMRES Method	p. 409
Efficient Tree Pattern Unification	p. 417
A Light-Weight Formalism for the Specification of Reactive Systems	p. 425
Knowledge Discovery in Alarm Data Analysis	p. 433
Aunt's Problem: Table Rounding	p. 441
A Seven-Head Dragon for Optimal Pattern Searching	p. 451
Choosing Reference Views for Image-Based Representation	p. 459
Recognizing Graph Products and Bundles	p. 467
Genetic Algorithms-Based Creation of Fuzzy-Rule Bases for the Car Control	p. 475
A Transaction Model for Mobile and Active Database Systems	p. 483
Author Index	p. 491
Table of Contents provided by Blackwell. All Rights Reserved.

SOFSEM '96

Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Cognitive Cloud Computing

Building Intelligent Systems for Tomorrow

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

Code

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

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

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

Clean Architecture

A Craftsman's Guide to Software Structure and Design

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Architecture Patterns with Python

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

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

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

Developing Graphics Frameworks with Java and OpenGL

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Robot Automation

Principle, Design and Applications

This product is categorised by