Home Advanced Search

Advanced Search - Page 1

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2016
  • Author: Sam Lindley, Conor McBride, Phil Trinder, Don Sannella (eds.)
Tolkien's Cosmology: Divine Beings and Middle-earth
  • PDF
  • English
  • Year: 2020
  • Author: Sam McBride
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy (auth.), André Rauber Du Bois, Phil Trinder (eds.)
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy (auth.), André Rauber Du Bois, Phil Trinder (eds.)
Children and their Families: Contact, Rights and Welfare
  • PDF
  • English
  • Year: 2003
  • Author: Andrew Bainham; Bridget Lindley; Martin Richards; Liz Trinder (editors)
Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings (Lecture Notes in Computer Science, 13440)
  • PDF
  • English
  • Year: 2022
  • Author: José Cano (editor), Phil Trinder (editor)
Global Instability: Uncertainty and new visions in political economy
  • PDF
  • English
  • Year: 2002
  • Author: Stephen McBride, Marjorie Griffin Cohen, Laurent Dobuzinskis, James Busumtwi-Sam (auth.), Stephen McBride, Laurent Dobuzinskis, Marjorie Griffin Cohen, James Busumtwi-Sam (eds.)
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Donald Sannella (auth.), Annalisa Bossi (eds.)
search