skip to content
Computer Aided Systems Theory EUROCAST 2001 00 : a Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 1923, 2001 Revised Papers Preview this item
ClosePreview this item
Checking...

Computer Aided Systems Theory EUROCAST 2001 00 : a Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 1923, 2001 Revised Papers

Author: Roberto Moreno-Daz; Bruno Buchberger; Jos Luis Freire
Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2001.
Series: Lecture notes in computer science, 2178
Edition/Format:   eBook : Document : English
Summary:
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001. The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory,  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: Electronic books
Conference papers and proceedings
Congresses
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Roberto Moreno-Daz; Bruno Buchberger; Jos Luis Freire
ISBN: 9783540456544 3540456546
OCLC Number: 771192279
Description: 1 online resource.
Series Title: Lecture notes in computer science, 2178
Responsibility: edited by Roberto Moreno-Daz, Bruno Buchberger, Jos Luis Freire.

Abstract:

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001. The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.

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/771192279> # Computer Aided Systems Theory EUROCAST 2001 00 : a Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 1923, 2001 Revised Papers
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "771192279" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1070812277#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1070812277#Place/heidelberg> ; # Heidelberg
   schema:about <http://dewey.info/class/003.3/e23/> ;
   schema:about <http://id.worldcat.org/fast/872701> ; # Computer-aided design
   schema:about <http://experiment.worldcat.org/entity/work/data/1070812277#Topic/computer_aided_engineering> ; # Computer-aided engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/1070812277#Topic/computer_aided_design> ; # Computer-aided design
   schema:about <http://id.worldcat.org/fast/872718> ; # Computer-aided engineering
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1070812277#Person/moreno_daz_roberto> ; # Roberto Moreno-Daz
   schema:contributor <http://viaf.org/viaf/108690106> ; # Bruno Buchberger
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1070812277#Person/luis_freire_jos> ; # Jos Luis Freire
   schema:datePublished "2001" ;
   schema:description "This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001. The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1070812277> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Computer Aided Systems Theory EUROCAST 2001 00 : a Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 1923, 2001 Revised Papers"@en ;
   schema:productID "771192279" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/771192279#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1070812277#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/3-540-45654-6> ;
   schema:url <http://link.springer.com/10.1007/3-540-45654-6> ;
   schema:workExample <http://worldcat.org/isbn/9783540456544> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/771192279> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1070812277#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/1070812277#Person/luis_freire_jos> # Jos Luis Freire
    a schema:Person ;
   schema:familyName "Luis Freire" ;
   schema:givenName "Jos" ;
   schema:name "Jos Luis Freire" ;
    .

<http://experiment.worldcat.org/entity/work/data/1070812277#Person/moreno_daz_roberto> # Roberto Moreno-Daz
    a schema:Person ;
   schema:familyName "Moreno-Daz" ;
   schema:givenName "Roberto" ;
   schema:name "Roberto Moreno-Daz" ;
    .

<http://id.worldcat.org/fast/872701> # Computer-aided design
    a schema:Intangible ;
   schema:name "Computer-aided design"@en ;
    .

<http://id.worldcat.org/fast/872718> # Computer-aided engineering
    a schema:Intangible ;
   schema:name "Computer-aided engineering"@en ;
    .

<http://viaf.org/viaf/108690106> # Bruno Buchberger
    a schema:Person ;
   schema:familyName "Buchberger" ;
   schema:givenName "Bruno" ;
   schema:name "Bruno Buchberger" ;
    .

<http://worldcat.org/isbn/9783540456544>
    a schema:ProductModel ;
   schema:isbn "3540456546" ;
   schema:isbn "9783540456544" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/771192279> ; # Computer Aided Systems Theory EUROCAST 2001 00 : a Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 1923, 2001 Revised Papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/771192279>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/771192279> ; # Computer Aided Systems Theory EUROCAST 2001 00 : a Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 1923, 2001 Revised Papers
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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