Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Category Theory and Computer Science

Manchester, UK, September 5-8, 1989. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Category Theory and Computer Science David H. Pitt
Libristo-Code: 01565222
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Vollständige Beschreibung
? points 124 b
50.59 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Das könnte Sie auch interessieren

On the Way to the Web Michael Banks / Buch Broschur
common.buy 16.49 €
Abstract Algebra 3e (WSE) I.N. Herstein / Buch Broschur
common.buy 174.79 €
Biomedical Signals and Sensors II Eugenijus Kaniusas / Buch Hardcover
common.buy 128.69 €
The Teeth Whitening Cure Dds Lester Sawicki / Buch Broschur
common.buy 9.79 €
Rules for Vanishing Kate Alice Marshall / Buch Hardcover
common.buy 21.29 €
That Fruit Is Mine! Anuska Allepuz / Buch Broschur
common.buy 9.19 €
The Fates Divide Veronica Roth / Buch Broschur
common.buy 13.99 €
Memoirs of a Book Thief Alessandro Tota / Buch Hardcover
common.buy 20.29 €
Harvest of Sorrow Robert Conquest / Buch Broschur
common.buy 22.39 €
Through Russia Maxim Gorky / Buch Broschur
common.buy 13.79 €
Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows / Buch Broschur
common.buy 8.79 €
Top
Advances in Financial Machine Learning Marcos Lopez de Prado / Buch Hardcover
common.buy 43.59 €
Is Your Liver Making You Fat? Christy Belmont / Buch Broschur
common.buy 6.49 €
Saving Ourselves: Interviews With World Leaders On The Sustainable Transition Yacine Belhaj-Bouabdallah / Buch Broschur
common.buy 31.59 €
Hegde's PocketGuide to Assessment in Speech-Language Pathology MN Hegde / Buch Broschur
common.buy 119.49 €
New GCSE English Literature AQA Complete Revision & Practice - includes Online Edition CGP Books / Buch Broschur
common.buy 15.49 €
Category Theory in Context Riehl / Buch Broschur
common.buy 28.19 €
Our Voices Alberto Gonzalez / Buch Broschur
common.buy 178.29 €
Falcons Melissa Gish / Buch Broschur
common.buy 12.09 €
Staten Island Rapid Transit Marc Pitanza / Buch Hardcover
common.buy 25.79 €
The Imperialism of French Decolonisaton R. Ikeda / Buch Broschur
common.buy 94.39 €
Top
Roadside Picnic Boris Strugatsky / Buch Broschur
common.buy 11.09 €
Top
Bank Treasury Management Beata Lubinska / Buch Hardcover
common.buy 65.19 €
An Introduction to Theory of Computation Mitsunori Ogihara / Buch Hardcover
common.buy 84.09 €

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
Ewa Kasp
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 David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts
Sprache Englisch
Einband Buch - Broschur
Anzahl der Seiten 372
EAN 9783540516620
ISBN 354051662X
Libristo-Code 01565222
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1160
Abmessungen 170 x 250 x 21

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
Mathematik und Naturwissenschaften > Mathematik > Algebra
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 > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto