STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings /

Saved in:
Bibliographic Details
Meeting name:Annual Symposium on Theoretical Aspects of Computer Science (6th : 1989 : Paderborn, Germany)
Imprint:Berlin, Heidelberg : Springer-Verlag, 1989.
Description:1 online resource : v.: digital.
Language:English
Series:Lecture Notes in Computer Science, 0302-9743 ; 349
Lecture notes in computer science ; 349.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11078120
Hidden Bibliographic Details
Other authors / contributors:Monien, B.
Cori, Robert.
ISBN:9783540460985
3540460985
0387508406
9780387508405
3540508406
9783540508403
9783540508403
3540460985
Notes:Includes bibliographical references.
Summary:This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: computational geometry, automata theory and formal languages, semantics of programming languages, parallel algorithms, graph algorithms, complexity, structures, fault tolerance, completeness, distributed computing and concurrency.
Other form:Print version: Symposium on Theoretical Aspects of Computer Science (6th : 1989 : Paderborn, Germany). STACS 89. Berlin, Heidelberg : Springer-Verlag, 1989

MARC

LEADER 00000cam a2200000Mi 4500
001 11078120
005 20170630044537.1
006 m o d
007 cr nn|008mamaa
008 100730s1989 gw ob 100 0 eng d
003 ICU
040 |a KIJ  |b eng  |e pn  |c KIJ  |d OCLCO  |d GW5XE  |d OCLCF  |d ITD  |d CUSER  |d NLGGC  |d OCLCQ  |d OCLCA  |d OCLCQ  |d OCL 
019 |a 150398906  |a 321350020 
020 |a 9783540460985  |q (electronic bk.) 
020 |a 3540460985  |q (electronic bk.) 
020 |a 0387508406 
020 |a 9780387508405 
020 |a 3540508406 
020 |a 9783540508403 
020 |z 9783540508403 
020 |z 3540460985 
035 |a (OCoLC)827360068  |z (OCoLC)150398906  |z (OCoLC)321350020 
050 4 |a QA75.5 
084 |a 54.10  |2 bcl 
049 |a MAIN 
111 2 |a Annual Symposium on Theoretical Aspects of Computer Science  |n (6th :  |d 1989 :  |c Paderborn, Germany) 
245 1 0 |a STACS 89 :  |b 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings /  |c edited by B. Monien, R. Cori. 
260 |a Berlin, Heidelberg :  |b Springer-Verlag,  |c 1989. 
300 |a 1 online resource :  |b v.: digital. 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a computer  |b c  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/c 
338 |a online resource  |b cr  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/cr 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 349 
505 0 |a Invited Presentations -- Contributed Papers: Semantics 1. Computational Geometry. Structures. Automata Theory. Parallel Algorithms. Complexity 1. Complexity 2. Distributed Computing. Fault Tolerance. Semantics 2. Completeness. Concurrency. Formal Languages. Graph Algorithms -- Systems -- Author Index. 
520 |a This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: computational geometry, automata theory and formal languages, semantics of programming languages, parallel algorithms, graph algorithms, complexity, structures, fault tolerance, completeness, distributed computing and concurrency. 
504 |a Includes bibliographical references. 
650 0 |a Computer science.  |0 http://id.loc.gov/authorities/subjects/sh89003285 
650 0 |a Microprogramming.  |0 http://id.loc.gov/authorities/subjects/sh85084900 
650 0 |a Computer software.  |0 http://id.loc.gov/authorities/subjects/sh85029534 
650 0 |a Logic design.  |0 http://id.loc.gov/authorities/subjects/sh85078117 
650 0 |a Combinatorial analysis.  |0 http://id.loc.gov/authorities/subjects/sh85028802 
650 1 4 |a Computer Science. 
650 2 4 |a Computation by Abstract Devices. 
650 2 4 |a Algorithm Analysis and Problem Complexity. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Control Structures and Microprogramming. 
650 7 |a Combinatorial analysis.  |2 fast  |0 (OCoLC)fst00868961 
650 7 |a Computer science.  |2 fast  |0 (OCoLC)fst00872451 
650 7 |a Computer software.  |2 fast  |0 (OCoLC)fst00872527 
650 7 |a Logic design.  |2 fast  |0 (OCoLC)fst01002045 
650 7 |a Microprogramming.  |2 fast  |0 (OCoLC)fst01020033 
655 4 |a Electronic books. 
700 1 |a Monien, B.  |0 http://id.loc.gov/authorities/names/n85334417  |1 http://viaf.org/viaf/72600866 
700 1 |a Cori, Robert.  |0 http://id.loc.gov/authorities/names/n82154787  |1 http://viaf.org/viaf/12388489 
776 0 8 |i Print version:  |a Symposium on Theoretical Aspects of Computer Science (6th : 1989 : Paderborn, Germany).  |t STACS 89.  |d Berlin, Heidelberg : Springer-Verlag, 1989  |w (OCoLC)19294937 
830 0 |a Lecture notes in computer science ;  |v 349.  |x 0302-9743 
856 4 0 |u http://link.springer.com/10.1007/BFb0028968  |y SpringerLink 
903 |a HeVa 
929 |a eresource 
999 f f |i 12c7d9a0-4da8-5778-a048-f5827a2f9053  |s f82f5d19-e0ec-5aee-9c35-6cbd32f8c1fa 
928 |t Library of Congress classification  |a QA75.5  |l Online  |c UC-FullText  |u http://link.springer.com/10.1007/BFb0028968  |z SpringerLink  |g ebooks  |i 9888317