SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt any, Slovak Republic, November 24 December 1, 2001 : proceedings
SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republi...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2234 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SOFSEM 2001, theory and practice of informatics, 28th Conference on Current Trends in Theory and Practice of Informatics, Piešţany, Slovak Republic, November 24-December 1, 2001, proceedings, Leszek Pacholski, Peter Ruzicka (eds.), Berlin, Springer, 2001, 1 vol. (XI-345 p.), Lecture notes in computer science, 3-540-42912-3 • SOFSEM 2001: Theory and Practice of Informatics, Texte imprimé, 9783662211267 |
| LEADER | 05993nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 969579 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15517584X | ||
| 020 | |a 9783540456278 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Current Trends in Theory and Practice of Informatics |n (28 |d :2001 |c :Piešt any). | |
| 245 | 1 | 0 | |a SOFSEM 2001 : |b theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt any, Slovak Republic, November 24 December 1, 2001 : proceedings |c [edited by] Leszek Pacholski, Peter Ružička. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2234 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Talks -- The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences -- Agreement Problems in Fault-Tolerant Distributed Systems -- Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes -- Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited -- Recent Advances in Wavelength Routing -- From Metacomputing to Grid Computing: Evolution or Revolution? -- Knowledge-Based Control Systems -- Beyond the Turing Limit: Evolving Interactive Systems -- Distributed Computations by Autonomous Mobile Robots -- Formal Verification Methods for Industrial Hardware Design -- How Can Computer Science Contribute to Knowledge Discovery -- Contributed Papers -- On the Approximability of Interactive Knapsack Problems -- Model Checking Communication Protocols -- Pipelined Decomposable BSP Computers -- Quantum versus Probabilistic One-Way Finite Automata with Counter -- How to Employ Reverse Search in Distributed Single Source Shortest Paths -- Multi-agent Systems as Concurrent Constraint Processes -- ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs -- Approximative Learning of Regular Languages -- Quantum Finite State Transducers -- Lemmatizer for Document Information Retrieval Systems in JAVA -- The Reconstruction of Polyominoes from Approximately Orthogonal Projections -- Bounding Lamport s Bakery Algorithm -- Fast Independent Component Analysis in Kernel Feature Spaces -- On Majority Voting Games in Trees -- Time and Space Complexity of Reversible Pebbling -- The HiQoS Rendering System -- Two-Way Restarting Automata and J-Monotonicity -- P-Hardness of Equivalence Testing on Finite-State Processes -- Keynote Talk -- Software Geography: Physical and Economic Aspects. | |
| 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 SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: Trends in Informatics Enabling Technologies for Global Computing Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H ajek). | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Logiciels | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Pacholski, Leszek, |d 19...- |4 pbd | |
| 700 | 1 | |a Ruzicka, Peter, |d 1948- |4 pbd | |
| 776 | 0 | |0 059417412 |t SOFSEM 2001, theory and practice of informatics |o 28th Conference on Current Trends in Theory and Practice of Informatics, Piešţany, Slovak Republic, November 24-December 1, 2001 |o proceedings |f Leszek Pacholski, Peter Ruzicka (eds.) |c Berlin |n Springer |d 2001 |p 1 vol. (XI-345 p.) |s Lecture notes in computer science |z 3-540-42912-3 | |
| 776 | 0 | |t SOFSEM 2001: Theory and Practice of Informatics |b Texte imprimé |z 9783662211267 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45627-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-H40SF3H0-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750672536 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45627-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754021238 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45627-9 |z Accès INSA CVL | |
| 997 | |0 969579 |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/ | ||