Bücher Wenner
Bücher
Stöbern
Kalender
unsere Tipps
Bestseller
Neuheiten
im Feuilleton
Themenwelten
Englische Titel
Französische Titel
Italienische Titel
Spanische Titel
aus unserer Werbung
Prämien
signierte Bücher
Gutscheine
Stöbern
Kalender
E-Books
Stöbern
% E-Book Deals %
technische Tipps
Signierte Bücher
Jura-Studium
Service
Abholung
Ankauf
dtv-Beck
Fachbücher
Fahrradkurier
Familienstarter
Geschäftskunden
Geschenke
Gutscheine
Kulturpass
Literatur-Abo
Literaturkarte
Schulbücher
signierte Bücher
Versand
Verträge hier kündigen
Wunschzettel
über uns
Bücher Wenner
Ausbildung & Praktikum
Karriere
Engagement
Sponsoring
Umwelt
Kontakt
Apfelbaumpaten
Wer wird Cosplay Millionär?
29.11.2024 um 19:30 Uhr
Relational and Algebraic Methods in Computer Science
17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 ¿ November 1, 2018, Proceedings
von Jules Desharnais, Stef Joosten, Walter Guttmann
Verlag: Springer International Publishing
Reihe: Theoretical Computer Science and General Issues Nr. 11194
Hardcover
ISBN: 978-3-030-02148-1
Auflage: 1st ed. 2018
Erschienen am 06.10.2018
Sprache: Englisch
Format: 235 mm [H] x 155 mm [B] x 22 mm [T]
Gewicht: 610 Gramm
Umfang: 404 Seiten

Preis: 53,49 €
keine Versandkosten (Inland)


Dieser Titel wird erst bei Bestellung gedruckt. Eintreffen bei uns daher ca. am 21. Oktober.

Der Versand innerhalb der Stadt erfolgt in Regel am gleichen Tag.
Der Versand nach außerhalb dauert mit Post/DHL meistens 1-2 Tage.
53,49 €
merken
zum E-Book (PDF) 53,49 €
klimaneutral
Der Verlag produziert nach eigener Angabe noch nicht klimaneutral bzw. kompensiert die CO2-Emissionen aus der Produktion nicht. Daher übernehmen wir diese Kompensation durch finanzielle Förderung entsprechender Projekte. Mehr Details finden Sie in unserer Klimabilanz.
Klappentext
Inhaltsverzeichnis

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.
The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.



Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.


andere Formate
weitere Titel der Reihe