Cover of Mechanizing Mathematical Reasoning by Dieter Hutter

Mechanizing Mathematical Reasoning

Dieter Hutter
Cover of Pervasion as a Condition by Lucerne University of Applied Sciences and Arts - Engineering & Architecture Institute of Architecture

Pervasion as a Condition

Lucerne University of Applied Sciences and Arts - Engineering & Architecture Institute of Architecture
Cover of Security in Pervasive Computing by Dieter Hutter

Security in Pervasive Computing

Dieter Hutter
Cover of Corpus Inscriptionum Iranicarum by Dr. Dieter Weber

Corpus Inscriptionum Iranicarum

Dr. Dieter Weber