The Resource SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan
SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan
Resource Information
The item SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in November 1998. The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and digital libraries
- Language
- eng
- Extent
- 1 online resource.
- Contents
-
- Invited Talks
- Software Architecture for Distributed Reactive Systems
- A Logical Basis for Modular Software and Systems Engineering
- From Quartets to Phylogenetic Trees
- Reuse Methods for Construction of Parallel Software
- Compiling Horn-Clause Rules in IBM's Business System 12 an Early Experiment in Declarativeness
- Models of Computation, Riemann Hypothesis, and Classical Mathematics
- Security of Electronic Money
- Algorithms Based on Randomization and Linear and Semidefinite Programming
- Distributed Systems Technology for Electronic Commerce Applications
- Parallel Interactive Media Server Systems
- Online Routing Problems for Broadband Networks
- Some Prospects forEfficient Fixed Parameter Algorithms
- System Infrastructure for Digital Libraries: A Survey and Outlook
- An Introduction to Cryptology
- Authoring Structured Multimedia Documents
- Engineering Software & Software Engineering
- Efficient Communication Schemes
- Audit of Information Systems: The Need for Cooperation
- Towards the Use of Dynamic Documents in Business Processes
- Contributed Papers
- Computational Power of BSP Computers
- Modeling of Hypermedia Applications
- On the Klee's Measure Problem in Small Dimensions
- Yet Another Modular Technique for Efficient Leader Election
- Regulated Grammars with Leftmost Derivation
- Some Results on the Modelling of Spatial Data
- Randomized Meldable Priority Queues
- The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections
- Behavioral Safety in a Model with Multiple Class Objects
- Massively Parallel Suffix Array Construction
- Weak Bisimilarity and Open Maps
- A Synchronisation Mechanism for Replicated Objects
- Data Mining Extension for Object-Oriented Query Language
- Constraints with Variables' Annotations and Constraint Hierarchies
- Sample Method for Minimization of OBDDs
- Determining Type of TIL Construction withVerb Valency Analyser
- Offine Recognition of Cursive Handwritten Czech Text
- Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
- Isbn
- 9783540494775
- Label
- SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings
- Title
- SOFSEM 98: Theory and Practice of Informatics
- Title remainder
- 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings
- Statement of responsibility
- edited by Branislav Rovan
- Language
- eng
- Summary
- This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in November 1998. The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and digital libraries
- Cataloging source
- DKDLA
- Dewey number
- 004
- Index
- no index present
- LC call number
- QA76.751
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- standards specifications
- http://library.link/vocab/relatedWorkOrContributorName
- Rovan, B.
- Series statement
- Lecture Notes in Computer Science
- Series volume
- 1521,
- http://library.link/vocab/subjectName
-
- Computer science
- Computers
- Computer software
- Computer science
- Computer software
- Computers
- Label
- SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Invited Talks -- Software Architecture for Distributed Reactive Systems -- A Logical Basis for Modular Software and Systems Engineering -- From Quartets to Phylogenetic Trees -- Reuse Methods for Construction of Parallel Software -- Compiling Horn-Clause Rules in IBM's Business System 12 an Early Experiment in Declarativeness -- Models of Computation, Riemann Hypothesis, and Classical Mathematics -- Security of Electronic Money -- Algorithms Based on Randomization and Linear and Semidefinite Programming -- Distributed Systems Technology for Electronic Commerce Applications -- Parallel Interactive Media Server Systems -- Online Routing Problems for Broadband Networks -- Some Prospects forEfficient Fixed Parameter Algorithms -- System Infrastructure for Digital Libraries: A Survey and Outlook -- An Introduction to Cryptology -- Authoring Structured Multimedia Documents -- Engineering Software & Software Engineering -- Efficient Communication Schemes -- Audit of Information Systems: The Need for Cooperation -- Towards the Use of Dynamic Documents in Business Processes -- Contributed Papers -- Computational Power of BSP Computers -- Modeling of Hypermedia Applications -- On the Klee's Measure Problem in Small Dimensions -- Yet Another Modular Technique for Efficient Leader Election -- Regulated Grammars with Leftmost Derivation -- Some Results on the Modelling of Spatial Data -- Randomized Meldable Priority Queues -- The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections -- Behavioral Safety in a Model with Multiple Class Objects -- Massively Parallel Suffix Array Construction -- Weak Bisimilarity and Open Maps -- A Synchronisation Mechanism for Replicated Objects -- Data Mining Extension for Object-Oriented Query Language -- Constraints with Variables' Annotations and Constraint Hierarchies -- Sample Method for Minimization of OBDDs -- Determining Type of TIL Construction withVerb Valency Analyser -- Offine Recognition of Cursive Handwritten Czech Text -- Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
- Control code
- 771199007
- Extent
- 1 online resource.
- Form of item
- online
- Isbn
- 9783540494775
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Specific material designation
- remote
- System control number
- (OCoLC)771199007
- Label
- SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Invited Talks -- Software Architecture for Distributed Reactive Systems -- A Logical Basis for Modular Software and Systems Engineering -- From Quartets to Phylogenetic Trees -- Reuse Methods for Construction of Parallel Software -- Compiling Horn-Clause Rules in IBM's Business System 12 an Early Experiment in Declarativeness -- Models of Computation, Riemann Hypothesis, and Classical Mathematics -- Security of Electronic Money -- Algorithms Based on Randomization and Linear and Semidefinite Programming -- Distributed Systems Technology for Electronic Commerce Applications -- Parallel Interactive Media Server Systems -- Online Routing Problems for Broadband Networks -- Some Prospects forEfficient Fixed Parameter Algorithms -- System Infrastructure for Digital Libraries: A Survey and Outlook -- An Introduction to Cryptology -- Authoring Structured Multimedia Documents -- Engineering Software & Software Engineering -- Efficient Communication Schemes -- Audit of Information Systems: The Need for Cooperation -- Towards the Use of Dynamic Documents in Business Processes -- Contributed Papers -- Computational Power of BSP Computers -- Modeling of Hypermedia Applications -- On the Klee's Measure Problem in Small Dimensions -- Yet Another Modular Technique for Efficient Leader Election -- Regulated Grammars with Leftmost Derivation -- Some Results on the Modelling of Spatial Data -- Randomized Meldable Priority Queues -- The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections -- Behavioral Safety in a Model with Multiple Class Objects -- Massively Parallel Suffix Array Construction -- Weak Bisimilarity and Open Maps -- A Synchronisation Mechanism for Replicated Objects -- Data Mining Extension for Object-Oriented Query Language -- Constraints with Variables' Annotations and Constraint Hierarchies -- Sample Method for Minimization of OBDDs -- Determining Type of TIL Construction withVerb Valency Analyser -- Offine Recognition of Cursive Handwritten Czech Text -- Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
- Control code
- 771199007
- Extent
- 1 online resource.
- Form of item
- online
- Isbn
- 9783540494775
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Specific material designation
- remote
- System control number
- (OCoLC)771199007
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/SOFSEM-98-Theory-and-Practice-of-Informatics-/o4TCbxeceN8/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/SOFSEM-98-Theory-and-Practice-of-Informatics-/o4TCbxeceN8/">SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/SOFSEM-98-Theory-and-Practice-of-Informatics-/o4TCbxeceN8/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/SOFSEM-98-Theory-and-Practice-of-Informatics-/o4TCbxeceN8/">SOFSEM 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasn, Slovakia, November 2127, 1998 Proceedings, edited by Branislav Rovan</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>