Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Category Theory and Computer Science

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Category Theory and Computer Science Peter Johnstone
Libristo kod: 05274486
Nakladnici Springer, Berlin, studeni 1994
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

3D Puzzle 216 Teile - Iconics: Kolosseum Rom - mit Licht / Igra/Igračka Igra
common.buy 51.98 €
Theodor Storm Alfred Biese / Knjiga Tvrdi uvez
common.buy 35.70 €
Cesty božstev Jakub Havlíček / Knjiga Meki uvez
common.buy 8.89 €
Malnata Anja Nattefort / Knjiga Tvrdi uvez
common.buy 20.83 €
Absentismus, Moeglichkeiten zur Reduzierung Carsten Müller / Knjiga Meki uvez
common.buy 42.78 €
Estudio de la representación de los trabajadores Jaén Ballester / Knjiga Meki uvez
common.buy 21.54 €
CELEBRACIO HERMO GONZALEZ / Digital Digital online
common.buy 20.22 €
PATACHOU LA CHANTEUSE DE MONTMARTRE PATACHOU / Digital Digital CD
common.buy 11.83 €
Střední, jižní a východní Evropa a rok 1918: společenské a mezinárodní souvislosti Markus Giger / Knjiga Meki uvez
common.buy 6.06 €
Traditionelle Chinesische Medizin Paul U. Unschuld / Knjiga Meki uvez
common.buy 9.40 €
Turismo Mochilero: ?Fin o Resurgimiento? Marina Perez / Knjiga Meki uvez
common.buy 48.95 €
(CAT).(10).(4 ANYS-3R TRIM) ESPIRAL MAGICA INFANTIL RUIZ / Knjiga Tvrdi uvez
common.buy 39.74 €
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Knjiga Meki uvez
common.buy 16.18 €
Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier / Knjiga Meki uvez
common.buy 17.09 €
Arbeitsorganisation Und F hrungssystem Bei Den R mischen Agrarschriftstellern (Cato, Varro, Columella) Wilhelm Kaltenstadler / Knjiga Meki uvez
common.buy 24.07 €
Abissinia Giornale di un viaggio Giuseppe Vigoni / Knjiga Meki uvez
common.buy 16.18 €
Educación, creación e igualdad MARIAN LOPEZ FERNANDEZ CAO / Knjiga Meki uvez
common.buy 11.02 €
Das Liederbuch 2004-2010 Silbermond / Knjiga Meki uvez
common.buy 38.33 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Category Theory and Computer Science
Autor Peter Johnstone, David Pitt, David E. Rydeheard
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1995
Broj stranica 259
EAN 9783540601647
ISBN 3540601643
Libristo kod 05274486
Nakladnici Springer, Berlin
Težina 357
Dimenzije 155 x 233 x 14

Kategorija

Mathematics & Science > Mathematics > Topology > Algebraic topology
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Advances in Cryptology - CRYPTO '90 Alfred J. Menezes / Knjiga Meki uvez
common.buy 51.68 €
After the Chisholm George Rhoades / Knjiga Meki uvez
common.buy 15.57 €
Temas de espanol Contrastiva:: Diferencias de usos gramaticales entre esp./rumano Alberto Madrona Fernández / Knjiga Meki uvez
common.buy 17.59 €
Soldier for Christ John Zeugner / Knjiga Tvrdi uvez
common.buy 34.08 €
Scania 113 and 143 at Work Patrick Dyer / Knjiga Tvrdi uvez
common.buy 23.76 €
Restore and Rebalance Judith Hanson Lasater / Knjiga Meki uvez
common.buy 18.10 €
Prevalence, Management, Perinatal Outcomes of Rhesus Negative Mothers Mugove Madziyire / Knjiga Meki uvez
common.buy 32.06 €
Crafting the Facade Urs Meister / Knjiga Tvrdi uvez
common.buy 39.04 €
Emergency Relief Program (US Federal Transit Administration Regulation) (FTA) (2018 Edition) The Law Library / Knjiga Meki uvez
common.buy 19.21 €
Beauty and the Bounty Robert J. Randisi / Knjiga Meki uvez
common.buy 15.57 €
Knifemaking Michael Peterson / Knjiga Meki uvez
common.buy 14.66 €
Fruitful Life B. Paxson Drury / Knjiga Meki uvez
common.buy 19.61 €
Frank Miller's Daredevil Artist's Edition Klaus Janson / Knjiga Tvrdi uvez
common.buy 142.22 €
STATE & REVOLUTION LENIN V I / Knjiga Meki uvez
common.buy 13.24 €
Top
When the Wolf Comes Home Nat Cassidy / Knjiga Meki uvez
common.buy 9.70 €
Remember Me with Favor Burtner Burtner / Knjiga Meki uvez
common.buy 47.74 €
Riemann's Boundary Problem with Infinite Index Nikolaj V. Govorov / Knjiga Tvrdi uvez
common.buy 102.97 €
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Knjiga Meki uvez
common.buy 102.97 €
Framing ADHD Children Adam Rafalovich / Knjiga Tvrdi uvez
common.buy 127.75 €
Death, Dying, and Bereavement - A Hong Kong Chinese Experience Cecilia Lai Chan / Knjiga Meki uvez
common.buy 29.02 €
On the Refinement Calculus Carroll Morgan / Knjiga Meki uvez
common.buy 51.68 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?