1

Internal combustion engine 4.0

Year:
2018
Language:
english
File:
PDF, 1.41 MB
english, 2018
2

Efficiency and Emission Measures for Future High-performance Engines

Year:
2019
Language:
english
File:
PDF, 1.28 MB
english, 2019
4

48-V Plug-in Hybrid Vehicles for Inner-city Zero Emission

Year:
2019
Language:
english
File:
PDF, 1.94 MB
english, 2019
16

Potentials of Engines with Variable Compression Ratio

Year:
2012
Language:
english
File:
PDF, 1.51 MB
english, 2012
18

Closing a System in the Dynamic Input/Output Automata Model

Year:
2011
Language:
english
File:
PDF, 179 KB
english, 2011
21

Modular hybrid transmission family

Year:
2018
Language:
english
File:
PDF, 1.21 MB
english, 2018
38

Verifying networks of processes that communicate via shared variables

Year:
1992
Language:
english
File:
PDF, 560 KB
english, 1992
39

Developing multi-user interfaces for CSCW environment

Year:
1993
Language:
english
File:
PDF, 305 KB
english, 1993
40

A true concurrency semantics for parallel programs

Year:
1993
Language:
english
File:
PDF, 348 KB
english, 1993
41

Derivation of protocols implementing services with event priorities

Year:
1993
Language:
english
File:
PDF, 337 KB
english, 1993
42

ACTLW – An action-based computation tree logic with unless operator

Year:
2008
Language:
english
File:
PDF, 661 KB
english, 2008
45

Verification of XTP context management closing procedure in style of TLA

Year:
1997
Language:
english
File:
PDF, 2.17 MB
english, 1997
46

Deriving protocols for services supporting mobile users

Year:
2000
Language:
english
File:
PDF, 496 KB
english, 2000