Clear Search

Books+ Search Results

Format: Is
Is Is Not
Books
Location: Is
Is Is Not
Marx Library
Subject with Hierarchy: Is
Is Is Not
Computer-aided design > Congresses

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Computer aided systems theory -- EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005 : revised selected papers
Author
International Workshop on Computer Aided Systems Theory (10th : 2005 : Las Palmas, Canary Islands)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3643 (LC)
Format
Books
2.
Cooperative design, visualization, and engineering : second international conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005 : proceedings
Author
CDVE 2005 (2005 : Palma de Mallorca, Spain)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3675 (LC)
Format
Books
3.
Geometric and algorithmic aspects of computer-aided design and manufacturing : DIMACS Workshop Computer Aided Design and Manufacturing, October 7-9, 2003, Piscataway, New Jersey
Author
DIMACS Workshop Computer Aided Design and Manufacturing (2003 : Piscataway, N.J.)
Published
Providence, R.I. : American Mathematical Society, c2005.
Location
Library Shelving Facility (LSF) >> TA174 .D498X 2003 (LC)
Format
Books
4.
Cooperative design, visualization, and engineering : first international conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004 : proceedings
Author
CDVE 2004 (2004 : Palma de Mallorca, Spain)
Published
Berlin ; New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3190 (LC)
Format
Books
5.
Computer aided systems theory--EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers
Author
International Workshop on Computer Aided Systems Theory (9th : 2003 : Las Palmas, Canary Islands)
Published
Berlin ; New York : Springer-Verlag, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2809 (LC)
Format
Books
6.
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
Author
International Workshop on Computer Aided Systems Theory (8th : 2001 : Las Palmas (Canary Islands)
Published
Berlin : Springer, 2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2178 (LC)
Format
Books
7.
Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings
Author
International Workshop on Computer Aided Systems Theory (7th : 1999 : Vienna, Austria)
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1798 (LC)
Format
Books
8.
Integrated circuit design : power and timing modeling, optimization and simulation : 10th international workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings
Author
PATMOS 2000 (2000 : Göttingen, Germany)
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1918 (LC)
Format
Books
9.
Computer aided systems theory EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997 : proceedings
Author
International Workshop on Computer Aided Systems Theory (6th : 1997 : Las Palmas (Canary Islands))
Published
Berlin ; New York : Springer Verlag, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1333 (LC)
Format
Books
10.
Computer aided systems theory : CAST'94 : 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers
Published
New York : Springer, 1996.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1105 (LC)
Format
Books
11.
Computer aided systems theory--EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings
Author
International Workshop on Computer Aided Systems Theory (5rd : 1995 : Innsbruck, Austria)
Published
Berlin ; New York : Springer Verlag, c1996.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1030 (LC)
Format
Books
12.
Emergent computing methods in engineering design : applications of genetic algorithms and neural networks
Published
Berlin ; New York : Springer, c1996.
Location
Library Shelving Facility (LSF) >> TA174 E44X 1994 (LC)
Format
Books
13.
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
Author
FMCAD '96 (1996 : Palo Alto, Calif.)
Published
Berlin ; New York : Springer, c1996.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1166 (LC)
Format
Books
14.
Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
Author
Advanced Research Working Conference on Correct Hardware Design Methodologies (1995 : Frankfurt/Main, Germany)
Published
Berlin ; New York : Springer, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 987 (LC)
Format
Books
15.
Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 901 (LC)
Format
Books
16.
Computer aided conceptual design : proceedings of the 1994 Lancaster International Workshop on Engineering Design, CACD '94, 11th-13th April 1994
Author
International Workshop on Engineering Design (1994 : Lancaster, England)
Published
Lancaster [England] : Lancaster University Engineering Design Centre, c1994.
Location
Library Shelving Facility (LSF) >> TA174 L34 1994 (LC)
Format
Books
17.
Computer aided design in composite material technology IV
Author
International Conference on Computer Aided Design in Composite Material Technology (4th : 1994 : Southampton, England)
Published
Southampton ; Boston : Computational Mechanics Publications, c1994.
Location
Library Shelving Facility (LSF) >> TA664 I575X 1994 (LC)
Format
Books
18.
Computer aided systems theory--EUROCAST '93 : a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings
Author
International Workshop on Computer Aided Systems Theory (3rd : 1993 : Las Palmas, Spain)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 763 (LC)
Format
Books
19.
Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings
Author
CHARME '93 (1993 : Arles, France)
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 683 (LC)
Format
Books
20.
Computer aided systems theory, EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings
Author
International Workshop on Computer Aided Systems Theory (2nd : 1991 : Krems an der Donau, Austria)
Published
Berlin ; New York : Springer-Verlag, 1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 585 (LC)
Format
Books
21.
Geometric aspects of industrial design
Published
Philadelphia : Society for Industrial and Applied Mathematics, c1992.
Location
Library Shelving Facility (LSF) >> TS171 A1 G46X 1992 (LC)
Format
Books
22.
Computer-aided verification : proceedings
Author
CAV (Conference) (1990 : Center for Discrete Mathematics and Theoretical Computer Science)
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 531 (LC)
Format
Books
23.
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
Author
CAV (Conference) (1990 : Center for Discrete Mathematics and Theoretical Computer Science)
Published
Providence, RI : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery, 1991.
Location
Library Shelving Facility (LSF) >> TK7874 D553X 1990 (LC)
Format
Books
24.
The proceedings of the European Design Automation Conference : Glasgow, Scotland, 12-15 March, 1990
Author
European Design Automation Conference (1st : 1990 : Glasgow, Scotland)
Published
Washington, DC : IEEE Computer Society Press, c1990.
Location
Library Shelving Facility (LSF) >> TA174 E88 1990 (LC)+ Oversize
Format
Books
25.
Computer aided design and manufacture
Author
Seminar on Computer Aided Design and Manufacture (1986 : Madras, India)
Published
Singapore : Committee on Science and Technology in Developing Countries, c1987.
Location
Library Shelving Facility (LSF) >> TS155.6 S464X 1986 (LC)
Format
Books