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
?
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
Noch nicht die passende Literatur gefunden?
→ Book a Librarian
Am Samstag, 21. September, ist die Deutsche Nationalbibliothek in Leipzig geschlossen.//On Saturday, 21 September, the German National Library in Leipzig will be closed.
Ergebnis der Suche nach:
"122824547"
im Bestand: Gesamter Bestand
11 - 20 von 26
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
11
Fundamental approaches to software engineering
Berlin : Springer, 2001
12
Fundamental approaches to software engineering
Berlin : Springer, 2001
13
Formal foundations for software engineering methods
Hußmann, Heinrich. - Berlin : Springer, 1997
14
Software-Engineering im Unterricht der Hochschulen
Stuttgart : Teubner, 1994
15
The Korso case study for software engineering with formal methods
Cornelius, Felix. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1994
16
Nondeterminism in algebraic specifications and algebraic programs
Hußmann, Heinrich. - Ludwig-Maximilians-Universität München, 1993
17
Nondeterminism in algebraic specifications and algebraic programs
Hußmann, Heinrich. - Boston : Birkhäuser, 1993
18
Synergy between formal and pragmatic software engineering methods
Hußmann, Heinrich. - München : Inst. für Informatik, 1993
19
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
Hußmann, Heinrich. - München : Inst. für Informatik, 1993
20
Nondeterministic algebraic specifications
Hußmann, Heinrich. - München : Bibliothek der Fak. für Mathematik und Informatik, Techn. Univ., 1991
11 - 20 von 26
Alle Materialarten
Bücher (17)
Online Ressourcen (8)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (4)
Buchmuseum Fachbibliothek (1)
Hochschulschriften (4)
Alle Standorte
Frankfurt (25)
Leipzig (22)
Online (frei zugänglich) (1)
Alle Normdaten
Personen (1)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration