- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
VerifyThis 2019: a program verification competition ; day:19 ; month:5 ; year:2021 ; pages:1-11
International journal on software tools for technology transfer ; (19.5.2021), 1-11
- Urheber
-
Dross, Claire
Furia, Carlo A.
Huisman, Marieke
Monahan, Rosemary
Müller, Peter
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-021-00619-x
- URN
-
urn:nbn:de:101:1-2021091808391146218522
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:29 MESZ
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.
Beteiligte
- Dross, Claire
- Furia, Carlo A.
- Huisman, Marieke
- Monahan, Rosemary
- Müller, Peter
- SpringerLink (Online service)
Ähnliche Objekte (12)
Flöte ohne Kernspalte
Müller, Peter
Müller, Peter
Hochschularbeitsgemeinschaft (HAG): Abrechnung Phase 2, 1982, und Verwendungsnachweis Phase 2
Statistische Untersuchung der Behandlung von 3181 [dreitausendeinhunderteinundachtzig] Fällen von Appendicitis in der Chirurgischen Universitätsklinik Kiel aus den Jahren 1930 - 1939 und 1958 - 1969
Dipolmomentbestimmung und Strukturuntersuchung von trans-1,2-Dipyridyläthenen, Azaphenanthrenen und Phenanthrolinen
Peter Müller aus Niederhofen verschreibt der Kellerei Brackenheim für 28 fl. Kap. einen jährlichen Zins von 1 fl. 24 Kr.
Die J131-Hippuran-Nierenclearance bei Kaninchen mit normalen Blutdrucken
Straßenbahnunfall Peter Müller, Bischofsheim
Über die subjektiven Empfindungen von 796 Schwindelkranken
Klinische und tierexperimentelle Untersuchungen zur Dignität von Schilddrüsenknoten unter besonderer Berücksichtigung der Feinnadelaspirationszytologie
Ursachen und Ergebnisse des mechanischen Gallenwegsverschlusses unter besonderer Berücksichtigung sogenannter Recidivsteine nach Cholecystektomie
Flöte ohne Kernspalte
Müller, Peter
Müller, Peter
Hochschularbeitsgemeinschaft (HAG): Abrechnung Phase 2, 1982, und Verwendungsnachweis Phase 2
Statistische Untersuchung der Behandlung von 3181 [dreitausendeinhunderteinundachtzig] Fällen von Appendicitis in der Chirurgischen Universitätsklinik Kiel aus den Jahren 1930 - 1939 und 1958 - 1969
Dipolmomentbestimmung und Strukturuntersuchung von trans-1,2-Dipyridyläthenen, Azaphenanthrenen und Phenanthrolinen
Peter Müller aus Niederhofen verschreibt der Kellerei Brackenheim für 28 fl. Kap. einen jährlichen Zins von 1 fl. 24 Kr.
Die J131-Hippuran-Nierenclearance bei Kaninchen mit normalen Blutdrucken
Straßenbahnunfall Peter Müller, Bischofsheim
Über die subjektiven Empfindungen von 796 Schwindelkranken
Klinische und tierexperimentelle Untersuchungen zur Dignität von Schilddrüsenknoten unter besonderer Berücksichtigung der Feinnadelaspirationszytologie
Ursachen und Ergebnisse des mechanischen Gallenwegsverschlusses unter besonderer Berücksichtigung sogenannter Recidivsteine nach Cholecystektomie
Flöte ohne Kernspalte
Müller, Peter
Müller, Peter
Hochschularbeitsgemeinschaft (HAG): Abrechnung Phase 2, 1982, und Verwendungsnachweis Phase 2
Statistische Untersuchung der Behandlung von 3181 [dreitausendeinhunderteinundachtzig] Fällen von Appendicitis in der Chirurgischen Universitätsklinik Kiel aus den Jahren 1930 - 1939 und 1958 - 1969
Dipolmomentbestimmung und Strukturuntersuchung von trans-1,2-Dipyridyläthenen, Azaphenanthrenen und Phenanthrolinen
Peter Müller aus Niederhofen verschreibt der Kellerei Brackenheim für 28 fl. Kap. einen jährlichen Zins von 1 fl. 24 Kr.
Die J131-Hippuran-Nierenclearance bei Kaninchen mit normalen Blutdrucken
Straßenbahnunfall Peter Müller, Bischofsheim
Über die subjektiven Empfindungen von 796 Schwindelkranken
Klinische und tierexperimentelle Untersuchungen zur Dignität von Schilddrüsenknoten unter besonderer Berücksichtigung der Feinnadelaspirationszytologie