Rau, Martin
731  results:
Search for persons X
?
1

MATLAB - Simulink - Stateflow 

Grundlagen, Toolboxen, Beispiele  Technik 10-2012
Angermann, Anne ; Beuschel, Michael ; Rau, Martin. - 7., aktualisierte Aufl. . , 2011
 
?
2

Verification of Closest Pair of Points Algorithms:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Rau, Martin ; Nipkow, Tobias - p. 341-357 , 2020
 
?
 
?
 
?
10

Constraint-based modeling in microbial food biotechnology:

Rau, Martin H. ; Zeidan, Ahmad A.
Biochemical Society Transactions.  46 (2018)  2 - p. 249-260 , 2018
 
?
12

Adaptive responses to cefotaxime treatment in ESBL-producin..:

Møller, Thea S. B. ; Rau, Martin H. ; Bonde, Charlotte S....
Journal of Antimicrobial Chemotherapy.  71 (2016)  9 - p. 2449-2459 , 2016
 
?
15

Evolutionary dynamics of bacteria in a human host environme..:

Yang, Lei ; Jelsbak, Lars ; Marvig, Rasmus Lykke...
Proceedings of the National Academy of Sciences.  108 (2011)  18 - p. 7481-7486 , 2011
 
1-15