Home Advanced Search

Advanced Search - Page 1

Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28 – October 1, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Wolfram Kahl, Michael Winter, José N. Oliveira (eds.)
Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller (eds.)
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Han-Hing Dang, Bernhard Möller (auth.), Wolfram Kahl, Timothy G. Griffin (eds.)
"Mysterium trinitatis"?: Fallstudien zur Trintätslehre in der evangelischen Dogmatik des 20. Jahrhunderts
  • PDF
  • German
  • Year: 1997
  • Author: Michael Murrmann-Kahl
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Algoritmos Lógica para Desenvolvimento de Programação de Computadores
  • PDF
  • Portuguese
  • Year: 2016
  • Author: José Augusto N. G. Manzano, Jayr Figueiredo de Oliveira.
Frankreich Jahrbuch 2009: Französische Blicke auf das zeitgenössische Deutschland
  • PDF
  • German
  • Year: 2010
  • Author: Michael Werner (auth.), Wolfram Vogel (eds.)
Goguen Categories. A Categorical Approach to L-fuzzy Relations
  • PDF
  • english
  • Year: 2007
  • Author: Michael Winter
MVS/ESA JCL: Einführung in die Praxis
  • PDF
  • German
  • Year: 1999
  • Author: Michael Winter
Horizontale Haftung im Konzern
  • PDF
  • German
  • Year: 2005
  • Author: Michael Winter
search