- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1882-7055
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Card-Based Cryptography Meets Formal Verification ; volume:39 ; number:1 ; day:2 ; month:4 ; year:2021 ; pages:115-158 ; date:4.2021
New generation computing ; 39, Heft 1 (2.4.2021), 115-158, 4.2021
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00354-020-00120-0
- URN
-
urn:nbn:de:101:1-2021060622112308339812
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Koch, Alexander
- Schrempp, Michael
- Kirsten, Michael
- SpringerLink (Online service)
Other Objects (12)
Card-Based Cryptography Meets Formal Verification
![La décoration moderne des intérieurs : Publié par Alexander Koch. [A. m. d. Tit.:] Moderne Innendekoration. Herausgegeben von Alexander Koch. Kunstgewerbe, Architektur, Interieurs, decoration, 1](https://iiif.deutsche-digitale-bibliothek.de/image/2/28824637-4191-4eaf-a0af-99081e40c0e8/full/!306,450/0/default.jpg)
La décoration moderne des intérieurs : Publié par Alexander Koch. [A. m. d. Tit.:] Moderne Innendekoration. Herausgegeben von Alexander Koch. Kunstgewerbe, Architektur, Interieurs, decoration, 1
Untersuchungen zu Bildqualität und Strahlendosis bei der Spiral-Computertomographie im Vergleich zur konventionellen Computertomographie
Vom Panama- und Nicaraguakanal
Koch, Alexander (1860-1939), Hofrat und Herausgeber von "Deutsche Kunst und Dekoration"
Verlaufsmuster der CD64-Expression auf der Zelloberfläche von Granulozyten bei überlebenden und versterbenden Patienten im septischen Schock
Konversion auf eine Mycophenolatmofetil basierte Immunsuppression nach Lebertransplantation - Langzeiteinfluss auf die Nierenfunktion
Die prophylaktische Therapie von maschinell beatmeten konservativ therapierten Intensivpatienten mit Dornase alfa und Placebo : eine randomisierte placebokontrollierte multizentrische klinische Studie der Phase III
Stabilisierung von Organocalcium-Verbindungen mit N-heterocyclischen Carbenen
Die Auswirkungen einer frühen Gabe von Quinapril und TCV-116 auf die Prognose, die Hämodynamik und das Remodeling nach experimentellem Myokardinfarkt bei Ratten
pH-Abhängigkeit der Melanom-Zell-Zell-Kontakte und Einfluss des Na+/H+-Austauschers NHE1
Untersuchungen zur Wirkung einer PPARα-Aktivierung [PPARalpha-Aktivierung] auf den Cholesterol- und Carnitinmetabolismus
Card-Based Cryptography Meets Formal Verification
La décoration moderne des intérieurs : Publié par Alexander Koch. [A. m. d. Tit.:] Moderne Innendekoration. Herausgegeben von Alexander Koch. Kunstgewerbe, Architektur, Interieurs, decoration, 1
Untersuchungen zu Bildqualität und Strahlendosis bei der Spiral-Computertomographie im Vergleich zur konventionellen Computertomographie
Vom Panama- und Nicaraguakanal
Koch, Alexander (1860-1939), Hofrat und Herausgeber von "Deutsche Kunst und Dekoration"
Verlaufsmuster der CD64-Expression auf der Zelloberfläche von Granulozyten bei überlebenden und versterbenden Patienten im septischen Schock
Konversion auf eine Mycophenolatmofetil basierte Immunsuppression nach Lebertransplantation - Langzeiteinfluss auf die Nierenfunktion
Die prophylaktische Therapie von maschinell beatmeten konservativ therapierten Intensivpatienten mit Dornase alfa und Placebo : eine randomisierte placebokontrollierte multizentrische klinische Studie der Phase III
Stabilisierung von Organocalcium-Verbindungen mit N-heterocyclischen Carbenen
Die Auswirkungen einer frühen Gabe von Quinapril und TCV-116 auf die Prognose, die Hämodynamik und das Remodeling nach experimentellem Myokardinfarkt bei Ratten
pH-Abhängigkeit der Melanom-Zell-Zell-Kontakte und Einfluss des Na+/H+-Austauschers NHE1
Untersuchungen zur Wirkung einer PPARα-Aktivierung [PPARalpha-Aktivierung] auf den Cholesterol- und Carnitinmetabolismus
Card-Based Cryptography Meets Formal Verification
La décoration moderne des intérieurs : Publié par Alexander Koch. [A. m. d. Tit.:] Moderne Innendekoration. Herausgegeben von Alexander Koch. Kunstgewerbe, Architektur, Interieurs, decoration, 1
Untersuchungen zu Bildqualität und Strahlendosis bei der Spiral-Computertomographie im Vergleich zur konventionellen Computertomographie
Vom Panama- und Nicaraguakanal
Koch, Alexander (1860-1939), Hofrat und Herausgeber von "Deutsche Kunst und Dekoration"
Verlaufsmuster der CD64-Expression auf der Zelloberfläche von Granulozyten bei überlebenden und versterbenden Patienten im septischen Schock
Konversion auf eine Mycophenolatmofetil basierte Immunsuppression nach Lebertransplantation - Langzeiteinfluss auf die Nierenfunktion
Die prophylaktische Therapie von maschinell beatmeten konservativ therapierten Intensivpatienten mit Dornase alfa und Placebo : eine randomisierte placebokontrollierte multizentrische klinische Studie der Phase III
Stabilisierung von Organocalcium-Verbindungen mit N-heterocyclischen Carbenen
Die Auswirkungen einer frühen Gabe von Quinapril und TCV-116 auf die Prognose, die Hämodynamik und das Remodeling nach experimentellem Myokardinfarkt bei Ratten
pH-Abhängigkeit der Melanom-Zell-Zell-Kontakte und Einfluss des Na+/H+-Austauschers NHE1