Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Automata | Booky.fi

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



Cai, Kai; Wonham, W. Murray
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Supervisor Localization - A Top-Down Approach to Distributed Control of Discrete-Event Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Farrell, Peter
No Starch Press,US
2019
Pehmeäkantinen kirja
Saatavuus: Tulossa! Tulossa!
Tuote ilmestyy 09/2026. Voit tehdä tilauksen heti ja toimitamme tuotteen kun saamme sen varastoomme.
Math Adventures with Python - An Illustrated Guide to Exploring Math with Code
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
26,30 €
Potapov, Igor; Reynier, Pierre-Alain
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Reachability Problems - 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Mayor, Adrienne;
Herder Verlag GmbH
2020
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-2 viikossa
Götter und Maschinen
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
8,90 €
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bos, Herbert; Monrose, Fabian; Blanc, Gregory
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Research in Attacks, Intrusions, and Defenses - 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Procee
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Chaudhuri, Swarat; Farzan, Azadeh
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Lucanu, Dorel
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, Th
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Pighizzini, Giovanni; Câmpeanu, Cezar
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 201
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bartocci, Ezio; Falcone, Yliès
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Lectures on Runtime Verification - Introductory and Advanced Topics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Italiano, Giuseppe F; Pighizzini, Giovanni; Sannella, Donald T.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, P
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Chaudhuri, Swarat; Farzan, Azadeh
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Square Enix
Penguin LLC US
2019
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 2-3 viikossa
NieR: Automata World Guide Volume 1
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
37,80 €
D'Acci, Luca
Springer Nature Switzerland AG
2019
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
The Mathematics of Urban Morphology
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
130,80 €
Lahlou, Salem; Mukund, Madhavan
Springer Nature Switzerland AG
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tuotteen saatavuus varmistetaan tilauskohtaisesti. Voit jättää tilauksen, niin tarkistamme saatavuuden tavarantoimittajilta. Jos tuotetta ei ole saatavissa, olemme sinuun yhteydessä ja perumme tilauksesi.
Networked Systems - 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
229,20 €

Shaker Verlag
2013
Pehmeäkantinen kirja
Saatavuus: Loppuunmyyty
Loppuunmyyty
Formal Aspects of Computing
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
82,50 €
de Paiva, Valeria; de Queiroz, Ruy; Moss, Lawrence S.; Leivant, Daniel; de Oliveira, Anjolina G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M.; Zandron, Claudio
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Artho, Cyrille; Ölveczky, Peter Csaba
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revis
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ribeiro, Leila; Lecomte, Thierry
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceed
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...