SOFSEM'99: Theory and Practice of Informatics
Editat de Jan Pavelka, Gerard Tel, Miroslav Bartoseken Limba Engleză Paperback – 11 noi 1999
Preț: 332.39 lei
Preț vechi: 415.48 lei
-20% Nou
Puncte Express: 499
Preț estimativ în valută:
58.82€ • 68.59$ • 51.64£
58.82€ • 68.59$ • 51.64£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540666943
ISBN-10: 354066694X
Pagini: 520
Ilustrații: XIV, 506 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.78 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354066694X
Pagini: 520
Ilustrații: XIV, 506 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.78 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talks.- Quantum Challenges.- Stability of Approximation Algorithms for Hard Optimization Problems.- Algorithms on Compressed Strings and Arrays.- WWW Based Collaboration with the BSCW System.- Middleware and Quality of Service.- Dynamic Reconfiguration of CORBA-Based Applications.- Fast, Error Correcting Parser Combinators: A Short Tutorial.- IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications.- Databases and the World Wide Web.- Exploiting Formality in Software Engineering.- Biomolecular Computing and Programming.- Software Change and Evolution.- Distributed Simulation with Cellular Automata: Architecture and Applications.- Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors.- On Interactive Computation: Intelligent Tutoring Systems.- Coherent Concepts, Robust Learning.- Application of Artificial Neural Networks for Different Engineering Problems.- Factor Oracle: A New Structure for Pattern Matching.- Principles of Forecasting — A Short Overview.- Contributed Papers.- UPV-Curry: An Incremental Curry Interpreter.- Quantum Finite Multitape Automata.- Decomposable Bulk Synchronous Parallel Computers.- Component Change and Version Identification in SOFA.- Pattern Equations and Equations with Stuttering.- Garbage Collection for Mobile and Replicated Objects.- Randomized Gossiping by Packets in Faulty Networks.- Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus.- Simulation Problems for One-Counter Machine.- On Semantics of Petri Nets Over Partial Algebra.- Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals.- Quantum Finite One-Counter Automata.- A Performance Comparison of Mobile Agents and RPC.- Cyclic Cutwidth of the Mesh.- Some Afterthoughts onHopfield Networks.- A persistent-Set Approach to Abstract State-Space Construction in Verification.- Computational Power of Neuroidal Nets.- Cellular Automata with Dynamically Reconfigurable Buses.
Caracteristici
Includes supplementary material: sn.pub/extras