![SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings /](/search/themes/bootstrap3/images/libros.png)
SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings /
This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas. The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1995
|
| Subjects: | Computer science., Computer programming., Software engineering., Computers., Database management., Information storage and retrieval., Computer Science., Theory of Computation., Software Engineering., Database Management., Information Storage and Retrieval., Computation by Abstract Devices., Programming Techniques., |
| Online Access: | http://dx.doi.org/10.1007/3-540-60609-2 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:185521 |
|---|---|
| record_format |
koha |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Computer programming. Software engineering. Computers. Database management. Information storage and retrieval. Computer Science. Theory of Computation. Software Engineering. Database Management. Information Storage and Retrieval. Computation by Abstract Devices. Programming Techniques. Computer science. Computer programming. Software engineering. Computers. Database management. Information storage and retrieval. Computer Science. Theory of Computation. Software Engineering. Database Management. Information Storage and Retrieval. Computation by Abstract Devices. Programming Techniques. |
| spellingShingle |
Computer science. Computer programming. Software engineering. Computers. Database management. Information storage and retrieval. Computer Science. Theory of Computation. Software Engineering. Database Management. Information Storage and Retrieval. Computation by Abstract Devices. Programming Techniques. Computer science. Computer programming. Software engineering. Computers. Database management. Information storage and retrieval. Computer Science. Theory of Computation. Software Engineering. Database Management. Information Storage and Retrieval. Computation by Abstract Devices. Programming Techniques. Bartosek, Miroslav. editor. Staudek, Jan. editor. Wiedermann, Jirí. editor. SpringerLink (Online service) SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings / |
| description |
This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas. The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics. |
| format |
Texto |
| topic_facet |
Computer science. Computer programming. Software engineering. Computers. Database management. Information storage and retrieval. Computer Science. Theory of Computation. Software Engineering. Database Management. Information Storage and Retrieval. Computation by Abstract Devices. Programming Techniques. |
| author |
Bartosek, Miroslav. editor. Staudek, Jan. editor. Wiedermann, Jirí. editor. SpringerLink (Online service) |
| author_facet |
Bartosek, Miroslav. editor. Staudek, Jan. editor. Wiedermann, Jirí. editor. SpringerLink (Online service) |
| author_sort |
Bartosek, Miroslav. editor. |
| title |
SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings / |
| title_short |
SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings / |
| title_full |
SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings / |
| title_fullStr |
SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings / |
| title_full_unstemmed |
SOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings / |
| title_sort |
sofsem '95: theory and practice of informatics [electronic resource] : 22nd seminar on current trends in theory and practice of informatics milovy, czech republic november 23 – december 1, 1995 proceedings / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
1995 |
| url |
http://dx.doi.org/10.1007/3-540-60609-2 |
| work_keys_str_mv |
AT bartosekmiroslaveditor sofsem95theoryandpracticeofinformaticselectronicresource22ndseminaroncurrenttrendsintheoryandpracticeofinformaticsmilovyczechrepublicnovember23december11995proceedings AT staudekjaneditor sofsem95theoryandpracticeofinformaticselectronicresource22ndseminaroncurrenttrendsintheoryandpracticeofinformaticsmilovyczechrepublicnovember23december11995proceedings AT wiedermannjirieditor sofsem95theoryandpracticeofinformaticselectronicresource22ndseminaroncurrenttrendsintheoryandpracticeofinformaticsmilovyczechrepublicnovember23december11995proceedings AT springerlinkonlineservice sofsem95theoryandpracticeofinformaticselectronicresource22ndseminaroncurrenttrendsintheoryandpracticeofinformaticsmilovyczechrepublicnovember23december11995proceedings |
| _version_ |
1756265383773339648 |
| spelling |
KOHA-OAI-TEST:1855212018-07-30T23:07:37ZSOFSEM '95: Theory and Practice of Informatics [electronic resource] : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings / Bartosek, Miroslav. editor. Staudek, Jan. editor. Wiedermann, Jirí. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1995.engThis book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas. The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.Parallel machine models: How they are and where are they going -- Fuzzy logic from the logical point of view -- Sense of direction in processor networks -- Welcoming the super Turing theories -- What NARX networks can compute -- Database: Introduction to problems -- Distributed Information Systems -- Extending database technology -- Introducing SSADM4+ and PRINCE -- Formal methods in practice: A comparison of two support systems for proof -- Development of safety-critical real-time systems -- Why use evolving algebras for hardware and software engineering? -- Experience with chorus -- High-level languages for parallel scientific computing -- On some new aspects of networked multimedia systems -- Quo vadis GIS: From GIS to GIMS and Open GIS -- WWW — The World Wide Web -- Implementation of higher-order unification based on calculus of explicit substitution -- A modular history-oriented access structure for bitemporal relational databases -- Software engineering meets human-computer interaction: Integrating user interface design in an object-oriented methodology -- Parsing of free-word-order languages -- Distributed algorithm for finding a core of a tree network -- Stepwise synthesis of reactive programs -- A simple and efficient incremental LL(1) parsing -- Fundamentals of context-sensitive rewriting -- Constraint Logic Programming with Fuzzy Sets -- Parallel processing of image database queries -- Maximum flow problem in distributed environment -- Fuzzy set theory and medical expert systems: Survey and model -- The Fusion object-oriented method: an evaluation -- Integration of Object-Oriented analysis and Algebraic specifications -- On the implementation of some residual minimizing Krylov space methods -- A formal lazy replication regime for spreading conversion functions over objectbases -- Hopfleid languages -- Inconsistency conflict resolution -- A methodology for performance and scalability analysis -- On the efficiency of superscalar and vector computer for some problems in scientific computing -- Logic programming in RPL and RQL -- Recognition of handwritten characters using Instance-Based Learning Algorithms.This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas. The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.Computer science.Computer programming.Software engineering.Computers.Database management.Information storage and retrieval.Computer Science.Theory of Computation.Software Engineering.Database Management.Information Storage and Retrieval.Computation by Abstract Devices.Programming Techniques.Springer eBookshttp://dx.doi.org/10.1007/3-540-60609-2URN:ISBN:9783540484639 |