Home Advanced Search

Advanced Search - Page 1

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

PDF
English
Year: 2011
Author: Prakash Panangaden (auth.), Martin Hofmann (eds.)

Labelled Markov processes

PDF
English
Year: 2009
Author: Prakash Panangaden

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

PDF
English
Year: 2013
Author: Adam Brandenburger, H. Jerome Keisler (auth.), Bob Coecke, Luke Ong, Prakash Panangaden (eds.)

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

PDF
English
Year: 2013
Author: Adam Brandenburger, H. Jerome Keisler (auth.), Bob Coecke, Luke Ong, Prakash Panangaden (eds.)

Extensional Constructs in Intensional Type Theory

PDF
English
Year: 1997
Author: Martin Hofmann PhD (auth.)

Automatentheorie und Logik

PDF
German
Year: 2011
Author: Martin Hofmann, Martin Lange (auth.)

Peter Weiss Jahrbuch 7

PDF
German
Year: 1999
Author: Peter Weiss (auth.), Michael Hofmann, Martin Rector, Jochen Vogt (eds.)

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

PDF
English
Year: 2008
Author: Martin Hofmann, Mariela Pavlova (auth.), Gilles Barthe, Cédric Fournet (eds.)

A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows

PDF
English
Year: 2021
Author: Martin Hofmann

Lehrer-Schüler-Interaktion: Inhaltsfelder, Forschungsperspektiven und methodische Zugänge

PDF
German
Year: 2008
Author: Dr. Hubert Hofmann, Dr. Siebertz-Reckzeh Karin (auth.), Martin K. W. Schweer (eds.)