E-LIB Suche - Ergebnisse für: Ehrig, Martin

1

Selectivity enhancement in the catalytic hydrogenation of p..:

Obert, Katharina ; Roth, Daniel ; Ehrig, Martin...
Applied Catalysis A: General. 356 (2009) 1 - p. 43-51 , 2009

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

2

Entwicklung von flüssig-flüssig Slurry-Systemen für heterog..:

Ehrig, Martin
https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/623. , 2008

Link: https://opus4.kobv.de/op..

3

Sound Transmission Loss of a Sandwich Plate with Adjustable..:

Ehrig, Tom ; Dannemann, Martin ; Luft, Ron...
Materials. 13 (2020) 18 - p. 4160 , 2020

Link: https://doi.org/10.3390/..

4

Preclinical Evaluation of Oncolytic Vaccinia Virus for Ther..:

Gentschev, Ivaylo ; Adelfinger, Marion ; Josupeit, Rafael...
PLoS ONE. 7 (2012) 5 - p. e37239 , 2012

Link: https://doi.org/10.1371/..

5

Sensitivity analysis of linearly-implicit differential–alge..:

Schlegel, Martin ; Marquardt, Wolfgang ; Ehrig, Rainald.
Applied Numerical Mathematics. 48 (2004) 1 - p. 83-102 , 2004

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

6

Mathematisch-strukturelle Grundlagen der Informatik

Springer eBook Collection, Computer Science and Engineering;Springer-Lehrbuch

Ehrig, Hartmut ; Mahr, Bernd ; Große-Rhode, Martin.. - Zweite Auflage . , 2001

Link: http://dx.doi.org/10.100..

Exemplar: Zentrale:E02 a inf 470 ef/373(2)

7

Integration von Techniken der Softwarespezifkation für inge..:

Ehrig, Hartmut ; Große-Rhode, Martin
Informatik Forschung und Entwicklung. 16 (2001) 2 - p. 110-117 , 2001

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

8

Functorial theory of a parameterized specifications in a ge..:

Ehrig, Hartmut ; Große-Rhode, Martin
Theoretical Computer Science. 135 (1994) 2 - p. 221-266 , 1994

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

9

Combining data type and recursive process specifications us..:

Ehrig, Hartmut ; Parisi-Presicce, Francesco ; Boehm, Paul...
Theoretical Computer Science. 71 (1990) 3 - p. 347-380 , 1990

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

10

Sound Transmission Loss of a Sandwich Plate with Adjustable..:

Ehrig, Tom ; Dannemann, Martin ; Luft, Ron...
https://tuprints.ulb.tu-darmstadt.de/15955/1/materials-13-04160-v2.pdf. , 2022

Link: http://tuprints.ulb.tu-d..

11

Specification and Semantics (Dagstuhl Seminar 9321):

Ehrig, Hartmut ; von Henke, Friedrich ; Wirsing, Martin
doi:10.4230/DagSemRep.64. , 2021

Link: https://doi.org/10.4230/..

12

Specification and Semantics (Dagstuhl Seminar 9628):

Ehrig, Hartmut ; von Henke, Friedrich ; Wirsing, Martin
doi:10.4230/DagSemRep.151. , 2021

Link: https://doi.org/10.4230/..

13

Semi-Formal and Formal Specification Techniques for Softwar..:

Ehrig, Hartmut ; Engels, Gregor ; Orejas, Fernando.
doi:10.4230/DagSemRep.288. , 2021

Link: https://doi.org/10.4230/..

14

Semi-Formal and Formal Specification Techniques for Softwar..:

Ehrig, Hartmut ; Engels, Gergor ; Orejas, Fernando.
doi:10.4230/DagSemRep.218. , 2021

Link: https://doi.org/10.4230/..

15

Sound Transmission Loss of a Sandwich Plate with Adjustable..:

Ehrig, Tom ; Dannemann, Martin ; Luft, Ron...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7560250/. , 2020

Link: http://www.ncbi.nlm.nih...