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: 01558474
Price: 51.66 EUR
Availability: InStock
Author: David H. Pitt
ISBN: 9783540185086

Edinburgh, UK, September 7-9, 1987. Proceedings

David H. Pitt

Axel Poigne

David E. Rydeheard

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01558474

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2006

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

Libristo kód: 01558474

125 b

51.66 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Giọt Sầu Mua Thu Ty M Dang

Brožovaná

14.85 €

Tractatus logico-philosophicus Wittgenstein Ludwig

Brožovaná

5.15 €

Destination Petrograd Duncan Harding

Adobe ePub DRM

8.79 €

Марк i Єва. Чудний потяг Isabelle Guillen

Pevná

12.22 €

EL POZO DE LA ASCENSION NACIDOS DE LA BRUMA MISTBORN 2 Brandon Sanderson

Kniha

34.77 €

Conan der Zerstörer, 1 DVD Richard Fleischer

DVD

12.43 €

MONTAÑAS GIMENEZ

Pevná

25.98 €

Körpersprache Techniken

Brožovaná

8.28 €

48 Recetas De Comidas Poderosas Que Ayudaran A Controlar Su Presion Sanguinea Alta Joe Correa

Brožovaná

19.30 €

Biblia Cu Predici Şi SchiŢe Pentru Predicatori Leadership Ministries Worldwide

Brožovaná

31.23 €

Geschichte der schwabischen Mundart in Mittelalter und in der Neuzeit Friedrich Kauffmann

Brožovaná

26.79 €

Naděje je na další stránce

Kniha

3.43 €

Platónův dialog Lysis

binding.

8.58 €

Raduga po-novomu 4 Příručka učitele Stanislav Jelínek

Brožovaná

24.86 €

DELF junior et scolaire Alain Rausch

Brožovaná

17.48 €

Globalisierung Andreas Niederberger

Pevná

19.40 €

Berserk Max. Bd.5 Kentaro Miura

Brožovaná

11.42 €

Businessplan Ergotherapie Andrea I Mayer

Brožovaná

13.54 €

La foto de los diez mil me gusta NANDO LOPEZ

Brožovaná

11.72 €

Selbststandig als Physiotherapeut in Zeiten leerer Kassen Robert Pastätter

Brožovaná

49.94 €

Rachunkowosc kurs podstawowy Edward Nowak

Brožovaná

16.98 €

Las catedrales de Francia Auguste Rodin

Brožovaná

33.05 €

"Zlaté šesťdesiate" v rozdelenom svete Slavomír Michálek

Pevná

13.64 €

Memoires Tires Des Papiers d'Un Homme d'Etat Sur Les Causes Secretes Tome 2 D ALLONVILLE-A

Brožovaná

34.37 €

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.