Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01565222

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Celoten opis

Koda Libristo: 01565222

117 b

48.52 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Morda bi vas zanimalo tudi

On the Way to the Web Michael Banks

Mehka

14.75 €

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

Mehka

162.95 €

Biomedical Signals and Sensors II Eugenijus Kaniusas

Trda

123.43 €

Rules for Vanishing Kate Alice Marshall

Trda

18.79 €

That Fruit Is Mine! Anuska Allepuz

Mehka

8.08 €

The Fates Divide Veronica Roth

Mehka

12.02 €

Memoirs of a Book Thief Alessandro Tota

Trda

18.09 €

Harvest of Sorrow Robert Conquest

Mehka

19.80 €

Down On Me J Kenner

Mehka

13.23 €

Through Russia Maxim Gorky

Mehka

12.53 €

Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows

Mehka

7.98 €

Advances in Financial Machine Learning Marcos Lopez de Prado

Trda

38.81 €

Language and Politics William M. O'Barr

Trda

148.80 €

Is Your Liver Making You Fat? Christy Belmont

Mehka

5.85 €

The Teeth Whitening Cure Dds Lester Sawicki

Mehka

8.99 €

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

Mehka

29.21 €

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

Mehka

14.04 €

Category Theory in Context Riehl

Mehka

25.06 €

Our Voices Alberto Gonzalez

Mehka

166.19 €

Falcons Melissa Gish

Mehka

10.91 €

Roadside Picnic Boris Strugatsky

Mehka

10.40 €

Bank Treasury Management Beata Lubinska

Trda

58.12 €

An Introduction to Theory of Computation Mitsunori Ogihara

Trda

80.56 €

Peaks of the Balkans Trail Rudolf Abraham

Mehka

18.69 €

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.