skip to content
Theory and practice of informatics : proceedings Preview this item
ClosePreview this item
Checking...

Theory and practice of informatics : proceedings

Author: Miroslav Bartošek; SOFSEM <22, 1995, Milovice>
Publisher: Berlin [u.a.] : Springer, 1995.
Series: Lecture notes in computer science, vol. 1012
Edition/Format:   Print book : EnglishView all editions and formats
Publication:SOFSEM '95: Theory and Practice of Informatics.
Database:WorldCat
Summary:

These papers on current trends in theory and practice of informatics offer an overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongreß
Conference papers and proceedings
Kongress
Congresses
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Miroslav Bartošek; SOFSEM <22, 1995, Milovice>
ISBN: 3540606092 9783540606093
OCLC Number: 50978786
In: Bartošek, Miroslav
Notes: Literaturangaben.
Description: XI, 498 S : ill., graph. Darst.
Contents: 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.
Series Title: Lecture notes in computer science, vol. 1012
Other Titles: SOFSEM '95
Responsibility: SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Miroslav Bartošek ... (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/50978786> # Theory and practice of informatics : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "50978786" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104430160#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430160#Topic/computer_software> ; # Computer software
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430160#Topic/aufsatzsammlung> ; # Aufsatzsammlung
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430160#Topic/computer_software_congresses> ; # Computer software--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430160#Place/milovice_1995> ; # Milovice <1995>
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430160#Topic/informatik> ; # Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430160#Thing/kongress> ; # Kongress
   schema:about <http://dewey.info/class/005/> ;
   schema:alternateName "SOFSEM '95" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/126353845> ; # SOFSEM <22, 1995, Milovice>
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104430160#Person/bartosek_miroslav> ; # Miroslav Bartošek
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104430160#Meeting/international_seminar_on_current_trends_in_theory_and_practice_of_informatics_sofsem_22_milovy> ; # International Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM) (22 : Milovy)
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1104430160> ;
   schema:genre "Kongreß" ;
   schema:genre "Kongress" ;
   schema:genre "Conference papers and proceedings" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104430160#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Theory and practice of informatics : proceedings" ;
   schema:productID "50978786" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/50978786#PublicationEvent/berlin_u_a_springer_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1104430160#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz04908884xcov.htm> ;
   schema:url <http://www.gbv.de/dms/bowker/toc/9783540606093.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540606093> ;
   umbel:isLike <http://d-nb.info/945723857> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/50978786> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1104430160#Meeting/international_seminar_on_current_trends_in_theory_and_practice_of_informatics_sofsem_22_milovy> # International Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM) (22 : Milovy)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1104430160#Place/milovy> ; # Milovy)
   schema:name "International Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM) (22 : Milovy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104430160#Person/bartosek_miroslav> # Miroslav Bartošek
    a schema:Person ;
   schema:familyName "Bartošek" ;
   schema:givenName "Miroslav" ;
   schema:name "Miroslav Bartošek" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104430160#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/50978786> ; # Theory and practice of informatics : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104430160#Topic/computer_software_congresses> # Computer software--Congresses
    a schema:Intangible ;
   schema:name "Computer software--Congresses" ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
   schema:name "Computer software" ;
    .

<http://viaf.org/viaf/126353845> # SOFSEM <22, 1995, Milovice>
    a schema:Organization ;
   schema:name "SOFSEM <22, 1995, Milovice>" ;
    .

<http://worldcat.org/isbn/9783540606093>
    a schema:ProductModel ;
   schema:isbn "3540606092" ;
   schema:isbn "9783540606093" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.