Home Advanced Search

Advanced Search - Page 1

Datatype-Generic Programming. International Spring School, SSDGP 2006
  • PDF
  • english
  • Year: 2007
  • Author: Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)
Algorithmic Problem Solving (2007)
  • PDF
  • English
  • Year: 2007
  • Author: Roland Backhouse
Algorithmic Problem Solving
  • PDF
  • English
  • Year: 2011
  • Author: Roland C. Backhouse
The fun of programming
  • DJVU
  • English
  • Year: 2003
  • Author: Gibbons, Jeremy; Moor, Oege de (eds)
Introducing String Diagrams - The Art of Category Theory
  • PDF
  • English
  • Year: 2023
  • Author: Ralf Hinze, Dan Marsden
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jesse Alama, Lionel Mamane, Josef Urban (auth.), Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (eds.)
Einführung in die funktionale Programmierung mit Miranda
  • DJVU
  • German
  • Year: 1991
  • Author: Dipl.-Inform. Ralf Thomas Walter Hinze (auth.)
Algorithm Design with Haskell
  • PDF
  • English
  • Year: 2020
  • Author: Richard Bird, Jeremy Gibbons
Illusion einer Jugend. Ринглер Ральф Роланд. Детские иллюзии
  • PDF
  • English
  • Author: Ringler Ralf Roland.
search