skip to content
Handbook of theoretical computer science Preview this item
ClosePreview this item
Checking...

Handbook of theoretical computer science

Author: Jan van Leeuwen
Publisher: Cambridge, Mass. : MIT Press, ©1990.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Presents information on the theory of automata and rewriting systems, the foundations of modern programming languages and logics for program specification and verification. This work contains  Read more...

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Matériel didactique
Document Type: Book
All Authors / Contributors: Jan van Leeuwen
ISBN: 0444880755 9780444880758 0444880712 9780444880710 0444880747 9780444880741 0262220407 9780262220408 0262220385 9780262220385 0262220393 9780262220392
OCLC Number: 299450984
Description: 2 v
Contents: Dépouillement: v. A. Algorithms and complexity. --
v. B. Formal models and semantics. Dépouillement: Vol. A. Algorithms and complexity. --
v. B. Formal models and semantics.
Other Titles: Algorithms and complexity
Formal models and semantics
Responsibility: edited by Jan van Leeuwen.

Reviews

Editorial reviews

Publisher Synopsis

Addressing the central areas of theoretical computer science, the handbook provides the student or professional with a comprehensive perspective on the main results and developments in this field. Read more...

 
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/299450984> # Handbook of theoretical computer science
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "299450984" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/690616505#Place/cambridge_mass> ; # Cambridge, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/graphique> ; # Graphique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/semantique> ; # Semantique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/complexite> ; # Complexite
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/geometrie> ; # Geometrie
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/reecriture> ; # Reecriture
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/cryptographie> ; # Cryptographie
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/langage> ; # Langage
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/handbook> ; # Handbook
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/vlsi> ; # Vlsi
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/analyse> ; # Analyse
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/theorie> ; # Theorie
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/temporel> ; # Temporel
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/fonction> ; # Fonction
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/algorithmique> ; # Algorithmique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/algorithmes> ; # Algorithmes
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/programmation> ; # Programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/robotique> ; # Robotique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/algorithme> ; # Algorithme
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/logique> ; # Logique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/reseau> ; # Reseau
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/modele> ; # Modele
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/calcul> ; # Calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/automatisation> ; # Automatisation
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/donnee> ; # Donnee
    schema:about <http://dewey.info/class/004/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/formel> ; # Formel
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/fini> ; # Fini
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/kolmogorov> ; # Kolmogorov
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/automate> ; # Automate
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/simulation> ; # Simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/nombre> ; # Nombre
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/theorique> ; # Theorique
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/structure> ; # Structure
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/lambda> ; # Lambda
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/machine> ; # Machine
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/parallele> ; # Parallele
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/architecture> ; # Architecture
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/algorithme> ; # Algorithme
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/complexite> ; # Complexité
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/mouvement> ; # Mouvement
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Thing/systeme> ; # Systeme
    schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/informatique_theorique> ; # informatique théorique
    schema:alternateName "Formal models and semantics" ;
    schema:alternateName "Algorithms and complexity" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/91476227> ; # Jan van Leeuwen
    schema:copyrightYear "1990" ;
    schema:datePublished "1990" ;
    schema:description "Dépouillement: Vol. A. Algorithms and complexity. -- v. B. Formal models and semantics." ;
    schema:description "Dépouillement: v. A. Algorithms and complexity. -- v. B. Formal models and semantics." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/690616505> ;
    schema:genre "Matériel didactique"@fr ;
    schema:inLanguage "en" ;
    schema:name "Handbook of theoretical computer science" ;
    schema:productID "299450984" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/299450984#PublicationEvent/cambridge_mass_mit_press_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/690616505#Agent/mit_press> ; # MIT Press
    schema:workExample <http://worldcat.org/isbn/9780444880741> ;
    schema:workExample <http://worldcat.org/isbn/9780262220392> ;
    schema:workExample <http://worldcat.org/isbn/9780444880758> ;
    schema:workExample <http://worldcat.org/isbn/9780262220385> ;
    schema:workExample <http://worldcat.org/isbn/9780262220408> ;
    schema:workExample <http://worldcat.org/isbn/9780444880710> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/299450984> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/690616505#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Thing/automatisation> # Automatisation
    a schema:Thing ;
    schema:name "Automatisation" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/informatique> # Informatique
    a schema:Intangible ;
    schema:name "Informatique" ;
    schema:name "Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/informatique_theorique> # informatique théorique
    a schema:Intangible ;
    schema:name "informatique théorique" ;
    schema:name "Informatique théorique" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
    schema:name "Langages de programmation--Sémantique" ;
    .

<http://viaf.org/viaf/91476227> # Jan van Leeuwen
    a schema:Person ;
    schema:familyName "Leeuwen" ;
    schema:givenName "Jan van" ;
    schema:name "Jan van Leeuwen" ;
    .

<http://worldcat.org/isbn/9780262220385>
    a schema:ProductModel ;
    schema:isbn "0262220385" ;
    schema:isbn "9780262220385" ;
    .

<http://worldcat.org/isbn/9780262220392>
    a schema:ProductModel ;
    schema:isbn "0262220393" ;
    schema:isbn "9780262220392" ;
    .

<http://worldcat.org/isbn/9780262220408>
    a schema:ProductModel ;
    schema:isbn "0262220407" ;
    schema:isbn "9780262220408" ;
    .

<http://worldcat.org/isbn/9780444880710>
    a schema:ProductModel ;
    schema:isbn "0444880712" ;
    schema:isbn "9780444880710" ;
    .

<http://worldcat.org/isbn/9780444880741>
    a schema:ProductModel ;
    schema:isbn "0444880747" ;
    schema:isbn "9780444880741" ;
    .

<http://worldcat.org/isbn/9780444880758>
    a schema:ProductModel ;
    schema:isbn "0444880755" ;
    schema:isbn "9780444880758" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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