ISBN: 9783540652601 - sofsem '98: theory and practice of informatics: 25th conference on current trends in theory and practice of informatics, jasna, slovakia, november ... notes in computer science, 1521, band 1521) (15 Ergebnisse)

Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Zustand: Good. 452 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 andConstraint 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.…

PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes supplementary material: sn.pub/extrasInvited Talks.- Software Architecture for Distributed Reactive Systems.- A Logical Basis for Modular Software and Systems Engineering.- From Quartets to Phylogenetic Trees.- Reuse Methods for Construc.…

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 andConstraint 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 472 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics SOFSEM 98, held in Jasn a, Slovakia, November 21{27, 1998. The SOFSEM conference series started in 1974 as a local event in Czec- slovakia and from the very beginning became the top domestic event in software theory and practice. It has been unique in several respects, being a mix of w- ter school, conference, and advanced workshop. It brought together professionals from academia and industry and provided an opportunity for both theoreti- ans and practitioners to learn about the new developments in a broad range of computer science subjects via a series of invited talks. The conference gradually evolved into an international event, keeping most of its original characteristics. It features a relatively large number of invited talks, refereed papers (contributed papers), and refereed poster contributions. In addition, time and space for ash communications, industrial presentations, and exhibitions are provided. SOFSEM is every year result of a considerable e ort by a number of p- ple. Its Advisory Board (Dines Bj rner, Manfred Broy, Michal Chytil, Peter van Emde Boas, Georg Gottlob, Keith G. Je rey, Maria Zemankova) and - dowment Board (Keith G. Je rey, Jan Pavelka, Franti sek Pl a sil, Igor Pr vara, Branislav Rovan, vice-chair, Jan Staudek, Ji r Wiedermann, chair) is in process of being transformed into a Steering Committee. 472 pp. Englisch.…

Taschenbuch. Zustand: Neu. SOFSEM '98: Theory and Practice of Informatics | 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings | Branislav Rovan | Taschenbuch | xii | Englisch | 1998 | Springer | EAN 9783540652601 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…