Kód: 19364613
Little Typer
Autor Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 424
Nakladatelství: MIT Press Ltd, 2018
- Více informací o knize
Mohlo by se vám také líbit
-
The Deal
334 Kč -
The Long Game
227 Kč -
Role Model
227 Kč -
Common Goal
227 Kč -
The Ballad of Never After
227 Kč -
One Dark Window
251 Kč -
When the Moon Hatched
226 Kč -
86 - EIGHTY SIX, Vol. 1 (light novel)
251 Kč -
High Output Management
365 Kč -
Solo Leveling, Vol. 12 (Comic)
369 Kč -
Python Crash Course, 3rd Edition
786 Kč -
Scum Villain's Self-Saving System: Ren Zha Fanpai Zijiu Xitong (Novel) Vol. 1
322 Kč -
Thinking In Bets
369 Kč -
Swordheart
248 Kč -
Paddington Little Library
162 Kč -
Harry Potter and the Philosopher's Stone
835 Kč -
One Piece (Omnibus Edition), Vol. 29
308 Kč -
100 Deadly Skills: Survival Edition
358 Kč -
The Lies of Locke Lamora
235 Kč -
Avatar: The Last Airbender - Smoke and Shadow Omnibus
407 Kč -
Summer I Turned Pretty
225 Kč -
Star Wars - Book of Sith
380 Kč -
The Power of Now
326 Kč -
Open
235 Kč -
Garden Sounds
292 Kč -
Animator's Survival Kit
883 Kč -
IELTS Vocabulary Masterclass 8.5. Master Phrasal Verbs, Essay Vocabulary, Graph Vocabulary & Speaking Vocabulary
479 Kč -
Grand Chessboard
491 Kč -
Banana Fish, Vol. 12
221 Kč -
Court
235 Kč -
The House Witch
288 Kč -
Daily Painting
412 Kč -
Jiu-jitsu University
791 Kč -
Ego is the Enemy
221 Kč -
BEASTARS, Vol. 11
303 Kč -
Complete Swedish Beginner to Intermediate Course
723 Kč -
Skin in the Game
219 Kč -
Infinite Powers: How Calculus Reveals the Secrets of the Universe
358 Kč -
Lackadaisy
371 Kč -
Short Stories in Norwegian for Beginners
235 Kč -
A Touch of Ruin
227 Kč -
How to Solve It
491 Kč -
Drawing on the Right Side of the Brain Workbook
469 Kč -
How Music Works
423 Kč -
Lore Olympus: Volume Six
465 Kč -
Joy of x
251 Kč -
Intuitive Eating, 4th Edition
335 Kč -
Perfect Pocket Puzzles: Sudoku
162 Kč -
Egon Schiele. The Paintings.
555 Kč -
RYA Day Skipper Handbook - Sail
551 Kč -
How to Prove It
1058 Kč -
Work Your Light Oracle Cards
381 Kč -
Soccermatics
235 Kč -
Queen of the Moon Oracle
429 Kč -
What My Mother and I Don't Talk About
248 Kč -
Sketch with Asia
568 Kč -
Algorithmic and High-Frequency Trading
1919 Kč -
Overlord, Vol. 13
359 Kč -
Angel Answers Oracle Cards
408 Kč -
Life Is Strange Vol. 1: Dust
317 Kč -
Learning SQL
1049 Kč -
Wonder Woman by George Perez Vol. 1 (New Edition)
678 Kč -
Pasta Night
334 Kč -
How to Tell If Your Cat Is Plotting to Kill You
276 Kč -
Total Immersion
292 Kč -
Koolhaas. Countryside. A Report
467 Kč -
Family of Man
568 Kč -
John Howe's Ultimate Fantasy Art Academy
443 Kč -
Echo Burning
219 Kč -
Little Schemer
1157 Kč -
Medical Medium Brain Saver Protocols, Cleanses & Recipe
705 Kč -
Mythologia Fennica Tarot
510 Kč -
Turtles All the Way Down
227 Kč -
Something Like An Autobiography
303 Kč -
Who Am I?
256 Kč -
The Steampunk Tarot
543 Kč -
Playground – A Novel
314 Kč -
Animals in Translation
298 Kč -
Young Ladies Don't Play Fighting Games Vol. 3
235 Kč -
Legend of Zelda: Twilight Princess, Vol. 5
205 Kč -
Peppa Pig: Peppa the Mermaid
214 Kč -
Every Pill I Took: 2000-2001
518 Kč -
A-FRAME
540 Kč -
Proofs from THE BOOK
1384 Kč -
Black Prism
332 Kč -
Fender 75 Years
956 Kč -
Joy of X
248 Kč -
Reasoned Schemer
1210 Kč -
Seasoned Schemer
1337 Kč -
U.S. Army Special Forces Guide to Unconventional Warfare
258 Kč -
Invitation to Applied Category Theory
1426 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Little Typer
Nákupem získáte 137 bodů
Anotace knihy
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Mobile & handheld device programming / Apps programming
1367 Kč
- Plný název: Little Typer
- Autor: Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 424
- EAN: 9780262536431
- ISBN: 9780262536431
- ID: 19364613
- Nakladatelství: MIT Press Ltd
- Hmotnost: 666 g
- Rozměry: 227 × 179 × 22 mm
- Datum vydání: 18. September 2018
Oblíbené z jiného soudku
-
Mastering ArcGIS Enterprise Administration
1296 Kč -
Little Prover
1143 Kč -
Xamarin.Forms Solutions
653 Kč -
Kotlin Programming
1015 Kč -
Android Security Internals
802 Kč -
Inside the Android OS
956 Kč -
Android Programming
1207 Kč -
Building Mobile Applications with Java
491 Kč -
App Inventor 2, 2e
645 Kč -
Learning Android
608 Kč -
Xamarin Mobile Application Development
1525 Kč -
Android Development with Kotlin
1143 Kč -
Pro Android with Kotlin
1025 Kč -
Hacking Android
1143 Kč -
Gradle for Android
721 Kč -
Beginning NFC
721 Kč -
Kotlin for Android App Development
825 Kč -
Programming Flutter
999 Kč -
Practical Flutter
941 Kč -
Android Cookbook, 2e
1636 Kč -
Delphi Cookbook -
1296 Kč -
Android Programming
858 Kč -
Pro Android C++ with the NDK
1155 Kč -
Definitive Guide to Firebase
1358 Kč -
Advanced Android Application Development
377 Kč -
Practical Android
858 Kč -
Android Security Cookbook
1143 Kč -
Apache Maven Cookbook
1296 Kč -
Pro Android 5
1191 Kč -
Hello! App Inventor
1001 Kč -
Learning React Native
1407 Kč -
Learn Android Studio
1155 Kč -
Flutter for Beginners
1404 Kč -
Android System Programming
1296 Kč -
Android Studio 4.0 Development Essentials - Kotlin Edition
1034 Kč -
React Material-UI Cookbook
1034 Kč -
Swift Programming in easy steps
305 Kč -
Flutter for Beginners
925 Kč -
Android App Development For Dummies 3e
525 Kč -
Head First Android Development
843 Kč -
Expert Android Programming
1143 Kč -
50 Android Hacks
882 Kč -
Mobile Test Automation with Appium
1034 Kč -
Learning Embedded Android N Programming
1143 Kč -
Pro Android Python with SL4A
1115 Kč -
NativeScript for Angular Mobile Development
1143 Kč -
Mobile Applications Development
1208 Kč -
Android Essentials
756 Kč -
Beginning Hybrid Mobile Application Development
1384 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46863 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)