Home Advanced Search

Advanced Search - Page 1

Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rob Arthan (auth.), Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (eds.)
Type-driven Development with Idris
  • PDF
  • English
  • Year: 2017
  • Author: Edwin Brady
Type-driven Development with Idris
  • EPUB
  • English
  • Year: 2017
  • Author: Edwin Brady
Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Carette, Jacques; Kaliszyk, Cezary; Kerber, Manfred; Rabe, Florian; Sorge, Volker (eds)
Australian unlimited
  • PDF
  • English
  • Year: 1918
  • Author: Brady, Edwin James
English Funerary Elegy in the Seventeenth Century: Laws in Mourning
  • PDF
  • English
  • Year: 2006
  • Author: Andrea Brady (auth.)
Australia Unlimited
  • PDF
  • English
  • Year: 1910
  • Author: Edwin James, 1869- Brady
I delitti riservati alla Congregazione per la dottrina della fede
  • PDF
  • Italian
  • Year: 2014
  • Author: Andrea D'Auria, Claudio Papale (edd.)
CYCLOPARAFFINS: THE PREPARATION OF TWO 1-ACYL-2-NITRO-2,3,3- TRIMETHYLCYCLOPROPANES AND THEIR REACTION WITH ALKALIS
  • PDF
  • English
  • Author: KOHLHASE, WILLIAM LAWRENCE
search