SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 30, 1996 : proceedings
This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996. The volume presents a unique collection of 19 invited papers competently surveying the field. These pape...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , , |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
1175 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SOFSEM'96, theory and practice of informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 1996, proceedings, Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.), 1996, Berlin, Springer, 1 vol. (XII-490 p.), Lecture notes in computer science, 3-540-61994-1 • SOFSEM '96: Theory and Practice of Informatics, Texte imprimé, 9783662170182 |
| LEADER | 05662nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944248 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155180436 | ||
| 020 | |a 9783540495888 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Current Trends in Theory and Practice of Informatics |n (23 |d :1996 |c :Milovy, République Tchèque). | |
| 245 | 1 | 0 | |a SOFSEM'96 : |b theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 30, 1996 : proceedings |c [edited by] Keith G. Jeffery, Jaroslav Král, 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 1175 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A unified view to string matching algorithms -- Communication in parallel systems -- An overview of the Tigger object-support operating system framework -- The arias distributed shared memory: An overview -- CORBA and object services -- Decision-theoretic reasoning and the human-computer interface: Advances in embedded intelligent agents -- Probabilistic approaches to motion planning -- Learning in order to reason: The approach -- Database semantics in heterogeneous environment -- Business case processing Rationale, survey and trends -- Data Mining and the Keso project -- Computer Visualization Concepts, trends and current research -- High performance computing The computational chemistry perspective -- Iterative methods for unsymmetric linear systems -- Core technologies for system renovation -- Trends in game tree search -- A visual approach to VDM -- Statecharts: Past, present, future -- Scalable fault tolerance -- A deductive database support to the specification of concurrent systems -- Interprocess communication in the T4 system -- A formal representation for state diagrams in the OMT methodology -- Feasible real random access machines -- Temporal conversion functions for multitemporal relational databases -- An output sensitive solution to the set union and intersection problem -- On the semantics of multistage interconnection networks -- Decision trees, knowledge rules and some related data mining algorithms -- Regularity is decidable for normed BPA and normed BPP processes in polynomial time -- A new proposal of concurrent process calculus -- On the specification of visual languages: Multisets as first-class citizens -- Restarting automata with rewriting -- On the role of orthogonality in the GMRES method -- Efficient tree pattern unification -- A light-weight formalism for thespecification of reactive systems -- Knowledge discovery in alarm data analysis -- Aunt's problem: Table rounding -- A seven-head dragon for optimal pattern searching -- Choosing reference views for image-based representation -- Recognizing graph products and bundles -- Genetic algorithms-based creation of fuzzy-rule bases for the car control -- A transaction model for mobile and active database systems. | |
| 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 book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996. The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on fundamentals, distributed and parallel computing, AI and control systems, databases and electronic documents, scientific computing and visualization, programming and software engineering. Also included are 22 refereed and thoroughly revised contributed research papers selected by the program committee for inclusion in the proceedings. | ||
| 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 Jeffery, Keith G., |d 1947-...., |c informaticien. |4 pbd | |
| 700 | 1 | |a Králíček, Jaroslav, |d 1925- |4 pbd | |
| 700 | 1 | |a Bartošek, Miroslav, |d 1957- |4 pbd | |
| 776 | 0 | |0 026187531 |t SOFSEM'96 |o theory and practice of informatics |o 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 1996 |o proceedings |f Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.) |d 1996 |c Berlin |n Springer |p 1 vol. (XII-490 p.) |s Lecture notes in computer science |z 3-540-61994-1 | |
| 776 | 0 | |t SOFSEM '96: Theory and Practice of Informatics |b Texte imprimé |z 9783662170182 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0037392 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-32JMVW6V-H |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747921474 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0037392 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750933887 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0037392 |z Accès INSA CVL | |
| 997 | |0 944248 |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/ | ||