HEIDI

Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.

Aktuelles

Am Dienstag, 9.7., sind die Ausleihen der Universitätsbibliothek (Haupt- und Zweigstelle) geschlossen. mehr...

Suchhistorie (1 Recherche)

[1-20] [21-40] [41-60] [61-69]

Sortierung: Kein Fach bevorzugen

Treffer einschränken:

nur exakte Begriffe

nur Zeitschriften, Zeitungen

ohne Zeitschriften, Zeitungen

nur Online-Angebote

ohne Online-Angebote

ohne Bilder

ohne Universitätsbibliographie

nur Universitätsbibliographie

nur Klass. Archäologie (FID)

nur Kunstgeschichte (FID)

nur Ägyptologie (FID)

1.	Marwedel, Peter: Embedded system design : embedded systems foundations of cyber-physical systems, and the Internet of Things / Peter Marwedel. - Fourth edition. - Cham: Springer, [2021]. - 1 Online-Ressource (xxii, 433 Seiten) : Illustrationen, ISBN 978-3-030-60910-8 (Embedded systems) (Springer eBook Collection) DOI: 10.1007/978-3-030-60910-8 Themen: Eingebettetes System \| Systementwurf Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
2.	Fachtagung "Echtzeit" <2020, Online>: Echtzeit 2020 : Kommunikationssicherheit im Internet der Dinge (IoT) : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG,) 20. November 2020 / Herwig Unger (Hrsg.). - Wiesbaden: Springer Vieweg, [2021]. - 1 Online-Ressource (VIII, 135 Seiten) : Illustrationen, Diagramme, ISBN 978-3-658-32818-4 (Springer eBook Collection) (Informatik aktuell) DOI: 10.1007/978-3-658-32818-4 Themen: Autonomes System \| Echtzeitprogrammierung \| Echtzeitsystem \| Fahrzeug \| Fluglärm \| Informationssicherheit \| Internet der Dinge \| Sicherheitskritisches System \| Systementwurf \| Transportmittel Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
3.	Bringmann, Oliver: Eingebettete Systeme : Entwurf, Synthese und Edge AI / Oliver Bringmann, Walter Lange, Martin Bogdan. - 4., überarbeitete Auflage. - Berlin ; Boston: De Gruyter Oldenbourg, [2022]. - XV, 518 Seiten : Diagramme, ISBN 978-3-11-070205-7 (Studium) Themen: Cyber-physisches System \| Eingebettetes System \| Logiksynthese \| Systementwurf Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: LN-U 10-19636::(4) → Andere Auflagen/Ausgaben
4.	Schmidlin Fajardo Silva, Raul: Contract testing for reliable embedded systems / Raul Schmidlin Fajardo Silva, 2013. - Online-Ressource (162 S.) DOI: 10.11588/heidok.00015941 Themen: Design by Contract \| Reliabilität \| Systementwurf \| Treiber <Programm> Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
5.	Gugelot, Hans: Hans Gugelot - die Architektur des Design : Katalogbuch zur Ausstellung im HfG-Archiv Ulm, 2020 / mit Beiträgen von Christiane Wachsmann, Walter Scheiffele, Klaus Klemp, Eva von Seckendorff, Kathari… . - Stuttgart: avedition, 2020. - 166 Seiten : Illustrationen, ISBN 978-3-89986-330-7 Themen: Gugelot, Hans \| Industriedesign \| Systementwurf Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	ausleihbar Signatur: 2020 A 4823 → Andere Auflagen/Ausgaben
6.	Wecker, Dieter: Prozessorentwurf mit Verilog HDL : Modellierung und Synthese von Prozessormodellen / Dieter Wecker. - Berlin ; Boston: De Gruyter Oldenbourg, [2021]. - X, 326 Seiten : Illustrationen, ISBN 978-3-11-071782-2 (De Gruyter Studium) Themen: CAD \| Field programmable gate array \| Mikroprogrammierung \| Modellierung \| Sechzehn-Bit-Mikroprozessor \| Systementwurf \| VERILOG \| Zwölf-Bit-Mikroprozessor Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: LN-U 10-19523 → Andere Auflagen/Ausgaben
7.	Modellierung logistischer Systeme / herausgegeben von Horst Tempelmeier. - Berlin, Heidelberg: Springer Vieweg, [2018]. - Online-Ressource (V, 83 S. 19 Abb, online resource), ISBN 978-3-662-57771-4 (Fachwissen Logistik) (SpringerLink : Bücher) DOI: 10.1007/978-3-662-57771-4 Themen: Logistik \| Systementwurf Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
8.	Koskinen, Ilpo: DIS 2018 : Proceedings of the 2018 Designing Interactive Systems Conference : June 9-13, 2018, Hong Kong / General Chair: Ilpo Koskinen. - New York, NY: ACM, 2018. - Online-Ressource : Ill., graph. Darst., ISBN 978-1-4503-5198-0 (ACM Conferences) (ACM Digital Library) DOI: 10.1145/3196709 Themen: Dialogsystem \| Systementwurf Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
9.	Koskinen, Ilpo: DIS 2018 : Companion Publication of the 2018 Designing Interactive Systems Conference : June 9-13, 2018, Hong Kong / General Chair: Ilpo Koskinen. - New York, NY: ACM, 2018. - Online-Ressource : Ill., graph. Darst., ISBN 978-1-4503-5631-2 (ACM Conferences) (ACM Digital Library) DOI: 10.1145/3197391 Themen: Dialogsystem \| Systementwurf Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
10.	Design automation for embedded systems : an international journal. - Dordrecht [u.a.]: Springer Science + Business Media B.V, 1996-. - Online-Ressource, ISSN 1572-8080 1.1996 - Themen: Eingebettetes System \| Entwurfsautomation \| Systementwurf Online-Ressource Zeitschrift → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
11.	Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht. - Cham: Springer, 2016. - Online-Ressource (VII, 157 p. 62 illus, online resource), ISBN 978-3-319-51641-7 (Springer eBook Collection : Computer Science) (Communications in Computer and Information Science ; 683) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-51641-7 Themen: Formale Methode \| Programmanalyse \| Programmverifikation \| Softwareentwicklung \| Systemanalyse \| Systementwurf \| Verifikation Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
12.	Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. - Cham: Springer, 2016. - Online-Ressource (XI, 530 p. 102 illus, online resource), ISBN 978-3-319-46520-3 (Lecture Notes in Computer Science ; 9938) (Programming and Software Engineering ; 9938) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-46520-3 Themen: CASHE \| Formale Methode \| Systemanalyse \| Systementwurf \| Systemsynthese \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
13.	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. - Cham: Springer, 2016. - Online-Ressource (XXIII, 974 p. 256 illus, online resource), ISBN 978-3-319-47166-2 (Lecture Notes in Computer Science ; 9952) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Theoretical Computer Science and General Issues ; 9952) DOI: 10.1007/978-3-319-47166-2 Themen: Formale Methode \| Programmanalyse \| Programmverifikation \| Softwareentwicklung \| Systemanalyse \| Systementwurf \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
14.	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. - Cham: Springer, 2016. - Online-Ressource (XXIV, 866 p. 291 illus, online resource), ISBN 978-3-319-47169-3 (Lecture Notes in Computer Science ; 9953) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9953) DOI: 10.1007/978-3-319-47169-3 Themen: Formale Methode \| Programmanalyse \| Programmverifikation \| Softwareentwicklung \| Systemanalyse \| Systementwurf \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
15.	Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. - Cham: Springer, 2016. - Online-Ressource (XVI, 247 p. 89 illus, online resource), ISBN 978-3-319-45943-1 (Lecture Notes in Computer Science ; 9933) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Programming and Software Engineering ; 9933) DOI: 10.1007/978-3-319-45943-1 Themen: Formale Methode \| Sicherheitskritisches System \| Softwareentwicklung \| Systemanalyse \| Systementwurf \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
16.	Schmidlin Fajardo Silva, Raul: Contract testing for reliable embedded systems / Raul Schmidlin Fajardo Silva, 2013. - XXV, 136 S. : Ill., graph. Darst. Themen: Design by Contract \| Reliabilität \| Systementwurf \| Treiber <Programm> Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: 2014 U 111 → Weitere Exemplare → Andere Auflagen/Ausgaben
17.	Roques, Pascal: Systems architecture modeling with the Arcadia method : a practical guide to Capella / Pascal Roques. - Amsterdam: Elsevier, [2018]. - xiii, 277 Seiten : Illustrationen, Diagramme, ISBN 978-1-78548-168-0 (Implementation of model based system engineering set) Themen: Systemanalyse \| Systementwurf Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	nicht ausleihbar → Andere Auflagen/Ausgaben
18.	Strohhecker, Jürgen: System- und objektorientierte Simulation betriebswirtschaftlicher Entscheidungen / von Jürgen Strohhecker. - Berlin: Duncker und Humblot, 1998. - 310 S. : Ill., graph. Darst., ISBN 978-3-428-09475-2 (Abhandlungen aus dem Industrieseminar der Universität Mannheim ; 53) Themen: Entscheidungsunterstützungssystem \| Objektorientierung \| Simulation \| Systementwurf \| Unternehmen Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	ausleihbar Signatur: 2001 A 738 → Andere Auflagen/Ausgaben
19.	Weinmann, Dieter: Student relationship management - Grundlagen und ein Systementwurf nach ARIS für ein Studierendenbeziehungsmanagement an deutschen Hochschulen / Dieter Weinmann, 2009. - Online-Ressource Themen: ARIS \| Beziehungsmanagement \| Hochschule \| Kundenmanagement \| Systementwurf \| Wissenschaftliche Hochschule Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
20.	Systemisches Konfliktmanagement : Modelle und Methoden für Berater, Mediatoren und Führungskräfte / Kurt Faller ... (Hrsg.). Mit Beitr. von Christine Baldt .... - 1. Auflage 2014. - Freiburg: Schäffer-Poeschel Verlag für Wirtschaft Steuern Recht GmbH, 2014. - 1 Online-Ressource (297 S.), ISBN 978-3-7992-6737-3 Themen: Konfliktregelung \| Systementwurf Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben

[1-20] [21-40] [41-60] [61-69]

Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.

Impressum / Datenschutz Design