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

avaa valikko

solvers | Booky.fi

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



D´Souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B.
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
110,00 €
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 €
Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, Miroslaw
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Urban, Kai
Shaker Verlag
2007
Pehmeäkantinen kirja
Saatavuus: Loppuunmyyty
Loppuunmyyty
Zum Emulgieren mit Dispergierscheiben, Rotor-Stator- und Hochdruck-Systemen
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
75,80 €
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 €
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 €
Vassiliev, Oleg N.
Springer International Publishing AG
2016
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Monte Carlo Methods for Radiation Transport - Fundamentals and Advanced Topics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
155,50 €
Griebel, Michael; Schüller, Anton; Schweitzer, Marc Alexander
Springer
2017
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Scientific Computing and Algorithms in Industrial Simulations : Projects and Products of Fraunhofer SCAI
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
120,90 €
Beyersdorff, Olaf; Wintersteiger, Christoph M.
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Theory and Applications of Satisfiability Testing – SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Fede
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Apel, Thomas; Langer, Ulrich; Meyer, Arnd; Steinbach, Olaf
Springer
2019
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Advanced Finite Element Methods with Applications : Selected Papers from the 30th Chemnitz Finite Element Symposium 2017
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
120,90 €

Näytä lisää...