Home Advanced Search

Advanced Search - Page 1

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.)
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)
The fun of programming
  • DJVU
  • English
  • Year: 2003
  • Author: Gibbons, Jeremy; Moor, Oege de (eds)
Robotic Sailing 2016: Proceedings of the 9th International Robotic Sailing Conference
  • PDF
  • English
  • Year: 2017
  • Author: José C. Alves, Nuno A. Cruz (eds.)
Datatype-Generic Programming. International Spring School, SSDGP 2006
  • PDF
  • english
  • Year: 2007
  • Author: Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)
DOM Scripting: Web Design with JavaScript and the Document Object Model
  • PDF
  • English
  • Year: 2010
  • Author: Jeremy Keith, Jeffrey Sambells (auth.)
Asian American War Stories Trauma and Healing in Contemporary Asian American Literature
  • PDF
  • English
  • Year: 2022
  • Author: Jeffrey T. Gibbons
Algorithm Design with Haskell
  • PDF
  • English
  • Year: 2020
  • Author: Richard Bird, Jeremy Gibbons
After Brexit: Consequences for the European Union
  • PDF
  • English
  • Year: 2017
  • Author: Nazaré da Costa Cabral, José Renato Gonçalves, Nuno Cunha Rodrigues (eds.)
Texture Measurements of Foods: Psychophysical Fundamentals: Sensory, Mechanical, and Chemical Procedures, and their Interrelationships
  • PDF
  • English
  • Year: 1973
  • Author: Amihud Kramer (auth.), Amihud Kramer, Alina S. Szczesniak (eds.)
search