Coverart for item
The Resource Computer aided systems theory--EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers, Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire (eds.)

Computer aided systems theory--EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers, Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire (eds.)

Label
Computer aided systems theory--EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers
Title
Computer aided systems theory--EUROCAST 2001
Title remainder
a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers
Statement of responsibility
Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire (eds.)
Title variation
EUROCAST 2001
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Illustrations
illustrations
Index
index present
LC call number
  • TA345
  • QA76
LC item number
  • .I583 2001
  • .L4 no.2178
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
International Workshop on Computer Aided Systems Theory
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1943-
http://library.link/vocab/relatedWorkOrContributorName
  • Moreno-Díaz, Roberto
  • Buchberger, Bruno
  • Freire, José-Luis
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
2178.
http://library.link/vocab/subjectName
  • Computer-aided engineering
  • Computer-aided design
  • programmation fonctionnelle
  • démonstration théorème
  • calcul formel
  • lambda calcul
  • réseau neuronal
  • théorie complexité
  • théorie décision
  • CAST
  • CAO
  • Ingénierie assistée par ordinateur
  • Conception assistée par ordinateur
  • Computer-aided design
  • Computer-aided engineering
  • Computers
  • Systeemtheorie
  • Conception assistée par ordinateur
  • CAST
  • Kongreß
Label
Computer aided systems theory--EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers, Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 670 pages
Isbn
9783540429593
Lccn
2002510390
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)50347973
  • (OCoLC)ocm50347973
Label
Computer aided systems theory--EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers, Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 670 pages
Isbn
9783540429593
Lccn
2002510390
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)50347973
  • (OCoLC)ocm50347973

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...