Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Category Theory and Computer Science

Name: Category Theory and Computer Science
Brand: Springer, Berlin
SKU: 05274486
Price: 53.79 EUR
Availability: InStock
Author: Peter Johnstone
ISBN: 9783540601647

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

Peter Johnstone

David Pitt

David E. Rydeheard

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274486

Verlag Springer, Berlin, November 1994

This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Vollständige Beschreibung

Libristo-Code: 05274486

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

CELEBRACIO HERMO GONZALEZ

Digital online

21.99 €

Estudio de la representación de los trabajadores Jaén Ballester

Broschur

23.09 €

Malnata Anja Nattefort

Hardcover

24.00 €

PATACHOU LA CHANTEUSE DE MONTMARTRE PATACHOU

Digital CD

12.69 €

Střední, jižní a východní Evropa a rok 1918: společenské a mezinárodní souvislosti Markus Giger

Broschur

5.79 €

Cesty božstev Jakub Havlíček

Broschur

9.89 €

3D Puzzle 216 Teile - Iconics: Kolosseum Rom - mit Licht

Spiel

51.39 €

Turismo Mochilero: ?Fin o Resurgimiento? Marina Perez

Broschur

51.19 €

(CAT).(10).(4 ANYS-3R TRIM) ESPIRAL MAGICA INFANTIL RUIZ

Hardcover

43.09 €

Arbeitsorganisation Und F hrungssystem Bei Den R mischen Agrarschriftstellern (Cato, Varro, Columella) Wilhelm Kaltenstadler

Broschur

25.09 €

Educación, creación e igualdad MARIAN LOPEZ FERNANDEZ CAO

Broschur

11.59 €

Theodor Storm Alfred Biese

Hardcover

39.90 €

Das Liederbuch 2004-2010 Silbermond

Broschur

41.29 €

Abissinia Giornale di un viaggio Giuseppe Vigoni

Broschur

17.90 €

Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier

Broschur

18.95 €

'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler

Broschur

17.95 €

Traditionelle Chinesische Medizin Paul U. Unschuld

Broschur

10.29 €

Absentismus, Moeglichkeiten zur Reduzierung Carsten Müller

Broschur

48.00 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Category Theory and Computer Science

Autor Peter Johnstone, David Pitt, David E. Rydeheard

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1995

Anzahl der Seiten 259

EAN 9783540601647

ISBN 3540601643

Libristo-Code 05274486

Verlag Springer, Berlin

Gewicht 357

Abmessungen 155 x 233 x 14

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Topologie > Algebraische Topologie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert