SOFSEM'99: Theory and Practice of Informatics
Editat de Jan Pavelka, Gerard Tel, Miroslav Bartoseken Limba Engleză Paperback – 11 noi 1999
Preț: 333.41 lei
Preț vechi: 416.76 lei
-20%
Puncte Express: 500
Carte tipărită la comandă
Livrare economică 20 iulie-03 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.