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
This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged internati...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1725 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SOFSEM'99, theory and practice of informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November/December, 1999, proceedings, Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.), 1999, New York, Springer, 1 vol. (XIII-498 p.), Lecture notes in computer science, 3-540-66694-X • SOFSEM'99: Theory and Practice of Informatics, Texte imprimé, 9783662210611 |
| LEADER | 05906nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 972793 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155230026 | ||
| 020 | |a 9783540478492 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Current Trends in Theory and Practice of Informatics |n (26 |d :1999 |c :Milovy, République Tchèque). | |
| 245 | 1 | 0 | |a SOFSEM'99 : |b 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 |c [edited by] Jan Pavelka, Gerard Tel, Miroslav Bartošek. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1725 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged international conference. For all the changes, however, it has kept its generalist and mul- disciplinarycharacter.Thetracksofinvitedtalks,rangingfromTrendsinTheory to Software and Information Engineering, attest to this. Apart from the topics mentioned above, SOFSEM 99 oer s invited talks exploring core technologies, talks tracing the path from data to knowledge, and those describing a wide variety of applications. TherichcollectionofinvitedtalkspresentsonetraditionalfacetofSOFSEM: that of a winter school, in which IT researchers and professionals get an opp- tunity to see more of the large pasture of today s computing than just their favourite grazing corner. To facilitate this purpose the prominent researchers delivering invited talks usually start with a broad overview of the state of the art in a wider area and then gradually focus on their particular subject. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Logiciels | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Pavelka, Jan, |d 1948- |4 pbd | |
| 700 | 1 | |a Tel, Gerard, |d 1962- |4 pbd | |
| 700 | 1 | |a Bartošek, Miroslav, |d 1957- |4 pbd | |
| 776 | 0 | |0 049040065 |t SOFSEM'99 |o theory and practice of informatics |o 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November/December, 1999 |o proceedings |f Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.) |d 1999 |c New York |n Springer |p 1 vol. (XIII-498 p.) |s Lecture notes in computer science |z 3-540-66694-X | |
| 776 | 0 | |t SOFSEM'99: Theory and Practice of Informatics |b Texte imprimé |z 9783662210611 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-47849-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-MDLZL1TF-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750632895 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-47849-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75398931X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-47849-3 |z Accès INSA CVL | |
| 997 | |0 972793 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||