Cesare Tinelli | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

FRONTIERS OF COMBINING SYSTEMS : 8TH INTERNATIONAL SYMPOSIUM, FROCOS 2011, SAARBRÜCKEN, GERMANY, OCTOBER 5-7, 2011. PROCEEDINGS

Tekijä: Cesare Tinelli (ed.); Viorica Sofronie-Stokkermans (ed.)
Kustantaja: Springer (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 21ST INTERNATIONAL CONFERENCE, TACAS 2015, HELD AS PART OF T

Tekijä: Christel Baier; Cesare Tinelli
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

DESCRIPTION LOGIC, THEORY COMBINATION, AND ALL THAT - ESSAYS DEDICATED TO FRANZ BAADER ON THE OCCASION OF HIS 60TH BIRTHDAY

Tekijä: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter
Kustantaja: Springer Nature Switzerland AG (2019)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

AUTOMATED DEDUCTION – CADE 29 : 29TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, ROME, ITALY, JULY 1–4, 2023, PROCEEDINGS

Tekijä: Brigitte Pientka (ed.); Cesare Tinelli (ed.)
Kustantaja: Springer (2023)
Saatavuus: Noin 17-20 arkipäivää

EUR 40,00

Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

Cesare Tinelli (ed.), Viorica Sofronie-Stokkermans (ed.)

49,60 €

Springer
Sivumäärä: 275 sivua
Asu: Pehmeäkantinen kirja
Painos: 2011
Julkaisuvuosi: 2011, 23.09.2011 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011.
The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 submissions. The event builds a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus