STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

By: (5th : Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France)
Contributor(s): Cori, Robert | Wirsing, M. (Martin)
Material type: TextTextLanguage: English, French Series: SerienbezeichnungLecture notes in computer science: 294.Publisher: Berlin, Heidelberg : Springer-Verlag, 1988Description: 1 online resource : v.: digitalContent type: text Media type: computer Carrier type: online resourceISBN: 9783540481904; 3540481907Subject(s): Computer science | Microprogramming | Computer software | Logic design | Algebra -- Data processing | Combinatorial analysis | Ordinateurs -- Congrès | Informatique -- Congrès | Algebra -- Data processing | Combinatorial analysis | Computer science | Computer software | Logic design | Microprogramming | Informatique. -- Congrès | Ordinateurs. -- CongrèsGenre/Form: Electronic books. Additional physical formats: Print version:: STACS 88DDC classification: 004 LOC classification: QA75.5 | .S958 1988Other classification: 54.10 | 54.00 | *00B25 | 68-06 Online resources: Click here to access online
Contents:
Algorithms -- Complexity -- Formal Languages -- Rewriting Systems and Abstract Data Types -- Graph Grammars -- Distributed Algorithms -- Geometrical Algorithms -- Trace Languages -- Semantics of Parallelism -- Systems Demonstrations.
Action note: digitized 2011 committed to preserveSummary: This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. 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: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references.

Algorithms -- Complexity -- Formal Languages -- Rewriting Systems and Abstract Data Types -- Graph Grammars -- Distributed Algorithms -- Geometrical Algorithms -- Trace Languages -- Semantics of Parallelism -- Systems Demonstrations.

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. 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: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.

Two articles in French.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2011. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL

There are no comments for this item.

to post a comment.

Powered by Koha