Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Category Theory and Computer Science

Name: Category Theory and Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565222
Price: 1110 CZK
Availability: InStock
Author: David H. Pitt
ISBN: 9783540516620

Manchester, UK, September 5-8, 1989. Proceedings

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01565222

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Celý popis

Libristo kód: 01565222

111 b

1 110 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

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

Mohlo by vás také zajímat

On the Way to the Web Michael Banks

Brožovaná

368 Kč

Abstract Algebra 3e (WSE) I.N. Herstein

Brožovaná

4 052 Kč

Biomedical Signals and Sensors II Eugenijus Kaniusas

Pevná

2 826 Kč

Down On Me J Kenner

Brožovaná

328 Kč

Kiwi Air Power: A history of the RNZAF to the end of the Cold War Matthew Wright

Brožovaná

774 Kč

Impromptus Op. 29, 36, 51: Chopin National Edition Frederic Chopin

Brožovaná

317 Kč

Language and Politics William M. O'Barr

Pevná

3 412 Kč

That Fruit Is Mine! Anuska Allepuz

Brožovaná

196 Kč

The Fates Divide Veronica Roth

Brožovaná

307 Kč

Revenge of the Brotherhood Larry Miller

Brožovaná

290 Kč

Memoirs of a Book Thief Alessandro Tota

Pevná

360 Kč

Harvest of Sorrow Robert Conquest

Brožovaná

479 Kč

Category Theory in Context Riehl

Brožovaná

582 Kč

Through Russia Maxim Gorky

Brožovaná

312 Kč

Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows

Brožovaná

198 Kč

Advances in Financial Machine Learning Marcos Lopez de Prado

Pevná

967 Kč

Black is Love Paul Abiola Oku-Ola

Brožovaná

163 Kč

Is Your Liver Making You Fat? Christy Belmont

Brožovaná

153 Kč

The Teeth Whitening Cure Dds Lester Sawicki

Brožovaná

222 Kč

Hegde's PocketGuide to Assessment in Speech-Language Pathology MN Hegde

Brožovaná

2 517 Kč

New GCSE English Literature AQA Complete Revision & Practice - includes Online Edition CGP Books

Brožovaná

319 Kč

The Quick Quarterback Michelle Lord

Brožovaná

164 Kč

A First Course in Category Theory Ana Agore

Brožovaná

1 384 Kč

Gather Your Ancestors Raevin Jimenez

Pevná

2 463 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.