26. SOFSEM 1999:
Milovy,
Czech Republic
Jan Pavelka, Gerard Tel, Miroslav Bartosek (Eds.):
SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings.
Lecture Notes in Computer Science 1725 Springer 1999, ISBN 3-540-66694-X BibTeX
@proceedings{DBLP:conf/sofsem/1999,
editor = {Jan Pavelka and
Gerard Tel and
Miroslav Bartosek},
title = {SOFSEM '99, Theory and Practice of Informatics, 26th Conference
on Current Trends in Theory and Practice of Informatics, Milovy,
Czech Republic, November 27 - December 4, 1999, Proceedings},
booktitle = {SOFSEM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1725},
year = {1999},
isbn = {3-540-66694-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Trends in Theory
Core Technologies
Software and Information Engineering
From Data to Knowledge
Applications
Contributed Papers
- María Alpuente, Santiago Escobar, Salvador Lucas:
UPV-CURRY: An Incremental CURRY Interpreter.
331-339
Electronic Edition (Springer LINK) BibTeX
- Andris Ambainis, Richard F. Bonner, Rusins Freivalds, Marats Golovkins, Marek Karpinski:
Quantum Finite Multitape Automata.
340-348
Electronic Edition (Springer LINK) BibTeX
- Martin Beran:
Decomposable Bulk Synchronous Parallel Computers.
349-359
Electronic Edition (Springer LINK) BibTeX
- Premysl Brada:
Component Change and Version Identification in SOFA.
360-368
Electronic Edition (Springer LINK) BibTeX
- Ivana Cerná, Ondrej Klíma, Jirí Srba:
Pattern Equations and Equations with Stuttering.
369-378
Electronic Edition (Springer LINK) BibTeX
- Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán:
Garbage Collection for Modile and Replicated Objects.
379-386
Electronic Edition (Springer LINK) BibTeX
- Anna Gambin, Adam Malinowski:
Randomized Gossiping by Packets in Faulty Networks.
387-394
Electronic Edition (Springer LINK) BibTeX
- Carlos Herrero, Javier Oliver:
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus.
395-403
Electronic Edition (Springer LINK) BibTeX
- Petr Jancar, Faron Moller, Zdenek Sawa:
Simulation Problems for One-Counter Machines.
404-413
Electronic Edition (Springer LINK) BibTeX
- Gabriel Juhás:
On Semantics of Petri Nets over Partial Algebra.
414-421
Electronic Edition (Springer LINK) BibTeX
- Ivan Kramosil:
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals.
422-430
Electronic Edition (Springer LINK) BibTeX
- Maksim Kravtsev:
Quantum Finite One-Counter Automata.
431-441
Electronic Edition (Springer LINK) BibTeX
- David Rutter:
A Performance Comparison of Monile Agents and RPC.
441-448
Electronic Edition (Springer LINK) BibTeX
- Heiko Schröder, Ondrej Sýkora, Imrich Vrto:
Cyclic Cutwidth of the Mesh.
449-458
Electronic Edition (Springer LINK) BibTeX
- Jirí Síma, Pekka Orponen, Teemu Antti-Poika:
Some Afterthoughts on Hopfield Networks.
459-469
Electronic Edition (Springer LINK) BibTeX
- Ulrich Ultes-Nitsche:
A Persistent-Set Approach to Abstract Stat-Space Construction in Verification.
470-478
Electronic Edition (Springer LINK) BibTeX
- Jirí Wiedermann:
Computational Power of Neuroidal Nets.
479-487
Electronic Edition (Springer LINK) BibTeX
- Thomas Worsch:
Cellular Automata with Dynamically Reconfigurable Buses.
488-496
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:41:54 2009
by Michael Ley (ley@uni-trier.de)
