JuLib | Books & more - {*}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Book

Artificial intelligence AND Computer aided design AND Logic design

Reset Filters

Show filters (4)

Book

Artificial intelligence AND Computer aided design AND Logic design

Ask a Librarian

Books & more: Hits 1 - 10 of 10

sort by

Select all titles on this page

Select result number 1

1

Correct Hardware Design and Verification Methods [E-Book] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /

E-Book

Correct Hardware Design and Verification Methods [E-Book] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /

Geist, Daniel.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Correct Hardware Design and Verification Methods [E-Book] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings /

E-Book

Correct Hardware Design and Verification Methods [E-Book] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Procee...

Margaria, Tiziana.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Evolvable Systems: From Biology to Hardware [E-Book] : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings /

E-Book

Evolvable Systems: From Biology to Hardware [E-Book] : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings /

Haddow, Pauline C.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Computer Aided Systems Theory – EUROCAST 2007 [E-Book] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /

E-Book

Computer Aided Systems Theory – EUROCAST 2007 [E-Book] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Re...

Moreno Díaz, Roberto
2007

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Computer Aided Systems Theory - EUROCAST 2003 [E-Book] : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers /

E-Book

Computer Aided Systems Theory - EUROCAST 2003 [E-Book] : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revis...

Moreno Diaz, Robeto.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Evolvable Systems: From Biology to Hardware [E-Book] / 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings

E-Book

Evolvable Systems: From Biology to Hardware [E-Book] / 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings

Cosp, Jordi.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Formal Methods in Computer-Aided Design [E-Book] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /

E-Book

Formal Methods in Computer-Aided Design [E-Book] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /

Hu, Alan J.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Evolvable Systems: From Biology to Hardware [E-Book] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings /

E-Book

Evolvable Systems: From Biology to Hardware [E-Book] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings /

Kang, Lishan
2007

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Computer Aided Systems Theory - EUROCAST 2005 [E-Book] / 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers

E-Book

Computer Aided Systems Theory - EUROCAST 2005 [E-Book] / 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Rev...

Moreno-Díaz, Roberto.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Correct Hardware Design and Verification Methods [E-Book] / 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

E-Book

Correct Hardware Design and Verification Methods [E-Book] / 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceeding...

Borrione, Dominique.
2005

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

Narrow Search Results

Electronic Edition 10

Book

Conference Publication 10

From:

To:

Pichler, Franz 2 Quesada Arencibia, Alexis 2 Borrione, Dominique. 1 Cosp, Jordi. 1 Geist, Daniel. 1 Haddow, Pauline C. 1 more ... Hu, Alan J. 1 Kang, Lishan 1 Liu, Yong 1 Madrenas, Jordi 1 Margaria, Tiziana. 1 Martin, Andrew K. 1 Melham, Tom. 1 Moreno Diaz, Robeto. 1 Moreno Díaz, Roberto 1 Moreno, J. Manuel 1 Moreno-Díaz, Roberto. 1 Paul, Wolfgang 1 Pichler, Franz. 1 Torresen, Jim. 1 Tronci, Enrico. 1 Tyrrell, Andy M. 1 Zeng, Sanyou 1 see all ... less ...

Artificial intelligence Computer aided design Computer science 10 Logic design Computer simulation 6 Computer hardware 4 more ... Software engineering 4 Bioinformatics 3 Optical pattern recognition 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...