mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(4666)
2023
(7916)
2022
(8724)
2021
(8937)
2020
(8200)
2019
(8870)
2018
(8669)
2017
(8687)
2016
(8835)
2015
(8224)
2014
(7150)
2013
(6756)
2012
(5775)
2011
(5563)
2010
(5427)
2009
(4595)
2008
(4109)
Fakultäten
(4017)
Architektur
(162)
Bau Geo Umwelt
(539)
Chemie
(57)
Elektrotechnik und Informationstechnik
(823)
Informatik
(377)
Fachgebiet Angewandte Informatik / Kooperative Systeme (Prof. Brüggemann-Klein)
Fachgebiet Datenbanksysteme (Prof. Grust)
Fachgebiet Erweiterte Realität (Prof. Klinker)
(24)
Fachgebiet Intelligente Autonome Systeme (Prof. Beetz)
Fachgebiet Numerische Programmierung (Prof. Huckle)
Fachgebiet Parallelrechnerarchitektur (Prof. Gerndt)
Fachgebiet Software (Prof. Letz komm.)
Fachgebiet Systemarchitektur Betriebssysteme (Prof. Baumgarten)
(15)
Fachgebiet Telerobotik und Sensordatenfusion (Prof. Burschka)
Fachgebiet Theoretische Informatik (Prof. Scheideler)
Lehrstuhl für Informatik 12 / Bioinformatik (Prof. Rost)
Lehrstuhl für Informatik 1 / Angewandte Softwaretechnik (Prof. Brügge)
Lehrstuhl für Informatik 2 / Sprachen und Beschreibungsstrukturen (Prof. Seidl)
Lehrstuhl für Informatik 3 / Datenbanksysteme (Prof. Kemper)
Lehrstuhl für Informatik 4 / Software und Systems Engeneering (Prof. Broy)
Lehrstuhl für Informatik 5 / Wissenschaftliches Rechnen (Prof. Bungartz)
(22)
Lehrstuhl für Informatik 6 / Echtzeitsysteme u. Robotik (Prof. Knoll)
(111)
Lehrstuhl für Informatik 7 / Theoretische Informatik (Prof. Esparza)
Lehrstuhl für Informatik / Angewandte Informatik – Kooperative Systeme (Prof. Schlichter)
Lehrstuhl für Informatik / Effiziente Algorithmen (Prof. Mayr)
(17)
Lehrstuhl für Informatik / Grafik und Visualisierung (Prof. Westermann)
Lehrstuhl für Informatik / Informatik-Anwendungen (Prof. Navab)
(114)
Lehrstuhl für Informatik / Rechnertechnik und Rechnerorganisation (Prof. Bode)
Lehrstuhl für Informatik / Software Engineering (Prof. Matthes)
Lehrstuhl für Informatik / Wirtschaftsinformatik (Prof. Krcmar)
(51)
Lehrstuhl für Informatik / Wirtschaftsinformatik und Internetbas. GP (Prof. Bichler)
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(23)
Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
Maschinenwesen
(522)
Mathematik
(81)
Medizin
(464)
Physik
(114)
Sport- und Gesundheitswissenschaften
(18)
Wirtschaftswissenschaften
(168)
Wissenschaftszentrum Weihenstephan
(692)
Integrated Research Centers
(9)
Zentrale Einrichtungen
(83)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2008
Fakultäten
Informatik
Fachgebiet Systemarchitektur Betriebssysteme (Prof. Baumgarten)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Titel:
Integrating Design by Contract Focussing Maximum Benefit
Autor(en):
Preißinger, Jörg
Abstract:
Preißinger Jörg: Integrating Design by Contract Focussing Maximum Benefit. Bookchapter in: Trends in Intelligent Systems and Computer Engineering. Series: Lecture Notes Electrical Engineering, Vol. 6, Castillo, Oscar; Xu, Li; Ao, Sio-Iong (Eds.), 2008, Approx. 750 p., Hardcover, Springer, ISBN: 978-0-387-74934-1
Jahr:
2008
Monat:
5
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 13 - Professur für Vernetzte Rechensysteme - (N.N.)
Autor
Preißinger, Jörg
mediaTUM Gesamtbestand
Hochschulbibliographie
2008
Fakultäten
Informatik
Fachgebiet Systemarchitektur Betriebssysteme (Prof. Baumgarten)
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 13 - Professur für Vernetzte Rechensysteme - (N.N.)
Autor
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 13 - Professur für Vernetzte Rechensysteme - (N.N.)
Jahr
2008
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 13 - Professur für Vernetzte Rechensysteme - (N.N.)
Jahr