Kod: 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.
- Język:
Angielski - Oprawa: Miękka
- Liczba stron: 424
Wydawca: MIT Press Ltd, 2018
- Więcej informacji o książce
44.94 €
Zwykle: 51.07 €
Oszczędzasz 6.13 €
Dostępna u dostawcy
Wysyłamy za 3 - 5 dni
Zobacz książki o podobnej tematyce
-
Reasoned Schemer
49.54 € -
Differential Equations with Applications and Historical Notes
136.68 € -
Joy of x
14.70 € -10 % -
How to Solve It
17.15 € -19 % -
Infinite Powers: How Calculus Reveals the Secrets of the Universe
15.01 € -22 % -
How to Prove It
49.84 € -
Joy of X
12.25 € -23 % -
Proofs from THE BOOK
65.07 € -8 % -
Daily Painting
20.12 € -20 % -
Black Prism
9.80 € -24 % -
Family of Man
25.43 € -10 % -
Short Stories in Norwegian for Beginners
13.07 € -9 % -
IELTS Vocabulary Masterclass 8.5. Master Phrasal Verbs, Essay Vocabulary, Graph Vocabulary & Speaking Vocabulary
23.69 € -2 % -
What My Mother and I Don't Talk About
12.25 € -23 % -
Intuitive Eating, 4th Edition
15.72 € -23 % -
Queen of the Moon Oracle
20.22 € -23 % -
Sketch with Asia
28.08 € -21 % -
Angel Answers Oracle Cards
19.71 € -8 % -
Peppa Pig: Peppa the Mermaid
7.96 € -22 % -
The Deal
14.80 € -19 % -
Thinking In Bets
17.77 € -17 % -
86 - EIGHTY SIX, Vol. 1 (light novel)
14.19 € -8 % -
Ariana Grande
22.67 € -
ASP.NET Core 5 and Angular
91.63 € -
Glucose Goddess Method: A 4-Week Guide to Cutting Cravings, Getting Your Energy Back, and Feeling Amazing
30.33 € -16 % -
The Stolen Heir
18.69 € -23 % -
Medical Medium Brain Saver Protocols, Cleanses & Recipe
38.40 € -16 % -
Every Pill I Took: 2000-2001
21.55 € -
Fire Heart
39.12 € -
A Touch of Ruin
9.39 € -21 % -
Avatar: The Last Airbender - Smoke and Shadow Omnibus
23.18 € -11 % -
Koolhaas. Countryside. A Report
21.34 € -
John Howe's Ultimate Fantasy Art Academy
24 € -16 % -
Overlord, Vol. 13
20.42 € -4 % -
BEASTARS, Vol. 11
12.56 € -13 % -
Pokemon: Super Extra Deluxe Essential Handbook
13.47 € -17 % -
Egon Schiele. The Paintings.
25.43 € -
Jasper Vale
25.33 € -
Eat That Frog!
12.25 € -23 % -
Paddington Little Library
8.98 € -13 % -
How Music Works
18.38 € -
The Power of Now
12.86 € -24 % -
The Lies of Locke Lamora
11.64 € -19 % -
Secret of Perfect Vision
20.73 € -14 % -
The Silmarillion
22.16 € -14 % -
The Steampunk Tarot
32.68 € -1 % -
Environmental Policy and Fiscal Federalism - Selected Essays of Wallace E. Oates
165.59 € -10 % -
Wisdom of Hypatia
25.22 € -3 % -
The House Witch
14.39 € -23 % -
Something Like An Autobiography
15.62 € -19 % -
Fifty Shades of Jamie Dornan
18.07 € -
Grokking Algorithms
60.77 € -
Work Your Light Oracle Cards
22.57 € -3 % -
Time Machine
27.57 € -
How to Tell If Your Cat Is Plotting to Kill You
12.45 € -14 % -
100 Deadly Skills: Survival Edition
21.24 € -
Finale
21.95 € -6 % -
Summer I Turned Pretty
13.07 € -
Diary in the Strict Sense of the Term
51.07 € -
Star Wars - Book of Sith
18.69 € -23 % -
Grand Chessboard
22.67 € -
Secret Lives of Colour
19.91 € -30 % -
Categories for the Working Mathematician
84.17 € -
Open
16.64 € -
RYA Day Skipper Handbook - Sail
24.92 € -14 % -
CUANDO NO QUEDEN MAS ESTRELLAS QUE CONTAR
18.89 € -5 % -
Naruto 1
7.24 € -5 % -
Das Unbehagen in der Kultur
6.94 € -
Cet hiver - Une novella dans l'univers de Heartstopper
18.89 € -
Amiens. La Cathédrale Notre-Dame (Nouvelle édition)
16.85 €
Podaruj tę książkę jeszcze dziś
- Zamów książkę i wybierz "Wyślij jako prezent".
- Natychmiast wyślemy Ci bon podarunkowy, który możesz przekazać adresatowi prezentu.
- Książka zostanie wysłana do adresata, a Ty o nic nie musisz się martwić.
Więcej informacji o Little Typer
Za ten zakup dostaniesz 111 punkty
Opis
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Szczegóły książki
Kategoria Książki po angielsku Computing & information technology Computer programming / software development Mobile & handheld device programming / Apps programming
44.94 €
- Pełny tytuł: Little Typer
- Autor: Friedman, Daniel P. (Professor, Indiana University), David Thrane Christiansen
- Język: Angielski
- Oprawa: Miękka
- Liczba stron: 424
- EAN: 9780262536431
- ISBN: 9780262536431
- ID: 19364613
- Wydawca: MIT Press Ltd
- Waga: 666 g
- Wymiary: 227 × 179 × 22 mm
- Data wydania: 18. September 2018
Ulubione w innej kategorii
-
Unity Game Development Cookbook
52.91 € -21 % -
Inside the Android OS
46.88 € -7 % -
Apache Maven Cookbook
57.51 € -
Android Programming
56.59 € -
Android Security Internals
52.09 € -23 % -
App Inventor 2, 2e
38.71 € -6 % -
Building Mobile Applications with Java
26.14 € -
Learning Android
34.11 € -6 % -
Beginning Android Programming with Android Studio
38.71 € -6 % -
Kotlin Programming
51.17 € -4 % -
Pro Android with Kotlin
58.43 € -3 % -
Hacking Android
58.94 € -
Programming Flutter
41.88 € -23 % -
Practical Flutter
53.62 € -4 % -
Pro Android C++ with the NDK
64.45 € -
Hello! App Inventor
51.89 € -
Delphi Cookbook -
65.88 € -
Pro Android 5
61.39 € -13 % -
Android Programming
45.66 € -
Advanced Android Application Development
37.48 € -40 % -
Practical Android
44.74 € -12 % -
Xamarin Mobile Application Development
86.83 € -4 % -
Beginning NFC
33.60 € -
Gradle for Android
38.30 € -
Kotlin for Android App Development
49.23 € -
Android Design Patterns and Best Practice
58.94 € -
Sams Teach Yourself Java in 21 Days (Covers Java 11/12)
44.12 € -4 % -
Apple Pay Essentials
40.24 € -
Learn Java for Android Development
96.43 € -3 % -
Learn Android Studio 3 with Kotlin
58.43 € -3 % -
Expert Android Programming
58.94 € -
Building Android Apps with HTML, CSS and JavaScript, 2e
38.71 € -6 % -
Android Recipes
48.92 € -3 % -
Developing Android Applications with Adobe AIR
50.46 € -
Mastering Android NDK
65.88 € -
jQuery Mobile
34.11 € -6 % -
Build Location-Based Projects for iOS
34.52 € -
Android System Programming
58.94 € -
Android Development with Kotlin
58.94 € -
Little Prover
52.81 € -2 % -
Learn Android Studio
64.45 € -
Definitive Guide to Firebase
77.43 € -3 % -
Android Cookbook, 2e
87.03 € -
Professional NFC Application Development for Android
45.66 € -
Developing Inclusive Mobile Apps
53.62 € -4 % -
Flutter for Beginners
47.29 € -
Android App Development For Dummies 3e
34.62 € -4 % -
Learning React Native
74.87 € -
Building Progressive Web Apps
62.61 €
O nas
Przewodnik
Według języka
Osobní odběr Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Wszelkie prawa zastrzeżonePrywatnieCookies
Vrácení do měsíce
Zdarma od 49.99 €
02/210 210 99 (8-15.30h)