SOFSEM’ 98: Theory and Practice of Informatics [electronic resource] : 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings / edited by Branislav Rovan.

Contributor(s): Rovan, Branislav [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 1521Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Description: XII, 460 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540494775Subject(s): Computer science | Computer Communication Networks | Software engineering | Information theory | Information systems | Computer Science | Computer Communication Networks | Software Engineering/Programming and Operating Systems | Theory of Computation | Information Systems and Communication ServiceAdditional physical formats: Printed edition:: No titleDDC classification: 004.6 LOC classification: TK5105.5-5105.9Online resources: Click here to access online
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.
In: Springer eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK6796

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha