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#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.