SOFSEM 2002 : Theory and Practice of Informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings - William I. Grosky

Instant online reading.
Don't wait for delivery!

SOFSEM 2002

Theory and Practice of Informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings

By: William I. Grosky (Editor), Frantisek Plasil (Editor)

Write A Review

Paperback | 5 November 2002

At a Glance

Paperback
304 Pages

Dimensions(cm)
22.86 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22-29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers.

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 Programming & Software Development Software Engineering Computer Science Systems Analysis & Design Graphical & Digital Media Applications Computer Hardware Network Hardware Artificial Intelligence

Computer Vision

Conformance Testing Techniques for Timed Systems	p. 1
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies	p. 20
Equivalence-Checking with Infinite-State Systems: Techniques and Results	p. 41
On Functions and Types: A Tutorial	p. 74
Database Support for Multisource Multiresolution Scientific Data	p. 94
Semantic Annotation and Indexing of News and Sports Videos	p. 115
Multimedia Presentations Databases	p. 132
Interactive Indexing and Retrieval of Multimedia Content	p. 135
A Model-Based Approach to Semantic-Based Retrieval of Visual Information	p. 149
Bipolarity in Possibilistic Logic and Fuzzy Rules	p. 168
Data Management Challenges for GRID Computing	p. 174
Hungarian Speech Synthesis Using a Phase Exact HNM Approach	p. 181
Modelling Resource Transitions in Constraint-Based Scheduling	p. 186
A Specification Framework for Real-Time Scheduling	p. 195
String Transformation for n-Dimensional Image Compression	p. 208
Validation and Decomposition of Partially Occluded Images	p. 218
Solving Conflicts of Agent Knowledge States in Multiagent Systems	p. 231
Specification and Verification of Secure Business Transaction Systems	p. 240
Agent-Oriented Model of Simulated Evolution	p. 253
The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections	p. 262
The Complexity of Probabilistic versus Quantum Finite Automata	p. 273
Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties	p. 279
Author Index	p. 289
Table of Contents provided by Blackwell. All Rights Reserved.

SOFSEM 2002

Theory and Practice of Informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Semantics With Applications

Advanced Topics in Computer Science

The Essence of Software Engineering

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Design Patterns

Elements of Reusable Object-Oriented Software

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

The Art of Spyro

Reignited Trilogy

Arduino For Dummies

Blackwell Philosophy Anthologies

Swim Training Patterns

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

Hacking For Dummies

For Dummies (Computer/Tech)

Architecture Patterns with Python

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

Git : Pocket Guide

A Working Introduction

Coding All-in-One For Dummies

2nd Edition

Developing Graphics Frameworks with Java and OpenGL

User Story Mapping

Discover the Whote Story, Build the Right Product

Lean Enterprise

How High Performance Organizations Innovate at Scale

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

This product is categorised by