Home Advanced Search

Advanced Search - Page 1

Public Libraries and the Internet: Roles, Perspectives, and Implications
  • PDF
  • English
  • Year: 2010
  • Author: John Carlo Bertot, Charles R. McClure, Paul T. Jaeger
Re-Envisioning the MLS : Perspectives on the Future of Library and Information Science Education
  • EPUB
  • English
  • Year: 2018
  • Author: Johnna Percell; Lindsay C. Sarin; Paul T. Jaeger; John Carlo Bertot
Re-Envisioning the MLS : Perspectives on the Future of Library and Information Science Education
  • EPUB
  • English
  • Year: 2018
  • Author: Johnna Percell; Lindsay C. Sarin; Paul T. Jaeger; John Carlo Bertot
Digital Literacy and Digital Inclusion: Information Policy and the Public Library
  • EPUB
  • English
  • Year: 2014
  • Author: Kim M. Thompson; Paul T. Jaeger; Natalie Greene Taylor; Mega Subramaniam; John Carlo Bertot
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Antonia Balaa, Yves Bertot (auth.), Mark Aagaard, John Harrison (eds.)
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
  • PDF
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Murder on the Malta Express: Who killed Daphne Caruana Galizia?
  • AZW3
  • English
  • Author: Carlo Bonini, Manuel Delia, John Sweeney
search