|
Frontiers of Combining Systems
|
| Auteur: Cesare Tinelli; ?Viorica SofronieStokkermans |
| ISBN: 9783642243646 |
|
| Prijs: € 59.94 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 59.88
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Automated Deduction â CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1â4, 2023, Proceedings
|
| Auteur: Tinelli, Cesare |
| ISBN: 9783031384981 |
| Prijs: € 50.74 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory
|
| Auteur: Tinelli, Cesare |
| ISBN: 9783662466803 |
|
| Prijs: € 93.16 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
nl
en
