Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Category Theory and Computer Science

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Category Theory and Computer Science Peter Johnstone
Libristo-code: 05274486
Uitgeverij Springer, Berlin, november 1994
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

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

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Category Theory and Computer Science
Auteur Peter Johnstone, David Pitt, David E. Rydeheard
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1995
Aantal pagina's 259
EAN 9783540601647
ISBN 3540601643
Libristo-code 05274486
Uitgeverij Springer, Berlin
Gewicht 357
Afmetingen 155 x 233 x 14

Categorieën

Wiskunde en wetenschap > Wiskunde > Topologie > Algebraïsche topologie
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

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

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?