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 :-(

Categorical Methods in Computer Science

Name: Categorical Methods in Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565228
Price: 53.79 EUR
Availability: InStock
Author: Hartmut Ehrig
ISBN: 9783540517221

With Aspects from Topology

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565228

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This volume contains selected papers of theInternational Workshop on "Categorical Methods in Compute... Vollständige Beschreibung

Libristo-Code: 01565228

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

Я всегда остаюсь собой Й. Блум

Hardcover

37.19 €

Columbo 01 (pilotní) - DVD pošeta

DVD

1.59 €

Die Nibelungensage Nach Ihren Altesten Ueberlieferungen (1872) Ernst Koch

Broschur

21.99 €

Goethes Urfaust. Büchners Woyzeck Friedrich Dürrenmatt

Broschur

11.39 €

Oeuvres Completes. Tome 5 DE LAPLACE-P-S

Broschur

34.29 €

China im Konflikt zwischen verschiedenen Ordnungskonzeptionen. Alfred Schüller

Broschur

44.59 €

Dreamreality John King

Broschur

14.90 €

Barth Erika Garber

Broschur

19.99 €

Das System der Kardinaltugenden bei Platon Jürgen Schwarz

Broschur

9.69 €

This volume contains selected papers of theInternational Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.

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 Categorical Methods in Computer Science

Autor Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß

Sprache

Englisch

Einband Buch - Broschur

Anzahl der Seiten 354

EAN 9783540517221

ISBN 3540517227

Libristo-Code 01565228

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1130

Abmessungen 155 x 235 x 20

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Topologie > Algebraische Topologie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen

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

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