Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Category Theory and Computer Science

6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Category Theory and Computer Science Peter Johnstone
Libristo kód: 05274486
Nakladatelství Springer, Berlin, listopad 1994
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

3D Puzzle 216 Teile - Iconics: Kolosseum Rom - mit Licht / Hra/Hračka Hra
common.buy 1 259 Kč
Theodor Storm Alfred Biese / Kniha Pevná
common.buy 813 Kč
Cesty božstev Jakub Havlíček / Kniha Brožovaná
common.buy 222 Kč
Malnata Anja Nattefort / Kniha Pevná
common.buy 473 Kč
Absentismus, Moeglichkeiten zur Reduzierung Carsten Müller / Kniha Brožovaná
common.buy 976 Kč
Estudio de la representación de los trabajadores Jaén Ballester / Kniha Brožovaná
common.buy 545 Kč
CELEBRACIO HERMO GONZALEZ / Digital Digital online
common.buy 515 Kč
PATACHOU LA CHANTEUSE DE MONTMARTRE PATACHOU / Digital Digital CD
common.buy 298 Kč
Střední, jižní a východní Evropa a rok 1918: společenské a mezinárodní souvislosti Markus Giger / Kniha Brožovaná
common.buy 150 Kč
Traditionelle Chinesische Medizin Paul U. Unschuld / Kniha Brožovaná
common.buy 239 Kč
Turismo Mochilero: ?Fin o Resurgimiento? Marina Perez / Kniha Brožovaná
common.buy 1 115 Kč
(CAT).(10).(4 ANYS-3R TRIM) ESPIRAL MAGICA INFANTIL RUIZ / Kniha Pevná
common.buy 1 009 Kč
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Kniha Brožovaná
common.buy 369 Kč
Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier / Kniha Brožovaná
common.buy 389 Kč
Arbeitsorganisation Und F hrungssystem Bei Den R mischen Agrarschriftstellern (Cato, Varro, Columella) Wilhelm Kaltenstadler / Kniha Brožovaná
common.buy 553 Kč
Abissinia Giornale di un viaggio Giuseppe Vigoni / Kniha Brožovaná
common.buy 368 Kč
Educación, creación e igualdad MARIAN LOPEZ FERNANDEZ CAO / Kniha Brožovaná
common.buy 253 Kč
Das Liederbuch 2004-2010 Silbermond / Kniha Brožovaná
common.buy 968 Kč

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Category Theory and Computer Science
Autor Peter Johnstone, David Pitt, David E. Rydeheard
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 259
EAN 9783540601647
ISBN 3540601643
Libristo kód 05274486
Nakladatelství Springer, Berlin
Váha 357
Rozměry 155 x 233 x 14

Kategorie

Matematika a věda > Matematika > Topologie > Algebraická topologie
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Advances in Cryptology - CRYPTO '90 Alfred J. Menezes / Kniha Brožovaná
common.buy 1 182 Kč
After the Chisholm George Rhoades / Kniha Brožovaná
common.buy 358 Kč
Temas de espanol Contrastiva:: Diferencias de usos gramaticales entre esp./rumano Alberto Madrona Fernández / Kniha Brožovaná
common.buy 446 Kč
Soldier for Christ John Zeugner / Kniha Pevná
common.buy 775 Kč
Scania 113 and 143 at Work Patrick Dyer / Kniha Pevná
common.buy 543 Kč
Restore and Rebalance Judith Hanson Lasater / Kniha Brožovaná
common.buy 407 Kč
Prevalence, Management, Perinatal Outcomes of Rhesus Negative Mothers Mugove Madziyire / Kniha Brožovaná
common.buy 732 Kč
Crafting the Facade Urs Meister / Kniha Pevná
common.buy 886 Kč
Emergency Relief Program (US Federal Transit Administration Regulation) (FTA) (2018 Edition) The Law Library / Kniha Brožovaná
common.buy 442 Kč
Beauty and the Bounty Robert J. Randisi / Kniha Brožovaná
common.buy 360 Kč
Knifemaking Michael Peterson / Kniha Brožovaná
common.buy 312 Kč
Fruitful Life B. Paxson Drury / Kniha Brožovaná
common.buy 447 Kč
Frank Miller's Daredevil Artist's Edition Klaus Janson / Kniha Pevná
common.buy 3 212 Kč
STATE & REVOLUTION LENIN V I / Kniha Brožovaná
common.buy 300 Kč
Top
When the Wolf Comes Home Nat Cassidy / Kniha Brožovaná
common.buy 219 Kč
Remember Me with Favor Burtner Burtner / Kniha Brožovaná
common.buy 1 100 Kč
Riemann's Boundary Problem with Infinite Index Nikolaj V. Govorov / Kniha Pevná
common.buy 2 357 Kč
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Kniha Brožovaná
common.buy 2 357 Kč
Framing ADHD Children Adam Rafalovich / Kniha Pevná
common.buy 2 936 Kč
Death, Dying, and Bereavement - A Hong Kong Chinese Experience Cecilia Lai Chan / Kniha Brožovaná
common.buy 671 Kč
On the Refinement Calculus Carroll Morgan / Kniha Brožovaná
common.buy 1 182 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?