Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).
Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
Ergebnis der Suche nach:
"109602137"
im Bestand: Gesamter Bestand
1 - 10 von 154
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
1
Model-based systems engineering with the SPES modeling language
Bremen : GfSE Verlag, [2025]
2
Logische und methodische Grundlagen der Entwicklung verteilter Systeme
Broy, Manfred. - Berlin, Germany : Springer Vieweg, [2023]
3
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
Broy, Manfred. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2023, 1. Auflage 2023
4
Einführung in die Softwaretechnik
Broy, Manfred. - Berlin, Germany : Springer Vieweg, [2021]
5
Einführung in die Softwaretechnik
Broy, Manfred. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2021, 1. Auflage 2021
6
Model-Based Engineering of Collaborative Embedded Systems
Böhm, Wolfgang. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
7
Advanced Systems Engineering
Broy, Manfred. - München : fortiss, Juli 2020
8
Praxisnahe Einführung von MBSE
Böhm, Wolfgang. - München : fortiss, Juni 2020
9
Software Eats the World
Broy, Manfred. - München : fortiss, Juni 2020, 2. Auflage
10
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Marmsoler, Diego. - München : Universitätsbibliothek der TU München, 2019
1 - 10 von 154
Alle Materialarten
Bücher (91)
Online Ressourcen (62)
Artikel (17)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (44)
Hochschulschriften (6)
Alle Standorte
Frankfurt (146)
Leipzig (136)
Online (frei zugänglich) (14)
Alle Normdaten
Personen (1)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration