Skip to contents Marwedel, Peter [Author] Embedded system design : embedded systems foundations of cyber-physical systems, and the Internet of Things - [Third edition] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham, Switzerland: Springer, [2018] Published in: Embedded systems Bringmann, Oliver [Author] ; Lange, Walter [Author] ; Bogdan, Martin [Author] ; De Gruyter Oldenbourg [Publisher] Eingebettete Systeme : Entwurf, Modellierung und Synthese - [3., durchgesehene und überarbeitete Auflage] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Boston: De Gruyter Oldenbourg, 2018 Published in: De Gruyter Studium Hempel, Gerald [Author] ; Technische Universität Dresden [Degree granting institution] Generation of application specific hardware extensions for hybrid architectures : the development of PIRANHA : a GCC plugin for high-level-synthesis Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, [2018?] Glaß, Michael [Author] ; Glaß, Michael [Other] Dependability-Aware System-Level Design for Embedded Systems - [1. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Dr. Hut, 2011 Published in: Informatik Marwedel, Peter [Author] Embedded system design : embedded systems foundations of cyber-physical systems - [2. ed.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht; Heidelberg [u.a.]: Springer, 2011 Published in: Embedded systems Thaller, Georg Erwin [Author] Software-Engineering für Echtzeit und Embedded Systems - [1. Aufl.] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kaarst: bhv, 1997 Published in: edition advanced Lange, Walter [Author] ; Bogdan, Martin [Author] Entwurf und Synthese von eingebetteten Systhemen : ein Lehrbuch Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg Verl., 2013 Vogel-Heuser, Birgit [Editor] Embedded systems / 1, Tagungen und Berichte, 1, Automation & embedded systems : Effizienzsteigerung im Engineering / Hrsg. von Birgit Vogel-Heuser Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kassel: univ. press, 2009 Published in: Embedded systems ; 1 Mutz, Martin [Author] Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich - [1. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2005 Rettberg, Achim [Editor] ; International Embedded Systems Symposium, 2, 2007, Irvine, Calif. [Other] Embedded system design: topics, techniques and trends : IFIP TC 10 working conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2007 Published in: International Federation for Information Processing: IFIP International Federation for Information Processing ; 231 Bukowiec, Arkadiusz [Editor] ; Borowik, Grzegorz [Other] ; Doligalski, Michał [Other] New trends in digital systems design - [Als Ms. gedr.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI-Verl., 2014 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 836 Kriesten, Daniel [Author] Systementwurf eingebetteter heterogener rekonfigurierbarer Systeme mit Linux-Betriebssystem am Beispiel einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chemnitz: Universitätsverlag Chemnitz, 2014 Guderian, Falko [Author] Developing a design flow for embedded systems Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Vogt, 2013 Published in: Beiträge aus der Informationstechnik / Mobile Nachrichtenübertragung ; 61 Farkas, Tibor [Author] ; Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS [Other] Regelbasierte Konformitätsprüfung kollaborativer Artefakte Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Fraunhofer-Verl., 2011 Published in: Fraunhofer-Fokus Bouyssounouse, Bruno [Editor] Embedded systems design : the ARTIST roadmap for research and development Media type: Books View online Schließen Close bookmarks > 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 Karakehayov, Zdravko [Author] ; Christensen, Knud Smed [Author] ; Winther, Ole [Author] Embedded systems design with 8051 microcontrollers : hardware and software Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY; Basel: Dekker, 1999 Published in: Electrical engineering and electronics ; 10800 Korff, Andreas [Author] ; Schacher, Markus [Other] Modellierung von eingebetteten Systemen mit UML und SysML Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Spektrum Akademischer Verlag, 2008 Bultan, Tevfik [Editor] ; Hsiung, Pao-Ann [Other] ; ATVA, 9, 2011, Taipeh [Other] Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings Media type: Books View online Schließen Close bookmarks > 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 Pohl, Klaus [Editor] Model-based engineering of embedded systems : the SPES 2020 methodology Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2012 Bondavalli, Andrea [Editor] ; Brasileiro, Francisco [Other] ; Rajsbaum, Sergio [Other] ; LADC, 3, 2007, Morelia [Other] Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; proceedings Media type: Books View online Schließen Close bookmarks > 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 ; 4746
Marwedel, Peter [Author] Embedded system design : embedded systems foundations of cyber-physical systems, and the Internet of Things - [Third edition] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham, Switzerland: Springer, [2018] Published in: Embedded systems
Bringmann, Oliver [Author] ; Lange, Walter [Author] ; Bogdan, Martin [Author] ; De Gruyter Oldenbourg [Publisher] Eingebettete Systeme : Entwurf, Modellierung und Synthese - [3., durchgesehene und überarbeitete Auflage] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Boston: De Gruyter Oldenbourg, 2018 Published in: De Gruyter Studium
Hempel, Gerald [Author] ; Technische Universität Dresden [Degree granting institution] Generation of application specific hardware extensions for hybrid architectures : the development of PIRANHA : a GCC plugin for high-level-synthesis Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, [2018?]
Glaß, Michael [Author] ; Glaß, Michael [Other] Dependability-Aware System-Level Design for Embedded Systems - [1. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Dr. Hut, 2011 Published in: Informatik
Marwedel, Peter [Author] Embedded system design : embedded systems foundations of cyber-physical systems - [2. ed.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht; Heidelberg [u.a.]: Springer, 2011 Published in: Embedded systems
Thaller, Georg Erwin [Author] Software-Engineering für Echtzeit und Embedded Systems - [1. Aufl.] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kaarst: bhv, 1997 Published in: edition advanced
Lange, Walter [Author] ; Bogdan, Martin [Author] Entwurf und Synthese von eingebetteten Systhemen : ein Lehrbuch Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg Verl., 2013
Vogel-Heuser, Birgit [Editor] Embedded systems / 1, Tagungen und Berichte, 1, Automation & embedded systems : Effizienzsteigerung im Engineering / Hrsg. von Birgit Vogel-Heuser Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kassel: univ. press, 2009 Published in: Embedded systems ; 1
Mutz, Martin [Author] Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich - [1. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2005
Rettberg, Achim [Editor] ; International Embedded Systems Symposium, 2, 2007, Irvine, Calif. [Other] Embedded system design: topics, techniques and trends : IFIP TC 10 working conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2007 Published in: International Federation for Information Processing: IFIP International Federation for Information Processing ; 231
Bukowiec, Arkadiusz [Editor] ; Borowik, Grzegorz [Other] ; Doligalski, Michał [Other] New trends in digital systems design - [Als Ms. gedr.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI-Verl., 2014 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 836
Kriesten, Daniel [Author] Systementwurf eingebetteter heterogener rekonfigurierbarer Systeme mit Linux-Betriebssystem am Beispiel einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chemnitz: Universitätsverlag Chemnitz, 2014
Guderian, Falko [Author] Developing a design flow for embedded systems Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Vogt, 2013 Published in: Beiträge aus der Informationstechnik / Mobile Nachrichtenübertragung ; 61
Farkas, Tibor [Author] ; Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS [Other] Regelbasierte Konformitätsprüfung kollaborativer Artefakte Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Fraunhofer-Verl., 2011 Published in: Fraunhofer-Fokus
Bouyssounouse, Bruno [Editor] Embedded systems design : the ARTIST roadmap for research and development Media type: Books View online Schließen Close bookmarks > 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
Karakehayov, Zdravko [Author] ; Christensen, Knud Smed [Author] ; Winther, Ole [Author] Embedded systems design with 8051 microcontrollers : hardware and software Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY; Basel: Dekker, 1999 Published in: Electrical engineering and electronics ; 10800
Korff, Andreas [Author] ; Schacher, Markus [Other] Modellierung von eingebetteten Systemen mit UML und SysML Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Spektrum Akademischer Verlag, 2008
Bultan, Tevfik [Editor] ; Hsiung, Pao-Ann [Other] ; ATVA, 9, 2011, Taipeh [Other] Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings Media type: Books View online Schließen Close bookmarks > 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
Pohl, Klaus [Editor] Model-based engineering of embedded systems : the SPES 2020 methodology Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2012
Bondavalli, Andrea [Editor] ; Brasileiro, Francisco [Other] ; Rajsbaum, Sergio [Other] ; LADC, 3, 2007, Morelia [Other] Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; proceedings Media type: Books View online Schließen Close bookmarks > 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 ; 4746
> Media type Skip to next facet Books (76) Books ausschließen Thesis (2) Thesis ausschließen Journals / Newspapers / Series (1) Journals / Newspapers / Series ausschließen Show more show less
> Availability Skip to next facet Open Shelves (11) Open Shelves ausschließen Stack Collection (19) Stack Collection ausschließen Ask for availability (2) Ask for availability ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (31) Departmental Library DrePunct ausschließen Central Library (2) Central Library ausschließen Show more show less
> Rights information Skip to next facet In Copyright (1) In Copyright ausschließen Attribution - No Derivs (CC BY-ND) (1) Attribution - No Derivs (CC BY-ND) ausschließen Show more show less
> Access State Skip to next facet Open Access (26) Open Access ausschließen Restricted Access (4) Restricted Access ausschließen Without Specification (17) Without Specification ausschließen Show more show less
> Language Skip to next facet English (54) English ausschließen German (27) German ausschließen Show more show less
> Subject Skip to next facet Computer science (67) Computer science ausschließen Technology (46) Technology ausschließen Mathmatics (27) Mathmatics ausschließen General (2) General ausschließen Germanic and Scandinavian studies (1) Germanic and Scandinavian studies ausschließen Economics (1) Economics ausschließen Show more show less
> Creator Skip to next facet Bogdan, Martin (5) Bogdan, Martin ausschließen Lange, Walter (5) Lange, Walter ausschließen Marwedel, Peter (5) Marwedel, Peter ausschließen Technische Universität Dresden (5) Technische Universität Dresden ausschließen Bringmann, Oliver (3) Bringmann, Oliver ausschließen Kriesten, Daniel (3) Kriesten, Daniel ausschließen Alpuente, María (2) Alpuente, María ausschließen Becker, Jürgen (2) Becker, Jürgen ausschließen Bondavalli, Andrea (2) Bondavalli, Andrea ausschließen Bouyssounouse, Bruno (2) Bouyssounouse, Bruno ausschließen Brasileiro, Francisco (2) Brasileiro, Francisco ausschließen Bultan, Tevfik (2) Bultan, Tevfik ausschließen Cernat, Mihai (2) Cernat, Mihai ausschließen Choi, Jin-Young (2) Choi, Jin-Young ausschließen Cofer, Darren (2) Cofer, Darren ausschließen Cook, Byron (2) Cook, Byron ausschließen Cortadella, Jordi (2) Cortadella, Jordi ausschließen Fantechi, Alessandro (2) Fantechi, Alessandro ausschließen Fengler, Olga (2) Fengler, Olga ausschließen Fengler, Wolfgang (2) Fengler, Wolfgang ausschließen Fränzle, Martin (2) Fränzle, Martin ausschließen Glaß, Michael (2) Glaß, Michael ausschließen Graf, Susanne (2) Graf, Susanne ausschließen Hempel, Gerald (2) Hempel, Gerald ausschließen Higashino, Teruo (2) Higashino, Teruo ausschließen Hsiung, Pao-Ann (2) Hsiung, Pao-Ann ausschließen Hunel, Philippe (2) Hunel, Philippe ausschließen Joubert, Christophe (2) Joubert, Christophe ausschließen Kim, Moonzoo (2) Kim, Moonzoo ausschließen Kirchhoff, Michael (2) Kirchhoff, Michael ausschließen LADC, 2, 2005, Salvador (2) LADC, 2, 2005, Salvador ausschließen Lee, Insup (2) Lee, Insup ausschließen Leue, Stefan (2) Leue, Stefan ausschließen Liu, Zhiming (2) Liu, Zhiming ausschließen Maziero, Carlos Alberto (2) Maziero, Carlos Alberto ausschließen Merino, Pedro (2) Merino, Pedro ausschließen Mitschele-Thiel, Andreas (2) Mitschele-Thiel, Andreas ausschließen Namjoshi, Kedar S. (2) Namjoshi, Kedar S. ausschließen Okamura, Yoshio (2) Okamura, Yoshio ausschließen Papatriantafilou, Marina (2) Papatriantafilou, Marina ausschließen Peled, Doron (2) Peled, Doron ausschließen Rajsbaum, Sergio (2) Rajsbaum, Sergio ausschließen Ravn, Anders P. (2) Ravn, Anders P. ausschließen Rozenberg, Grzegorz (2) Rozenberg, Grzegorz ausschließen Spallek, Rainer G. (2) Spallek, Rainer G. ausschließen Viswanathan, Mahesh (2) Viswanathan, Mahesh ausschließen Yakovlev, Alex (2) Yakovlev, Alex ausschließen Yoneda, Tomohiro (2) Yoneda, Tomohiro ausschließen Zhang, Wenhui (2) Zhang, Wenhui ausschließen ATVA, 3, 2005, Taipeh (1) ATVA, 3, 2005, Taipeh ausschließen ATVA, 4, 2006, Peking (1) ATVA, 4, 2006, Peking ausschließen ATVA, 5, 2007, Tokio (1) ATVA, 5, 2007, Tokio ausschließen ATVA, 6, 2008, Seoul (1) ATVA, 6, 2008, Seoul ausschließen ATVA, 7, 2009, Macau (1) ATVA, 7, 2009, Macau ausschließen ATVA, 9, 2011, Taipeh (1) ATVA, 9, 2011, Taipeh ausschließen Andrade, Aline Maria Santos (1) Andrade, Aline Maria Santos ausschließen Assis Silva, Flávio Morais de (1) Assis Silva, Flávio Morais de ausschließen Bachmann, Peter (1) Bachmann, Peter ausschließen Becker, Thomas (1) Becker, Thomas ausschließen Borowik, Grzegorz (1) Borowik, Grzegorz ausschließen Brandenburgische Technische Universität Cottbus (1) Brandenburgische Technische Universität Cottbus ausschließen Bukowiec, Arkadiusz (1) Bukowiec, Arkadiusz ausschließen Buschhoff, Markus (1) Buschhoff, Markus ausschließen Cassez, Franck (1) Cassez, Franck ausschließen Cha, Sungdeok (1) Cha, Sungdeok ausschließen Cha, Sungdeok (Steve) (1) Cha, Sungdeok (Steve) ausschließen Chen, Junchao (1) Chen, Junchao ausschließen Christensen, Knud Smed (1) Christensen, Knud Smed ausschließen De Gruyter Oldenbourg (1) De Gruyter Oldenbourg ausschließen Doligalski, Michał (1) Doligalski, Michał ausschließen Dörr, Tobias (1) Dörr, Tobias ausschließen Engmann, Ulrich (1) Engmann, Ulrich ausschließen European Research Consortium for Informatics and Mathematics, Working Group on Formal Methods for Industrial Critical Systems (1) European Research Consortium for Informatics and Mathematics, Working Group on Formal Methods for Industrial Critical Systems ausschließen FMICS, 12, 2007, Berlin (1) FMICS, 12, 2007, Berlin ausschließen FMICS, 13, 2008, L'Aquila (1) FMICS, 13, 2008, L'Aquila ausschließen FMICS, 14, 2009, Eindhoven (1) FMICS, 14, 2009, Eindhoven ausschließen Farkas, Tibor (1) Farkas, Tibor ausschließen Fey, Görschwin (1) Fey, Görschwin ausschließen Fleischer, Jürgen (1) Fleischer, Jürgen ausschließen Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS (1) Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS ausschließen García Ortiz, Alberto (1) García Ortiz, Alberto ausschließen Grabs, Peter (1) Grabs, Peter ausschließen Gremzow, Carsten (1) Gremzow, Carsten ausschließen Guderian, Falko (1) Guderian, Falko ausschließen Hardt, Wolfram (1) Hardt, Wolfram ausschließen Haubelt, Christian (1) Haubelt, Christian ausschließen Heinkel, Ulrich (1) Heinkel, Ulrich ausschließen Hochberger, Christian (1) Hochberger, Christian ausschließen Hutchison, David (1) Hutchison, David ausschließen Hübner, Michael (1) Hübner, Michael ausschließen ISoLA, 4, 2010, Heraklion (1) ISoLA, 4, 2010, Heraklion ausschließen Intedis GmbH & Co. KG (1) Intedis GmbH & Co. KG ausschließen International Embedded Systems Symposium, 2, 2007, Irvine, Calif (1) International Embedded Systems Symposium, 2, 2007, Irvine, Calif ausschließen Jaschke, Steffen (1) Jaschke, Steffen ausschließen Kabitzsch, Klaus (1) Kabitzsch, Klaus ausschließen Kanade, Takeo (1) Kanade, Takeo ausschließen Karakehayov, Zdravko (1) Karakehayov, Zdravko ausschließen Karl, Wolfgang (1) Karl, Wolfgang ausschließen Kittler, Josef (1) Kittler, Josef ausschließen Kleinberg, Jon (1) Kleinberg, Jon ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (64) Verbunddaten SWB ausschließen Diss online (13) Diss online ausschließen Lizenzfreie Online-Ressourcen (11) Lizenzfreie Online-Ressourcen ausschließen Qucosa (8) Qucosa ausschließen Abschlussarbeiten der TU Dresden (4) Abschlussarbeiten der TU Dresden ausschließen BASE - Bielefeld Academic Search Engine (2) BASE - Bielefeld Academic Search Engine ausschließen Digital Library Thüringen (2) Digital Library Thüringen ausschließen Show more show less