Vor Ort
Merkzettel Warenkorb
  • Produktbild: SOFSEM '97: Theory and Practice of Informatics
  • Produktbild: SOFSEM '97: Theory and Practice of Informatics
Band 1338

SOFSEM '97: Theory and Practice of Informatics 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.11.1997

Herausgeber

Frantisek Plasil + weitere

Verlag

Springer Berlin

Seitenzahl

582

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

890 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63774-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.11.1997

Herausgeber

Verlag

Springer Berlin

Seitenzahl

582

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

890 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63774-5

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 '97: Theory and Practice of Informatics
  • Produktbild: SOFSEM '97: Theory and Practice of Informatics
  • Computer chess: Algorithms and heuristics for a deep look into the future.- Algorithms for triangulated terrains.- On the distributed realization of parallel algorithms.- The fundamental problem of database design.- Solving and approximating combinatorial optimization problems (Towards MAX CUT and TSP).- The computational power of continuous time neural networks.- A foundation for computable analysis.- Towards machines that can think.- Computational complexity of continuous problems.- Path layout in ATM networks.- The mobile agent technology.- Theory and practice in interactionally rich distributed systems.- Configuration-based programming systems.- Automatic generation of parallelizing compilers for object-oriented programming languages from denotational semantics specifications.- A formal software engineering paradigm: From domains via requirements to software - Formal specification & design calculi -.- The whole picture to software process improvement.- Object-oriented design patterns.- Object-oriented DBMS and beyond.- On integration of relational and object-oriented database systems.- From OO through deduction to active databases — ROCK, ROLL & RAP.- An introduction to virtual reality modeling language.- Stepping stones to an information society.- Lower bounds for the virtual path layout problem in ATM networks.- Query processing in temporal evidential databases.- A first approach to temporal predicate locking for concurrency detection in temporal relational databases supporting schema versioning.- Efficient insertion of approximately sorted sequences of items into a dictionary.- High availability support in CORBA environments.- On f-sparse sets in NP - P.- Zero-overhead exception handling using metaprogramming.- The output-store formal translator directed by LR parsing.- Parallel processing on alphas under MATLAB 5.- PRAM lower bound for element distinctness revisited.- Optimal trees for searching in codebook.- Time optimal self-stabilizing algorithms.- Requirements specification iteratively combined with reverse engineering.- On finite representations of infinite-state behaviours.- Efficient strong sequentiality using replacement restrictions.- Optimal encodings.- Monotonic rewriting automata with a restart operation.- Kahn's fixed-point characterization for linear dynamic networks.- DESAM — Annotated corpus for Czech.- Mobility management in CORBA: A generic implementation of the lifecycle service.- A theory of game trees, based on solution trees.- Approximation algorithms for the vertex bipartization problem.- Optical all-to-all communication for some product graphs (Extended Abstract).- Parallelizing self-organizing maps.