Centrum Péče o zákazníky
Účet

Vítáme Vás, můžete se vytvořit účet. 68633h

0

Cart 6w3f1

0 products product 0 Kč (empty)

Košík je prázdný

' + (data.cname!='Nezařazeno' && data.cname!='Nezařazené' ? '

'+data.cname+'

' : '') + '

'; }, parse: function(data) { var mytab = new Array(); for (var i = 0; i < data.length; i++) mytab[mytab.length] = { data: data[i], value: data[i].pname }; return mytab; }, extraParams: { ajaxSearch: 1, id_lang: 6 } } ) .result(function(event, data, formatted) { $('#search_query_top').val(data.pname); document.location.href = data.product_link; }) }); // ]]>

Učebnice
Pro Děti
- Pro Nejmenší
- Pohádky, bajky
  - Pohádky
  - Bajky
- Báje a pověsti
- Naučné
  - Příroda
    - Dinosauři
    - Zvířata
    - Rostliny
    - Svět
  - Člověk
    - Lidské tělo
    - Dospívání
  - Věda a technika
  - Historie
  - Kultura
  - Vesmír
  - Náboženství
- Komiksy
- Zábava a hry
  - Sport
  - Puzzle
  - Pexesa
  - Samolepky
  - Hudba
  - Hračky
  - Razítka
  - Magnety
  - Tvoření
    - Malujeme • stříháme
    - Výtvarné potřeby
- Příběhy a romány
  - Dobrodružné, detekt..
  - Veselé příhody
Péče o dítě
Young Adult
Romány • beletrie
Detektivky • krimi
Fantasy • scifi
Thrillery • horory
- Thrillery
- Horory
Zdraví • diety
Kuchařky
Esoterika • astrolo..
Podnikání a účetnic..
Odborná • naučná
Rodina • vztahy • ..
Záliby
Ostatní kategorie

Programování

Termín obdržení zásilky
Česká pošta	Středa 18.06
PPL	Středa 18.06
Osobní odběr	Čtvrtek 19.06
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

The Little Typer 1r5p2n

1553 Kč 1 609 Kč

Odesíláme do 5 až 7 dní

Sleva až 70% u třetiny knih

Popis knihy

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

Autor:	Friedman, Daniel
Nakladatel:	MIT Press Ltd
ISBN:	9780262536431
Rok vydání:	2018
Jazyk :	Angličtina
Vazba:	Paperback / softback
Počet stran:	424

Mohlo by se vám také líbit..

Friedman, Daniel 1125 Kč 1339Kč Do košíku l5041
Friedman, Daniel 1145 Kč 1185Kč Do košíku 8h27
Baaz, Maria Eriksson; Stern, Maria 257 Kč 473Kč Do košíku 551711
Kelleher, John D. 348 Kč 446Kč Do košíku 5b1827
Murphy, Kevin P. 3003 Kč 3114Kč Do košíku 2w73e
Boden, Margaret A. 1268 Kč 1488Kč Do košíku 1o4tg
Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming) 1752 Kč Do košíku 4r868
Louridas, Panos (Athens University of Economics and Business) 1302 Kč 1348Kč Do košíku 585s4q
Greenblatt, Mark Lee 713 Kč 849Kč Do košíku 144hs
Davenport, Thomas H. 545 Kč 650Kč Do košíku 16c2m
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen) 1003 Kč 1037Kč Do košíku 7k2w
Sack, Warren (Chair + Professor, University of California, Santa Cruz) 1144 Kč 1184Kč Do košíku 2l1b41
Broussard, Meredith 290 Kč 371Kč Do košíku 5j3c4k
Felleisen, Matthias 1715 Kč 1776Kč Do košíku 3a1i1l
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt); Yi, Kwangkeun (Professor, Seoul National University) 2153 Kč 2232Kč Do košíku 6y4v71
Richard Sutton 2660 Kč Do košíku 4x485m