Kód: 08034627
Qualified Types
Autor Mark P. Jones
Functional programming; Haskell, Gofer; type theory.
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 169
Nakladatelství: Cambridge University Press, 1994
- Více informací o knize
1371 Kč
Dostupnost:
50 % šance
Máme informaci, že by titul mohl být dostupný. Na základě vaší objednávky se ho pokusíme do 6 týdnů zajistit.Prohledáme celý svět
Mohlo by se vám také líbit
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.
Informovat o naskladnění knihy
Zašleme vám zprávu jakmile knihu naskladníme
Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.
Více informací o knize Qualified Types
Nákupem získáte 137 bodů
Anotace knihy
Functional programming; Haskell, Gofer; type theory.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation
1371 Kč
- Plný název: Qualified Types
- Podnázev: Theory and Practice
- Autor: Mark P. Jones
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 169
- EAN: 9780521472531
- ISBN: 9780521472531
- ID: 08034627
- Nakladatelství: Cambridge University Press
- Hmotnost: 503 g
- Rozměry: 256 × 179 × 15 mm
- Datum vydání: 03. November 1994
Oblíbené z jiného soudku
-
Concrete Mathematics
1789 Kč -
Type Theory and Formal Proof
2188 Kč -
P, NP, and NP-Completeness
3581 Kč -
Foundation Mathematics for Computer Science
1614 Kč -
Statistics for Data Scientists
1287 Kč -
Exploring RANDOMNESS
2521 Kč -
Art of Computer Programming, The
1684 Kč -
Art of Computer Programming, Volume 2
1995 Kč -
Graph Theory
1468 Kč -
Cryptanalysis
337 Kč -
Advanced R Statistical Programming and Data Models
1268 Kč -
Graph Theory
2066 Kč -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
1512 Kč -
Fundamentals of Quantum Computing
1614 Kč -
Art of Computer Programming, Volume 1, Fascicle 1, The
602 Kč -
Numerical Recipes Source Code CD-ROM 3rd Edition
3193 Kč -
More Math Into LaTeX
2048 Kč -
Boolean Algebras, 1
1182 Kč -
Data Structures and Network Algorithms
1675 Kč -
MATLAB Demystified
475 Kč -
Basic Category Theory for Computer Scientists
807 Kč -
Essential Linear Algebra with Applications
1238 Kč -
First Course in Statistical Programming with R
1178 Kč -
GIS Algorithms
2959 Kč -
Modal Logic
2918 Kč -
Introduction to Formal Language Theory
1182 Kč -
A Study of Braids
1182 Kč -
Deep Learning in Natural Language Processing
3971 Kč -
What Can Be Computed?
2532 Kč -
An Introduction to Quantum Computing Algorithms
1652 Kč -
Advanced Object-Oriented Programming in R
756 Kč -
Computational Introduction to Number Theory and Algebra
1911 Kč -
Discrete Mathematics for Computing
1966 Kč -
Numerical Validation in Current Hardware Architectures
1182 Kč -
Algorithms on Trees and Graphs
1500 Kč -
Pi-Calculus
2071 Kč -
Temporal Logics in Computer Science
3624 Kč -
Practical Introduction to Denotational Semantics
1002 Kč -
Programs, Recursion and Unbounded Choice
1453 Kč -
Introduction to Automata Theory, Languages, and Computation
6331 Kč -
Logic in Computer Science
1682 Kč -
Algorithmic Beauty of Plants
1841 Kč -
Guide to Scientific Computing in C++
807 Kč -
Practical Optimization
2074 Kč -
Category Theory Using Haskell
4599 Kč -
Computers and Intractability
4024 Kč -
Automata Theory and Formal Languages
1384 Kč -
Algorithms for Next-Generation Sequencing Data
3297 Kč -
P, NP, and NP-Completeness
1362 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)