E-LIB Suche - Ergebnisse für: Schirmer, Norbert

1

Patientenpräferenzen bei der Auswahl von Antirheumatika: Ei..:

Kessler, Verena ; Schirmer, Norbert ; Holzkämper, Thorsten...
Gesundheitsökonomie & Qualitätsmanagement. 23 (2017) 6 - p. 307-319 , 2017

Link: https://doi.org/10.1055/..

2

EMERGENT - Grundlagen Emergenter Software

Spitzencluster-Wettbewerb ; Software Cluster ; Schlussberic...

Gröne, Michael ; Schirmer, Norbert - Version 1.0 . , 2014

Link: http://edok01.tib.uni-ha..

3

The TClouds Platform : From the Concept to the Implement..:

Bessani, Alysson ; Cutillo, Leucio A. ; Ramunno, Gianluca..
ACM SIGOPS Operating Systems Review. 48 (2014) 2 - p. 13-22 , 2014

Link: https://dl.acm.org/doi/1..

4

The TClouds Platform: From the Concept to the Implementatio..:

Bessani, Alysson ; Cutillo, Leucio A. ; Ramunno, Gianluca..
ACM SIGOPS Operating Systems Review. 48 (2014) 2 - p. 13-22 , 2014

Link: https://doi.org/10.1145/..

5

The TClouds platform : concept, architecture and instant..:

, In: Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing,

Bessani, Alysson ; Cutillo, Leucio A. ; Ramunno, Gianluca.. - p. 1-6 , 2013

Link: https://dl.acm.org/doi/1..

6

TClouds: Herausforderungen und erste Schritte zur sicheren ..:

Marnau, Ninja ; Schirmer, Norbert ; Schlehahn, Eva.
Datenschutz und Datensicherheit - DuD. 35 (2011) 5 - p. , 2011

Link: https://doi.org/10.1007/..

7

State Spaces — The Locale Way:

Schirmer, Norbert ; Wenzel, Makarius
Electronic Notes in Theoretical Computer Science. 254 (2009) - p. 161-179 , 2009

Link: https://doi.org/10.1016/..

8

Analysing the Java package/access concepts in Isabelle/HOL:

Schirmer, Norbert
Concurrency and Computation: Practice and Experience. 16 (2004) 7 - p. 689-706 , 2004

Link: https://doi.org/10.1002/..

9

Clostridium butyricumammonifies nitrite, but not nitrate:

Schirmer, Norbert ; Szech, Ulrike ; Kleiner, Diethelm
FEMS Microbiology Letters. 60 (1989) 3 - p. 343-346 , 1989

Link: https://doi.org/10.1111/..

10

Balancing the Load: Leveraging a Semantics Stack for System..:

Alkassar, Eyad ; Hillebrand, Mark A. ; Leinenbach, Dirk C....
Journal of Automated Reasoning. 42 (2009) 2-4 - p. 389-454 , 2009

Link: https://doi.org/10.1007/..

11

Crystal structure of active elongation factor Tu reveals ma..:

Berchtold, Harald ; Reshetnikova, Ludmila ; Reiser, Christian O. A....
Nature. 365 (1993) 6442 - p. 126-132 , 1993

Link: https://doi.org/10.1038/..

12

Erratum: Crystal structure of active elongation factor Tu r..:

Berchtold, Harald ; Reshetnikova, Ludmila ; Reiser, Christian O. A....
Nature. 365 (1993) 6444 - p. 368-368 , 1993

Link: https://doi.org/10.1038/..

13

Proteolytische Modifizierung, Affinitätsmarkierung und Kri..:

Schirmer, Norbert K. , 1992

Copies: Zentrale:Magazin dr 6046

14

Interaction of the isolated domain II/III ofThermus thermop..:

Peter, Marcus E. ; Reiser, Christian O.A. ; Schirmer, Norbert K....
Nucleic Acids Research. 18 (1990) 23 - p. 6889-6893 , 1990

Link: https://doi.org/10.1093/..

15

A Better Reduction Theorem for Store Buffers:

Cohen, Ernie ; Schirmer, Norbert
http://arxiv.org/abs/0909.4637. , 2009

Link: http://arxiv.org/abs/090..