Hochschulschrift | Online-Publikation
Deduction-based software component retrieval
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Erscheinungsjahr an der Haupttitelstelle: 2001
Passau, Univ., Diss., 2001
- Schlagwort
-
Komponente
Formale Spezifikationstechnik
Softwarewiederverwendung
Information Retrieval
Automatisches Beweisverfahren
- Urheber
- URN
-
urn:nbn:de:bvb:739-opus-231
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Der Musculus sphincter ani externus des Menschen enthält einen bisher nicht bekannten Musculus puboanalis lateralis
Reform des Erbrechts im Niederländischen "Burgerlijk Wetboek" : ein Vergleich zwischen d. geltenden Recht u. d. Entwürfen d. Reform
Komplikationen bei Operationen im Kiefer- und Gesichtsbereich in Allgemeinnarkose
Untersuchungen über die Inkorporation von 1-C14-Na-Acetat und Halbwertszeiten in einigen Gehirn- und Leberlipiden bei jungen Ratten
Über einige seltene Fälle von Geschwulstkrankheiten im Mund- und Kieferbereich der Klinik und Poliklinik für chirurgische Stomatologie und Kiefer-Gesichts-Chirurgie der Karl-Marx-Universität Leipzig
Untersuchungen zur Homogenität dentaler Gußobjekte bei unterschiedlicher Geometrie der Gußkanalquerschnitte
Beitrag zur Verbesserung der numerischen Magnetfeldberechnung durch einen grafikorientierten Preprozessor für das Multigridverfahren
Menschen : 18 Frauen und Männer, geboren zwischen 1897 und 1982
Über komplexe Tschebyscheff-Approximationsprobleme, die bei Iterationsverfahren zur Lösung linearer Gleichungssysteme entstehen
Modellierung zeitabhängiger Magnetfelder in Kristallzüchtungsanordnungen
Untersuchungen über die Möglichkeit einer intravenösen Injektion im Bereich der Zunge bei Pferd, Rind und Schwein
Der Musculus sphincter ani externus des Menschen enthält einen bisher nicht bekannten Musculus puboanalis lateralis
Der Musculus sphincter ani externus des Menschen enthält einen bisher nicht bekannten Musculus puboanalis lateralis
Reform des Erbrechts im Niederländischen "Burgerlijk Wetboek" : ein Vergleich zwischen d. geltenden Recht u. d. Entwürfen d. Reform
Komplikationen bei Operationen im Kiefer- und Gesichtsbereich in Allgemeinnarkose
Untersuchungen über die Inkorporation von 1-C14-Na-Acetat und Halbwertszeiten in einigen Gehirn- und Leberlipiden bei jungen Ratten
Über einige seltene Fälle von Geschwulstkrankheiten im Mund- und Kieferbereich der Klinik und Poliklinik für chirurgische Stomatologie und Kiefer-Gesichts-Chirurgie der Karl-Marx-Universität Leipzig
Untersuchungen zur Homogenität dentaler Gußobjekte bei unterschiedlicher Geometrie der Gußkanalquerschnitte
Beitrag zur Verbesserung der numerischen Magnetfeldberechnung durch einen grafikorientierten Preprozessor für das Multigridverfahren
Menschen : 18 Frauen und Männer, geboren zwischen 1897 und 1982
Über komplexe Tschebyscheff-Approximationsprobleme, die bei Iterationsverfahren zur Lösung linearer Gleichungssysteme entstehen
Modellierung zeitabhängiger Magnetfelder in Kristallzüchtungsanordnungen
Untersuchungen über die Möglichkeit einer intravenösen Injektion im Bereich der Zunge bei Pferd, Rind und Schwein
Der Musculus sphincter ani externus des Menschen enthält einen bisher nicht bekannten Musculus puboanalis lateralis
Der Musculus sphincter ani externus des Menschen enthält einen bisher nicht bekannten Musculus puboanalis lateralis
Reform des Erbrechts im Niederländischen "Burgerlijk Wetboek" : ein Vergleich zwischen d. geltenden Recht u. d. Entwürfen d. Reform
Komplikationen bei Operationen im Kiefer- und Gesichtsbereich in Allgemeinnarkose
Untersuchungen über die Inkorporation von 1-C14-Na-Acetat und Halbwertszeiten in einigen Gehirn- und Leberlipiden bei jungen Ratten
Über einige seltene Fälle von Geschwulstkrankheiten im Mund- und Kieferbereich der Klinik und Poliklinik für chirurgische Stomatologie und Kiefer-Gesichts-Chirurgie der Karl-Marx-Universität Leipzig
Untersuchungen zur Homogenität dentaler Gußobjekte bei unterschiedlicher Geometrie der Gußkanalquerschnitte
Beitrag zur Verbesserung der numerischen Magnetfeldberechnung durch einen grafikorientierten Preprozessor für das Multigridverfahren
Menschen : 18 Frauen und Männer, geboren zwischen 1897 und 1982
Über komplexe Tschebyscheff-Approximationsprobleme, die bei Iterationsverfahren zur Lösung linearer Gleichungssysteme entstehen
Modellierung zeitabhängiger Magnetfelder in Kristallzüchtungsanordnungen
Untersuchungen über die Möglichkeit einer intravenösen Injektion im Bereich der Zunge bei Pferd, Rind und Schwein