1
2
3
4
Schopper, Herwig
2024
Table of Contents:
“... -- Karlsruhe: 1961 - 1973 -- A user at DESY and CERN: 1967 - 1973 -- Director of DESY: 1973 - 1980 -- Director-General of CERN: 1981 - 1988 -- A busy retirement: 1989 - now -- SESAME: 1998 - now -- Epilogue: The place of science in the modern world....”2024
Full text
5
6
7
8
9
10
Ahrendt, Wolfgang
2022
Table of Contents:
“... in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about...”2022
Full text
11
12
13
14
15
16
Sheppard, Deri
2020
Table of Contents:
“...Part One: The true story of the discovery of 'fixation' -- Robert Le Rossignol The early years, Victoria College, UCL and Ramsay -- Fritz Haber and Karlsruhe Breslau to Karlsruhe ... an unexpected journey -- Germany and 'fixation' Of the 'Prussian...”2020
Full text
17
Rusinek, Bernd-A.
2019
“...Veröffentlichungen aus dem Archiv des Karlsruher Instituts für Technologie ;...”2019
Table of Contents
18
19
20