Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Category Theory and Computer Science

Name: Category Theory and Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565222
Price: 48.52 EUR
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

Nakladateľstvo 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

117 b

48.52 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

On the Way to the Web Michael Banks

Brožovaná

14.75 €

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

Brožovaná

162.95 €

Biomedical Signals and Sensors II Eugenijus Kaniusas

Pevná

123.43 €

Rules for Vanishing Kate Alice Marshall

Pevná

20.11 €

That Fruit Is Mine! Anuska Allepuz

Brožovaná

8.68 €

The Fates Divide Veronica Roth

Brožovaná

12.02 €

Memoirs of a Book Thief Alessandro Tota

Pevná

18.09 €

Harvest of Sorrow Robert Conquest

Brožovaná

21.22 €

Down On Me J Kenner

Brožovaná

13.23 €

Through Russia Maxim Gorky

Brožovaná

12.53 €

Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows

Brožovaná

7.98 €

Advances in Financial Machine Learning Marcos Lopez de Prado

Pevná

38.81 €

Language and Politics William M. O'Barr

Pevná

148.80 €

Is Your Liver Making You Fat? Christy Belmont

Brožovaná

5.85 €

The Teeth Whitening Cure Dds Lester Sawicki

Brožovaná

8.99 €

Saving Ourselves: Interviews With World Leaders On The Sustainable Transition Yacine Belhaj-Bouabdallah

Brožovaná

29.21 €

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

Brožovaná

14.85 €

Category Theory in Context Riehl

Brožovaná

25.06 €

Our Voices Alberto Gonzalez

Brožovaná

166.19 €

Falcons Melissa Gish

Brožovaná

11.51 €

Roadside Picnic Boris Strugatsky

Brožovaná

11.31 €

Bank Treasury Management Beata Lubinska

Pevná

58.12 €

An Introduction to Theory of Computation Mitsunori Ogihara

Pevná

80.56 €

Peaks of the Balkans Trail Rudolf Abraham

Brožovaná

21.93 €

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.