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

Relations and Kleene Algebra in Computer Science

Name: Relations and Kleene Algebra in Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650600
Price: 53.79 EUR
Availability: InStock
Author: Rudolf Berghammer
ISBN: 9783642046384

11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Pr

Rudolf Berghammer

Ali Jaoua

Bernhard Möller

Sprache

Englisch

Buch Broschur

Libristo-Code: 01650600

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2009

The book constitutes the joint refereed proceedings of the 11th International Conference on Relation... Vollständige Beschreibung

Libristo-Code: 01650600

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Lessings Werke Gotthold Ephraim Lessing

Broschur

39.50 €

Шахматы. Полный курс для детей

Broschur

26.89 €

Analyse der regionalen psychiatrischen Versorgung im Rhein-Kreis Neuss aus Patienten- und Versorgerperspektive Franziska Püschner

Broschur

52.39 €

Mini Actibaby - Podium d'activités

Broschur

574.19 €

LA DERNIERE TOURNEE DE LOUIS HOLMIERE

DVD

24.99 €

Un mariage en blanc Balogh

Broschur

10.49 €

Signal et communications - Modulation, codage et théorie de l'information Brémaud

Broschur

31.39 €

BIBLIOTECA DRACULA: LA TUMBA DE DRACULA 4 WOLFMAN

Broschur

20.39 €

Cuentos infantiles 3 anos ROBERT

Broschur

43.89 €

Servicios sociales de base en el medio rural. Desafíos y perspectivas Martín Simón

Broschur

4.49 €

Public Diplomacy in Der Mediengesellschaft Stefan Wagner

Broschur

42.95 €

Le livre des ombres pour sorcières modernes Deborah Blake

Hardcover

28.39 €

Poetische Korrespondenzen Ingeborg Bachmann

Broschur

10.79 €

Guide du tapissier-décorateur CAP (2024) Flament

Broschur

96.29 €

DIAS EJEMPLARES DE AMERICA WHITMAN

Broschur

31.69 €

Kevin De Bruyne: kmotr lišák Jan Palička

Hardcover

11.39 €

2050 - Überleben hat einen Preis Bernhard Kempen

Broschur

17.00 €

Sitzen ist das neue Rauchen Kelly Starrett

Hardcover

38.09 €

PerturbaÇoes Mentais Comuns nos Cuidados Primários MICHELE TANSELLA

Buch

24.39 €

Instala, Administra, Securiza y Virtualiza Entornos Linux. Ramos Varón

Broschur

45.69 €

Handbuch Filmmusik I Enjott Schneider

Broschur

19.90 €

Investigación cualitativa en sanidad ICB

Broschur

23.49 €

El Capitán Calzoncillos y la invasión de los pérfidos tiparracos del espacio Dav Pilkey

Broschur

10.09 €

El maniqui de mimbre Anatole France

Broschur

7.69 €

The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009.§The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automated reasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems.

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

Autor Rudolf Berghammer, Ali Jaoua, Bernhard Möller

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 367

EAN 9783642046384

ISBN 364204638X

Libristo-Code 01650600

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

Gewicht 575

Abmessungen 155 x 235 x 21

Kategorie

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

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

Mathematik und Naturwissenschaften > Mathematik > Algebra

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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