Lecture Notes in Computer Science

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 $0.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.

Lecture Notes in Computer Science

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 Artificial Intelligence

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

AI Snake Oil

What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The Challenge of the Future

What Should We Keep from Yesterday as We Rush Into Tomorrow?

Agentic Mesh

The Genai-Powered Autonomous Agent Ecosystem

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Automating Government

How AI Will Revolutionise Public Services

Automating Government

How AI Will Revolutionise Public Services

Computer Science Why

Answers to Computer Science Questions They Donât Cover in Class

Computer Science Why

Answers to Computer Science Questions They Donât Cover in Class

Data Makes the World Go 'Round

The Data, Tech, and Trust Behind AI Success

The Quantamental Revolution

Factor Investing in the Age of Machine Learning

Data Science First

Using Language Models in AI-Enabled Applications

Inclusive Education

Stem in the Age of Modern AI

Inclusive Education

Stem in the Age of Modern AI

How to Do More with Less

Future-Proofing Yourself in an AI-driven Economy

Marketing 7.0

A Guide for Thinking Marketers in the Age of AI

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Agentic Coding with Claude Code

The everyday developer's guide to agentic coding with Claude Code

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Adaptive Constrained Control for High-Order Fully Actuated Nonlinear Systems

Machine Learning with Python

Principles and Practical Techniques

This product is categorised by