Verified Functional Programming in Agda
von Aaron Stump- Erstmals veröffentlicht
- 2016
- Verlage
- Morgan & Claypool Publishers
- Fächer
- Functional programming
Bücher
Śambūka's Death Toll
Aaron Sherraden
Translunar Narrative in the Western Tradition
Aaron Parrett
Official (ISC)2 CCSP CBK Reference
Aaron Kraus
Philosophy of Film
Aaron Smuts
Gender in Modern Russia
Aaron B. Retish
Whole World in an Uproar
Aaron Leonard
Mr. Either/or
Aaron Poochigian
Śambūka's Death Toll
Aaron Sherraden
Leukemia and Lymphoma Reviews
Aaron Polliack
What Is Religion?
Aaron W. Hughes
Million Views
Aaron Starmer
Align Method
Aaron Alexander
Mobile Edge Computing and Communications
Aaron Yi Ding
Sports Cardiology
Aaron Baggish
My Afternoon Guest
Aaron Zevy
Piponay Prawn and the Reef Orchestra
Aaron McPhail
Everybunny Loves Magic
Aaron Reynolds
Regalus Chronicles
Aaron Langley
Bad Guys #16
Aaron Blabey
MAVRICS Active Duty Ashcan Anthology
Aaron Neff
American Exception
Aaron Good
Global Media Arts Education
Aaron D. Knochel
Mosaic Crochet Ideas
Aaron Vasquez
Most Crucial Knots to Know
Aaron Linsdau
Redemptive Criminology
Aaron Pycroft
Chinese Zodiac Wooden Magnet Set
Aaron Hwang
Drive Time Deluxe Edition
Aaron Sigmond
Esther Tellermann
Aaron Prevots
Say Audrey
Aaron Akram
Re-Living the City
Aaron Betsky
Earth Filled with Heaven
Aaron Damiani
Pedagogy, Presence, and Motivation in Online Education
Aaron Michael Perez
Fart Quest
Aaron Reynolds
Doctor Strange Omnibus Vol. 1
Jason Aaron
Bad Guys
Blabey, Aaron
Heart to Heart
Aaron Weaver
The Angel Street Assassination
Aaron Gallagher
Esoteric Pure Land Buddhism
Aaron P. Proffitt
Edexcel GCSE History
Aaron Wilkes
Redemptive Criminology
Aaron Pycroft
T&T Clark Companion to the Theology of Kierkegaard
Aaron P. Edwards
Anxious Inheritance
Aaron W. Hughes
Burden of Exile
Aaron Berhane
Trickery, Treachery, and Deceit in Ancient Conflict
Aaron L. Beek
Early Childhood Theories Today
Aaron Bradbury
White Russian Cocktail
Aaron Vasquez
Right to Repair
Aaron Perzanowski
Thor Goddess of Thunder Omnibus
Jason Aaron
Sons of Sava
Aaron T. Brownell
New Models of Higher Education
Aaron M. Brower
Bad Guys 2 Colour Edition
Blabey, Aaron
Keystroke Capitalism
Aaron Sahr
Thor by Jason Aaron Omnibus
Jason Aaron
Season of the Bruja Vol. 1
Aaron Durán
Bad Guys in the Big Bad Wolf (SP TK)
Aaron Blabey
This Is Why They Hate Us
Aaron H. Aceves
Ladybug
Aaron Carr
Monash University
Aaron Vasquez
Boys Come First
Aaron Foley
Jane Foster
Jason Aaron
Ähnliche Bücher
Functional Programming for Dummies
John Paul Mueller
Advanced Functional Analysis
Eberhard Malkowsky
Approximation-Solvability of Nonlinear Functional and Differential Equations
Wolodymyr V. Petryshyn
Analytic Functions
Lars Valerian Ahlfors
Elementary Functional Analysis
Marat V. Markin
Applied Functional Analysis
J. Tinsley Oden
Spectral and Scattering Theory
M. Ikawa
First Course in Functional Analysis
Orr Moshe Shalit
The fermented man
Derek Dellinger
Verified Functional Programming in Agda
Aaron Stump
Lectures on Functional Analysis and the Lebesgue Integral
Vilmos Komornik
Analytic Functions
Lars Valerian Ahlfors
Functional Analysis
Gerardo Chacón
Lexical-functional syntax
Joan Bresnan
Superfoods 24/7
Jessica Nadel
Functional skills English level 1
Heather Gregson
Functional Analysis
Vagn Lundsgaard Hansen
Theory of Distributions
Svetlin Georgiev
Functional Analysis for Physics and Engineering
Hiroyuki Shima
Pseudo-Differential Operators and Generalized Functions
Stevan Pilipović
This book gathers peer-reviewed contributions representing modern trends in the theory of generalized functions and pseudo-differential operators.
Functional analysis
Markus Haase
Literacy for Childcare Students
June Green
The complete encyclopedia of superfoods
Audrey Deane
Geometric Aspects of Functional Analysis
Bo'az Klartag
Functional Analysis in Mechanics
Leonid P. Lebedev
Blaschke Products and Their Applications
Javad Mashreghi
¿blaschke products and their applications presents a collection of survey articles that examine blaschke products and several of its applications to fields such as approximation theory, differential equations, dynamical systems, harmonic analysis, to name a few.
Distribution Theory
Wilhelm W. Kecs
Theory of Linear Ill-Posed Problems and Its Applications
Valentin K. Ivanov
Survey of Adult Skills
OECD Publishing Staff
Distribution Theory
P.P. Teodorescu
Bahatokryterialʹna optymizat︠s︠ii︠a︡ na hrafakh
Viss. Hr Klymenko
A course in abstract analysis
John B. Conway
Nonlinear Inclusions and Hemivariational Inequalities
Stanisław Migórski
Number, shape, and symmetry
Diane Herrmann
Functional equations in mathematical analysis
Themistocles M. Rassias
101 best super foods
Betsy A. Hornick
Teoria delle distribuzioni
E. Magenes
Functional Programming in C#
Oliver Sturm
Functional programming for java developers
Dean Wampler
Haskell
Simon Thompson
Elementary Introduction to New Generalized Functions
J. F. Colombeau
Noncommutative Functional Calculus
Fabrizio Colombo
Adult literacy in a new era
Dianne Ramdeholl
Spectral and scattering theory and related topics, December 3-5, 2008
RIMS Workshop on Spectral and Scattering Theory and Related Topics (2008 Kyoto University)
Understanding adult functional literacy
Sheida White
Mathematical Analysis II
Claudio Canuto
Linear functional analysis
Joan Cerda
Real Analysis
Elias M. Stein
Functional Integration
Pierre Cartier
Analysis III
Sergei M. Nikol'skii
Maths and Literacy for Electrical
Andrew Spencer