Skip to contents Teich, Jürgen [Author] Digitale Hardware/Software-Systeme : Synthese und Optimierung ; mit 12 Tabellen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Springer-Lehrbuch Teich, Jürgen [Author]; Haubelt, Christian [Author] Digitale Hardware/Software-Systeme : Synthese und Optimierung ; mit 14 Tabellen - [2., erw. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2007 Published in: eXamen.press Garcez, Edelweis Helena Ache [Author] A coverification framework Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1999 Vahid, Frank [Author]; Givargis, Tony [Author] Embedded system design : a unified hardware/software introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Wiley, 2002 Bouyssounouse, Bruno [Editor] Embedded systems design : the ARTIST roadmap for research and development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3436 Olderog, Ernst-Rüdiger [Editor] Correct system design : recent insights and advances Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1710 Gupta, Rajesh Kumar [Author] Co-synthesis of hardware and software for digital embedded systems - [2nd printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Kluwer, 1997 Published in: Kluwer international series in engineering and computer science ; 329.1997 Gupta, Rajesh Kumar [Author] Co-synthesis of hardware and software for digital embedded systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Kluwer Acad. Publ., 1995 Published in: Kluwer international series in engineering and computer science ; 329 Haubelt, Christian [Author]; Teich, Jürgen [Author] Digitale Hardware/Software-Systeme : Spezifikation und Verifikation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: eXamen.press López, Juan Carlos [Editor]; Hermida, Román [Other]; Geisselhardt, Walter [Other] Advanced techniques for embedded systems design and test Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Kluwer Academic Publ., 1998 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 Books 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 Books 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 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 Books 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Klemm, Reimund [Author] HW-SW-Codesign für effiziente bitstromorientierte Datenverarbeitung eingebetteter Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Vogt, 2012 Published in: Mobile Nachrichtenübertragung ; 57 Bultan, Tevfik [Editor]; Hsiung, Pao-Ann [Other] ; ATVA 9 2011 Taipeh Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6996 Lee, Yann-Hang [Editor] ; ICESS 3 2007 Taegu Embedded software and systems : third international conference, ICESS 2007, Daegu, Korea, May 14 - 16, 2007 ; proceedings Books 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 ; 4523 Gessler, Ralf [Author]; Mahr, Thomas [Author] Hardware-Software-Codesign : Entwicklung flexibler Mikroprozessor-FPGA-Hochleistungssysteme - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Vieweg, 2007 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 Books 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 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 Books 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
Teich, Jürgen [Author] Digitale Hardware/Software-Systeme : Synthese und Optimierung ; mit 12 Tabellen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Springer-Lehrbuch
Teich, Jürgen [Author]; Haubelt, Christian [Author] Digitale Hardware/Software-Systeme : Synthese und Optimierung ; mit 14 Tabellen - [2., erw. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2007 Published in: eXamen.press
Garcez, Edelweis Helena Ache [Author] A coverification framework Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1999
Vahid, Frank [Author]; Givargis, Tony [Author] Embedded system design : a unified hardware/software introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Wiley, 2002
Bouyssounouse, Bruno [Editor] Embedded systems design : the ARTIST roadmap for research and development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3436
Olderog, Ernst-Rüdiger [Editor] Correct system design : recent insights and advances Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1710
Gupta, Rajesh Kumar [Author] Co-synthesis of hardware and software for digital embedded systems - [2nd printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Kluwer, 1997 Published in: Kluwer international series in engineering and computer science ; 329.1997
Gupta, Rajesh Kumar [Author] Co-synthesis of hardware and software for digital embedded systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Kluwer Acad. Publ., 1995 Published in: Kluwer international series in engineering and computer science ; 329
Haubelt, Christian [Author]; Teich, Jürgen [Author] Digitale Hardware/Software-Systeme : Spezifikation und Verifikation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: eXamen.press
López, Juan Carlos [Editor]; Hermida, Román [Other]; Geisselhardt, Walter [Other] Advanced techniques for embedded systems design and test Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Kluwer Academic Publ., 1998
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 Books 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 Books 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
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 Books 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003
Klemm, Reimund [Author] HW-SW-Codesign für effiziente bitstromorientierte Datenverarbeitung eingebetteter Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Vogt, 2012 Published in: Mobile Nachrichtenübertragung ; 57
Bultan, Tevfik [Editor]; Hsiung, Pao-Ann [Other] ; ATVA 9 2011 Taipeh Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6996
Lee, Yann-Hang [Editor] ; ICESS 3 2007 Taegu Embedded software and systems : third international conference, ICESS 2007, Daegu, Korea, May 14 - 16, 2007 ; proceedings Books 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 ; 4523
Gessler, Ralf [Author]; Mahr, Thomas [Author] Hardware-Software-Codesign : Entwicklung flexibler Mikroprozessor-FPGA-Hochleistungssysteme - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Vieweg, 2007
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 Books 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
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 Books 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
> Media type Skip to next facet Books (70) Wert ausschließen Thesis (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (9) Wert ausschließen Stack Collection (31) Wert ausschließen Ask for availability (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (36) Wert ausschließen Central Library (2) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (9) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (25) Wert ausschließen Show more show less
> Language Skip to next facet English (61) Wert ausschließen German (13) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (47) Wert ausschließen Technology (22) Wert ausschließen Mathmatics (13) Wert ausschließen General sciences (1) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen Show more show less
> Creator Skip to next facet Vassiliadis, Stamatis (6) Wert ausschließen Yang, Laurence Tianruo (6) Wert ausschließen Teich, Jürgen (5) Wert ausschließen Wong, Stephan (5) Wert ausschließen Bereković, Mladen (4) Wert ausschließen Dimopoulos, Nikitas (4) Wert ausschließen Guo, Minyi (4) Wert ausschließen Hämäläinen, Timo D. (4) Wert ausschließen Haubelt, Christian (3) Wert ausschließen Steffen, Bernhard (3) Wert ausschließen Ada Europe (2) Wert ausschließen Bertels, Koen (2) Wert ausschließen Bouyssounouse, Bruno (2) Wert ausschließen Bräunl, Thomas (2) Wert ausschließen Bultan, Tevfik (2) Wert ausschließen Cernat, Mihai (2) Wert ausschließen Choi, Jin-Young (2) Wert ausschließen Davidson, Jack (2) Wert ausschließen Denko, Mieso K. (2) Wert ausschließen Deprettere, Ed F. (2) Wert ausschließen EUC 2007 Taipeh (2) Wert ausschließen Fengler, Wolfgang (2) Wert ausschließen González Harbour, Michael (2) Wert ausschließen Graf, Susanne (2) Wert ausschließen Gupta, Rajesh Kumar (2) Wert ausschließen Higashino, Teruo (2) Wert ausschließen Hsiung, Pao-Ann (2) Wert ausschließen Hung, Shih-Hao (2) Wert ausschließen Hutchison, David (2) Wert ausschließen Hämäläinen, Timo (2) Wert ausschließen Kanade, Takeo (2) Wert ausschließen Kim, Moonzoo (2) Wert ausschließen Kirchhoff, Michael (2) Wert ausschließen Kittler, Josef (2) Wert ausschließen Kleinberg, Jon (2) Wert ausschließen Ko, Young-Bae (2) Wert ausschließen Kuo, Tei-Wei (2) Wert ausschließen Lee, Insup (2) Wert ausschließen Lee, Yann-Hang (2) Wert ausschließen Li, Kuan-Ching (2) Wert ausschließen Liu, Zhiming (2) Wert ausschließen Mattern, Friedemann (2) Wert ausschließen Mitchell, John C. (2) Wert ausschließen Mitschele-Thiel, Andreas (2) Wert ausschließen Namjoshi, Kedar S. (2) Wert ausschließen Naor, Moni (2) Wert ausschließen Nauth, Peter (2) Wert ausschließen Nierstrasz, Oscar (2) Wert ausschließen Okamura, Yoshio (2) Wert ausschließen Olderog, Ernst-Rüdiger (2) Wert ausschließen Pandu Rangan, C. (2) Wert ausschließen Park, Soo-Hyun (2) Wert ausschließen Peled, Doron (2) Wert ausschließen Ravn, Anders P. (2) Wert ausschließen Schepers, Henk (2) Wert ausschließen Sha, Edwin (2) Wert ausschließen Shao, Zili (2) Wert ausschließen Silvano, Cristina (2) Wert ausschließen Sudan, Madhu (2) Wert ausschließen Terzopoulos, Demetri (2) Wert ausschließen Tsao, Shiao-Li (2) Wert ausschließen Tygar, Doug (2) Wert ausschließen Vardi, Moshe Y. (2) Wert ausschließen Viswanathan, Mahesh (2) Wert ausschließen Weikum, Gerhard (2) Wert ausschließen Yoneda, Tomohiro (2) Wert ausschließen Zeng, Qing-An (2) Wert ausschließen Zhang, Wenhui (2) Wert ausschließen ATVA 3 2005 Taipeh (1) Wert ausschließen ATVA 4 2006 Peking (1) Wert ausschließen ATVA 5 2007 Tokio (1) Wert ausschließen ATVA 6 2008 Seoul (1) Wert ausschließen ATVA 7 2009 Macau (1) Wert ausschließen ATVA 9 2011 Taipeh (1) Wert ausschließen Amamiya, Makoto (1) Wert ausschließen Association for Computing Machinery Special Interest Group on Programming Languages (1) Wert ausschließen Bartsch, Christian (1) Wert ausschließen Brinkschulte, Uwe (1) Wert ausschließen Cassez, Franck (1) Wert ausschließen Cha, Sungdeok (1) Wert ausschließen Cha, Sungdeok (Steve) (1) Wert ausschließen Davidson, Jack W. (1) Wert ausschließen De la Puente, Juan A. (1) Wert ausschließen Diniz, Pedro (1) Wert ausschließen EUC 2004 Aizu-Wakamatsu (1) Wert ausschließen EUC 2005 Nagasaki (1) Wert ausschließen Förster, Stefan (1) Wert ausschließen Gao, Guang R. (1) Wert ausschließen Garcez, Edelweis Helena Ache (1) Wert ausschließen Geisselhardt, Walter (1) Wert ausschließen Gessler, Ralf (1) Wert ausschließen Givargis, Tony (1) Wert ausschließen Göhringer, Diana (1) Wert ausschließen Herkersdorf, Andreas (1) Wert ausschließen Hermida, Román (1) Wert ausschließen ICESS 3 2007 Taegu (1) Wert ausschließen International Conference on Reliable Software Technologies 4 1999 Santander (1) Wert ausschließen International Conference on Reliable Software Technologies 5 2000 Potsdam (1) Wert ausschließen International Workshop SAMOS 5 2005 Agios Konstantinos (1) Wert ausschließen International Workshop SAMOS 6 2006 Agios Konstantinos (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (67) Wert ausschließen Lizenzfreie Online-Ressourcen (4) Wert ausschließen Diss online (3) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen Digital Library Thüringen (1) Wert ausschließen RUB-Repository (Ruhr-Universität Bochum) (1) Wert ausschließen Show more show less