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

avaa valikko

Automata | Booky.fi

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



Ganty, Pierre; Mansutti, Alessio
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Reachability Problems : 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,50 €
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 €
Bezzeghoud, Mourad; Carapau, Fernando; Minhós, Feliz; Vaidya, Ashwin
Springer Nature Switzerland AG
2026
Kovakantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Advances in Mathematical Modeling in Science, Engineering, and Social Sciences - The Second International Workshop on Mathematic
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
295,70 €
Damiani, Ferruccio; Farrell, Marie
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
107,50 €
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 €
Schaub, Manuel
Gebruder Mann Verlag
2024
Kovakantinen kirja
Saatavuus: Tulossa! Tulossa!
04/2026 Kustantajan ilmoittama saatavuuspäivä on ylittynyt, selvitämme saatavuutta. Voit tehdä tilauksen heti ja toimitamme tuotteen kun saamme sen varastoomme.
Dem Menschen Nachgebildet - Artifizielle Korper in Mittelalter Und Fruhneuzeit
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
92,40 €
Demri, Stéphane
Birkhäuser
2026
Kovakantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
86,70 €
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 €
Calinescu, Radu; Rumpe, Bernhard
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Artho, Cyrille; Ölveczky, Peter Csaba
Springer
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.
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bossomaier, Terry; Barnett, Lionel; Harré, Michael; Lizier, Joseph T.
Springer International Publishing AG
2016
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
An Introduction to Transfer Entropy - Information Flow in Complex Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
146,40 €
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: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Götter und Maschinen
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
31,50 €
Anashin, Vladimir; Khrennikov, Andrei
De Gruyter
2009
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Applied Algebraic Dynamics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
223,30 €
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 €
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 €
Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20
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 €
Jobstmann, Barbara; Leino, K. Rustan M.
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.
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Yakovyna, Vitaliy; Mayr, Heinrich C.; Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander; Batsakis, Sotiris
Springer
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...