Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Category Theory and Computer Science

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

Limba englezăengleză
Carte Carte broșată
Carte Category Theory and Computer Science Peter Johnstone
Codul Libristo: 05274486
Editura Springer, Berlin, noiembrie 1994
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Descrierea completă
? points 132 b
284.66 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

3D Puzzle 216 Teile - Iconics: Kolosseum Rom - mit Licht / Joc / Jucărie Joc
common.buy 287.26 lei
PATACHOU LA CHANTEUSE DE MONTMARTRE PATACHOU / Digital CD digital
common.buy 64.13 lei
Cesty božstev Jakub Havlíček / Carte Carte broșată
common.buy 49.70 lei
Malnata Anja Nattefort / Carte Copertă tare
common.buy 129.41 lei
CELEBRACIO HERMO GONZALEZ / Digital Digital online
common.buy 110.83 lei
principio de Peter 50Minutos / Carte Carte broșată
common.buy 75.23 lei
O socjologii w Polsce Ludowej rozmów jedenaście Wiatr Jerzy J. / Carte Carte broșată
common.buy 68.90 lei
Estudio de la representación de los trabajadores Jaén Ballester / Carte Carte broșată
common.buy 117.16 lei
Menschenrechte Kurt Seelmann / E-book Adobe ePub DRM
common.buy 816.76 lei
Střední, jižní a východní Evropa a rok 1918: společenské a mezinárodní souvislosti Markus Giger / Carte Carte broșată
common.buy 33.72 lei
Turismo Mochilero: ?Fin o Resurgimiento? Marina Perez / Carte Carte broșată
common.buy 270.96 lei
(CAT).(10).(4 ANYS-3R TRIM) ESPIRAL MAGICA INFANTIL RUIZ / Carte Copertă tare
common.buy 217.83 lei
Arbeitsorganisation Und F hrungssystem Bei Den R mischen Agrarschriftstellern (Cato, Varro, Columella) Wilhelm Kaltenstadler / Carte Carte broșată
common.buy 132.73 lei
Educación, creación e igualdad MARIAN LOPEZ FERNANDEZ CAO / Carte Carte broșată
common.buy 61.12 lei
Theodor Storm Alfred Biese / Carte Copertă tare
common.buy 197.49 lei
Das Liederbuch 2004-2010 Silbermond / Carte Carte broșată
common.buy 209.01 lei
Abissinia Giornale di un viaggio Giuseppe Vigoni / Carte Carte broșată
common.buy 89.45 lei
Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier / Carte Carte broșată
common.buy 94.64 lei
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Carte Carte broșată
common.buy 89.45 lei
Traditionelle Chinesische Medizin Paul U. Unschuld / Carte Carte broșată
common.buy 51.47 lei
Absentismus, Moeglichkeiten zur Reduzierung Carsten Müller / Carte Carte broșată
common.buy 237.34 lei
Leben der Katharer im spatmittelalterlichen Frankreich Saskia Bommert / Carte Carte broșată
common.buy 119.55 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Category Theory and Computer Science
Autor Peter Johnstone, David Pitt, David E. Rydeheard
Limba engleză
Legare Carte - Carte broșată
Data publicării 1995
Număr pagini 259
EAN 9783540601647
ISBN 3540601643
Codul Libristo 05274486
Editura Springer, Berlin
Greutatea 357
Dimensiuni 155 x 233 x 14

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Advances in Cryptology - CRYPTO '90 Alfred J. Menezes / Carte Carte broșată
common.buy 284.66 lei
Remember Me with Favor Burtner Burtner / Carte Carte broșată
common.buy 261.94 lei
After the Chisholm George Rhoades / Carte Carte broșată
common.buy 85.09 lei
Archives Power: Memory, Accountability, and Social Justice Randall C. Jimerson / Carte Carte broșată
common.buy 365.72 lei
Soldier for Christ John Zeugner / Carte Copertă tare
common.buy 189.70 lei
Scania 113 and 143 at Work Patrick Dyer / Carte Copertă tare
common.buy 131.17 lei
Restore and Rebalance Judith Hanson Lasater / Carte Carte broșată
common.buy 100.97 lei
Temas de espanol Contrastiva:: Diferencias de usos gramaticales entre esp./rumano Alberto Madrona Fernández / Carte Carte broșată
common.buy 95.99 lei
Prevalence, Management, Perinatal Outcomes of Rhesus Negative Mothers Mugove Madziyire / Carte Carte broșată
common.buy 177.87 lei
Crafting the Facade Urs Meister / Carte Copertă tare
common.buy 204.03 lei
Fruitful Life B. Paxson Drury / Carte Carte broșată
common.buy 108.23 lei
Knifemaking Michael Peterson / Carte Carte broșată
common.buy 81.67 lei
Emergency Relief Program (US Federal Transit Administration Regulation) (FTA) (2018 Edition) The Law Library / Carte Carte broșată
common.buy 105.64 lei
Beauty and the Bounty Robert J. Randisi / Carte Carte broșată
common.buy 85.61 lei
Funko POP! Vinyl: Harry Potter Figur Dumbledore w/Baby Harry 9 cm / Joc / Jucărie Jucărie
common.buy 101.18 lei
Frank Miller's Daredevil Artist's Edition Klaus Janson / Carte Copertă tare
common.buy 793.40 lei
Crimmigration in the Age of COVID-19 Robert Koulish / Carte Copertă tare
common.buy 317.04 lei
Riemann's Boundary Problem with Infinite Index Nikolaj V. Govorov / Carte Copertă tare
common.buy 567.78 lei
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Carte Carte broșată
common.buy 567.78 lei
Curând
Routledge Handbook of Religion and American Culture Chad E. Seales / Carte Carte broșată
common.buy 382.32 lei
Top Curând
STATE & REVOLUTION LENIN V I / Carte Carte broșată
common.buy 80.42 lei
Framing ADHD Children Adam Rafalovich / Carte Copertă tare
common.buy 667.83 lei
On the Refinement Calculus Carroll Morgan / Carte Carte broșată
common.buy 284.66 lei
Top
When the Wolf Comes Home Nat Cassidy / Carte Carte broșată
common.buy 54.48 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?