Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Real World OCaml: Functional Programming for the Masses

Author:Madhavapeddy Anil, Minsky Yaro
Publisher:Cambridge University Press
Abstract: Real World OCaml provides thorough coverage of OCaml's language features, starting with a lightweig…

Lessons Learned from Public Workforce Program Experiments

Author:Wandner Stephen A.
Publisher:W.E. Upjohn Institute
Abstract: This book presents an analysis of the lessons learned from public workforce experiments that have b…

Foundations of Probabilistic Programming

Author:Barthe Gilles, Katoen Joost-Pieter, Silva Alexandra
Publisher:Cambridge University Press
Abstract: This book provides an overview of the theoretical underpinnings of modern probabilistic programming…

Logbook for Special Edication doctoral program

Author:Vrubel Martin, Pančocha Karel, Vojtová Věra, Vítková Mari
Publisher:Masaryk University Press
Abstract: The LOGBOOK of academic activities is an overview of fulfilled requirements for the course and comp…

Real World Learning in Outdoor Environmental Education Programs

Author:Činčera Jan, Johnson Bruce, Kroufek Roman, Kolenatý Miloslav, Šimonová Petra, Zálešák Ja
Publisher:Masaryk University Press
Abstract: Title in English: Učení v opravdovém světě ve venkovních programech environmentální výchovy: Praxe …

Certified Programming with Dependent Types

Author:Chlipala Ada
Publisher:The MIT Press
Abstract: A handbook to the Coq software for writing and checking mathematical proofs, with a practical engin…

Evidence-Based Programming for Older Adults

Author:Marcia G Ory, Matthew Lee Smit
Publisher:Frontiers Media SA
Abstract: There is increased world-wide concern about the impact of multiple chronic conditions, especially a…

Attachment Assessment in treatments, prevention and intervention programs

Author:Silvia Salcun
Publisher:Frontiers Media SA
Abstract: Attachment theory, assessment and research offers a broad, far-reaching view of human functioning, …

Connecting the Dots Between Inflammation and the Inner Workings of Programmed Cell Death

Author:Kaufmann Thomas, Wei-Lynn Wong W.
Publisher:Frontiers Media SA
Abstract: This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics a…

Genetic Variability in Conservation and Selection Programs in the Post-Genomics Era

Author:Saura Maria, Bertolini Francesca, Palaiokostas Christos
Publisher:Frontiers Media SA
Abstract: This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics a…
Privacy Policy
Powered by: