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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Algebra and Coalgebra in Computer Science

Name: Algebra and Coalgebra in Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561078
Price: 53.79 EUR
Availability: InStock
Author: José Luis Fiadeiro
ISBN: 9783540286202

First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Sprache

Englisch

Buch Broschur

Libristo-Code: 01561078

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2005

This book constitutes the refereed proceedings of the First International Conference on Algebra and... Vollständige Beschreibung

Libristo-Code: 01561078

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

O pojmu cosmona; On the Concept od cosmona Rudolf Polách

Blatt

7.29 €

Komunikační systémy Jean Lohisse

Broschur

9.19 €

Svetové zdravotnícke systémy v čase globalizácie Peter Ondruš

Broschur

7.69 €

KULTURY, CIVILIZACE, SVĚTOVÝ SYSTÉM Jiří Šubrt

Buch

10.59 €

Příběh umění Ernst Hans Gombrich

Hardcover

72.89 €

Grafy, mapy, stromy Franco Moretti

Broschur

6.09 €

Rozmluva a usuzování Ladislav Tondl

Broschur

2.39 €

Globální oteplování Země Jaroslav Kadrnožka

Hardcover

28.59 €

Idea univerzity J.H. Newman

Blatt

11.19 €

Historie a změny klimatu Pascal Acot

Broschur

3.39 €

Exegetické zlomky Klement Alexandrijský

Hardcover

13.39 €

Hospodářsko-politické důsledky průzkumu vesmíru Martin Machay

Broschur

8.89 €

Rétorika a řečová kultura Jiří Kraus

Broschur

7.29 €

Užívání a prožívání jazyka Světla Čmejrková

Broschur

12.49 €

This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras as mathematical objects as well as their application in computer science.§The 25 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 62 submissions. The papers deal with the following subjects: automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coinductive methods; modal logics; relational systems and term rewriting; abstract data types; algebraic and coalgebraic specification; calculi and models of concurrent, distributed, mobile, and context-aware computing; formal testing and quality assurance; general systems theory and computational models (chemical, biological, etc); generative programming and model-driven development; models, correctness and (re)configuration of hardware/middleware/architectures; re-engineering techniques (program transformation); semantics of conceptual modelling methods and techniques; semantics of programming languages; validation and verification.

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 Algebra and Coalgebra in Computer Science

Autor José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 457

EAN 9783540286202

ISBN 3540286209

Libristo-Code 01561078

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

Gewicht 1460

Abmessungen 152 x 229 x 26

Kategorie

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

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

Das könnte Sie auch interessieren

Geology of Clays Georges Millot

Broschur

53.79 €

Creative Haven - Art Nouveau Designs Coloring Book Alphonse Maria Mucha

Broschur

7.19 €

Windfall Joe Black

Broschur

10.69 €

Valley of Death; Zombie Trailer Park MR William R Bebb

Broschur

11.69 €

Local Business Insane Results: How local businesses are cashing in on marketing their businesses online MR Jason C Maxwell

Broschur

7.89 €

SELECT SPEECHES, FORENSICK AND PARLIAMEN NATHANIEL CHAPMAN

Hardcover

40.69 €

Handbook of 3D Machine Vision Song Zhang

Broschur

120.49 €

Code of Federal Regulations, Title 17, Commodity and Securities Exchanges, PT. 240-End, Revised as of April 1, 2016 Department of the Treasury (U S )

Broschur

75.69 €