Skip to contents

Rozenblit, Jerzy [Editor] ; International Workshop on Software, Hardware Codesign 1 1992 Grassau

Codesign : computer-aided software/hardware engineering - [1. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Piscataway, NJ: IEEE Press, 1995
DeMicheli, Giovanni [Other]; Sami, Mariagiovanna [Other]; De Micheli, Giovanni [Editor] ; Advanced Study Institute on Hardware Software Co-Design 1995 Tremezzo

Hardware/software co-design : [proceedings of the NATO Advanced Study Institute on Hardware/Software Co-design, Tremezzo, Italy, June 19-30, 1995]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Acad. Publ., 1996

Published in: NATO: NATO ASI series / E ; 310
Bertels, Koen [Editor]; Dimopoulos, Nikitas [Other]; Silvano, Cristina [Other]; Wong, Stephan [Other] ; International Workshop SAMOS 9 2009 Agios Konstantinos, International Workshop SAMOS 9 2009 Samos

Embedded computer systems: architectures, modeling, and simulation : 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5657
Bereković, Mladen [Editor]; Dimopoulos, Nikitas [Other]; Wong, Stephen [Other] ; International Workshop SAMOS 8 2008 Agios Konstantinos

Embedded computer systems: architectures, modeling, and simulation : 8th international workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5114
Ijspeert, Auke Jan [Editor] ; BioADIT 2 2006 Osaka

Biologically inspired approaches to advanced information technology : second international workshop, BioADIT 2006, Osaka, Japan, January 26 - 27, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2006

Published in: Lecture notes in computer science ; 3853
Nedjah, Nadia [Author] ; Mourelle, Luiza de Macedo [Other]; Macedo Mourelle, Luiza de [Other]

Co-design for system acceleration : a quantitative approach

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht: Springer, 2007
Yang, Laurence Tianruo [Editor] ; EUC 2004 Aizu-Wakamatsu

Embedded and ubiquitous computing : international conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25 - 27, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 3207
Bräunl, Thomas [Author]

Embedded robotics : mobile robot design and applications with embedded systems ; with 24 tables

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003
Petrenko, Alexandre [Editor] ; International Workshop on Formal Approaches to Testing of Software 3 2003 Montréal

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2931
Jeuring, Johan [Other] ; MPC 4 1998 Marstrand

Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1422
Menge, Matthias [Author]

Moderne Prozessorarchitekturen : Prinzipien und ihre Realisierungen ; mit 12 Tabellen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005
Gessler, Ralf [Author]; Mahr, Thomas [Author]

Hardware-Software-Codesign : Entwicklung flexibler Mikroprozessor-FPGA-Hochleistungssysteme - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg, 2007
Liu, Zhiming [Editor]; Ravn, Anders P. [Other] ; ATVA 7 2009 Macau

Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5799
Namjoshi, Kedar S. [Editor]; Yoneda, Tomohiro [Other]; Higashino, Teruo [Other]; Okamura, Yoshio [Other] ; ATVA 5 2007 Tokio

Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4762
Cha, Sungdeok [Editor]; Choi, Jin-Young [Other]; Kim, Moonzoo [Other]; Lee, Insup [Other]; Viswanathan, Mahesh [Other] ; ATVA 6 2008 Seoul

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5311
Vassiliadis, Stamatis [Editor]; Bereković, Mladen [Other]; Hämäläinen, Timo D. [Other] ; International Workshop SAMOS 7 2007 Agios Konstantinos

Embedded computer systems: architectures, modeling, and simulation : 7th international workshop, SAMOS 2007, Samos, Greece, July 16 - 19, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4599
Bräunl, Thomas [Author]

Embedded robotics : mobile robot design and applications with embedded systems : with 32 tables - [3. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008
Leivant, Daniel [Editor]; Queiroz, Ruy de [Other] ; WoLLIC 14 2007 Rio de Janeiro

Logic, language, information and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4576
Graf, Susanne [Editor]; Zhang, Wenhui [Other] ; ATVA 4 2006 Peking

Automated technology for verification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4218
Vassiliadis, Stamatis [Editor]; Wong, Stephan [Other]; Hämäläinen, Timo D. [Other] ; International Workshop SAMOS 6 2006 Agios Konstantinos

Embedded computer systems: architectures, modeling, and simulation : 6th international workshop, SAMOS 2006, Samos, Greece, July 17 - 20, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4017

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication