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.)
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
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.)
Konzeption eines Prozeßinformations- und -managementsystems
  • PDF
  • German
  • Year: 1995
  • Author: Martin Hofmann (auth.)
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.)
Automatentheorie und Logik
  • PDF
  • German
  • Year: 2011
  • Author: Martin Hofmann, Martin Lange (auth.)
search