Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

Produktform: Buch / Einband - fest (Hardcover)

Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

Produktform: Buch / Einband - flex.(Paperback)

Abstraction Refinement for Large Scale Model Checking

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Abstraction Refinement for Large Scale Model Checking

Produktform: Buch / Einband - fest (Hardcover)

Abstraction Refinement for Large Scale Model Checking

Produktform: Buch / Einband - flex.(Paperback)

Theory of Translation Closedness for Time Scales

With Applications to Translation Functions and Dynamic Equations

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Theory of Translation Closedness for Time Scales

With Applications in Translation Functions and Dynamic Equations

Produktform: Buch / Einband - flex.(Paperback)

Theory of Translation Closedness for Time Scales

With Applications to Translation Functions and Dynamic Equations

Produktform: Buch / Einband - fest (Hardcover)

Network and Parallel Computing

14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem