Vor Ort
Merkzettel Warenkorb
  • Produktbild: SOFSEM '95: Theory and Practice of Informatics
  • Produktbild: SOFSEM '95: Theory and Practice of Informatics
Band 1012

SOFSEM '95: Theory and Practice of Informatics 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.11.1995

Herausgeber

Miroslav Bartosek + weitere

Verlag

Springer Berlin

Seitenzahl

504

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

680 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60609-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.11.1995

Herausgeber

Verlag

Springer Berlin

Seitenzahl

504

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

680 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60609-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: SOFSEM '95: Theory and Practice of Informatics
  • Produktbild: SOFSEM '95: Theory and Practice of Informatics
  • Parallel machine models: How they are and where are they going.- Fuzzy logic from the logical point of view.- Sense of direction in processor networks.- Welcoming the super Turing theories.- What NARX networks can compute.- Database: Introduction to problems.- Distributed Information Systems.- Extending database technology.- Introducing SSADM4+ and PRINCE.- Formal methods in practice: A comparison of two support systems for proof.- Development of safety-critical real-time systems.- Why use evolving algebras for hardware and software engineering?.- Experience with chorus.- High-level languages for parallel scientific computing.- On some new aspects of networked multimedia systems.- Quo vadis GIS: From GIS to GIMS and Open GIS.- WWW — The World Wide Web.- Implementation of higher-order unification based on calculus of explicit substitution.- A modular history-oriented access structure for bitemporal relational databases.- Software engineering meets human-computer interaction: Integrating user interface design in an object-oriented methodology.- Parsing of free-word-order languages.- Distributed algorithm for finding a core of a tree network.- Stepwise synthesis of reactive programs.- A simple and efficient incremental LL(1) parsing.- Fundamentals of context-sensitive rewriting.- Constraint Logic Programming with Fuzzy Sets.- Parallel processing of image database queries.- Maximum flow problem in distributed environment.- Fuzzy set theory and medical expert systems: Survey and model.- The Fusion object-oriented method: an evaluation.- Integration of Object-Oriented analysis and Algebraic specifications.- On the implementation of some residual minimizing Krylov space methods.- A formal lazy replication regime for spreading conversion functions over objectbases.- Hopfleid languages.- Inconsistency conflict resolution.- A methodology for performance and scalability analysis.- On the efficiency of superscalar and vector computer for some problems in scientific computing.- Logic programming in RPL and RQL.- Recognition of handwritten characters using Instance-Based Learning Algorithms.