Home Advanced Search

Advanced Search - Page 1

Verified Functional Programming in Agda
Verified Functional Programming in Agda
  • PDF
  • English
  • Year: 2016
  • Author: Aaron Stump
The Essentials Of Modern Software Engineering: Free The Practices From The Method Prisons!
The Essentials Of Modern Software Engineering: Free The Practices From The Method Prisons!
  • PDF
  • English
  • Year: 2019
  • Author: Ivar Jacobson, Harold “Bud” Lawson, Pan-Wei Ng, Paul E. McMahon, Michael Goedicke
Person Re-identification With Limited Supervision (Synthesis Lectures on Computer Vision)
Person Re-identification With Limited Supervision (Synthesis Lectures on Computer Vision)
  • PDF
  • English
  • Year: 2021
  • Author: Rameswar Panda, Amit K. Roy-chowdhury
Statistical Methods for Annotation Analysis
Statistical Methods for Annotation Analysis
  • PDF
  • English
  • Year: 2022
  • Author: Silviu Paun; Ron Artstein; Massimo Poesio
The Blood-Brain Barrier in Health and Disease (Colloquium Integrated Systems Physiology: From Molecule to Function to Disease)
The Blood-Brain Barrier in Health and Disease (Colloquium Integrated Systems Physiology: From Molecule to Function to Disease)
  • PDF
  • English
  • Year: 2016
  • Author: William G Mayhan, Denise M Arrick, D Neil Granger (editor)