checking | Booky.fi

Misbelief - What Makes Rational People Believe Irrational Things

Ariely, Dan
Bonnier Books Ltd
2024
Pehmeäkantinen kirja

11,20 €

Disinformation - A Multi-Disciplinary Analysis

Ginsborg, Lisa; Gori, Paula
Springer Nature Switzerland AG
2026
Kovakantinen kirja

195,10 €

Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Fischer, Bernd; Geldenhuys, Jaco
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proc

Agha, Gul; Van Houdt, Benny
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Probability Logics : Probability-Based Formalization of Uncertain Reasoning

Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
Springer
2016
Kovakantinen kirja

130,80 €

Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedi

Cimatti, Alessandro; Sirjani, Marjan
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September

Simonis, Helmut
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

134,00 €

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Urban, Christian; Zhang, Xingyuan
Springer
2015
Pehmeäkantinen kirja

51,10 €

Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Neth

Koornneef, Floor; van Gulijk, Coen
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20

Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France

Butler, Michael; Conchon, Sylvain; Zaïdi, Fatiha
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Membrane Computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M.; Zandron, Claudio
Springer
2016
Pehmeäkantinen kirja

51,10 €

Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revis

Artho, Cyrille; Ölveczky, Peter Csaba
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part

Chaudhuri, Swarat; Farzan, Azadeh
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Cinquemani, Eugenio; Donzé, Alexandre
Springer International Publishing AG
2016
Pehmeäkantinen kirja

43,20 €

Logical Foundations of Cyber-Physical Systems

Platzer, André
Springer
2018
Kovakantinen kirja

56,10 €

Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23,

Paskevich, Andrei; Wies, Thomas
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018,

Galmiche, Didier; Schulz, Stephan; Sebastiani, Roberto
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, Januar

Enea, Constantin; Piskac, Ruzica
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

Automated Reasoning for Systems Biology and Medicine

Liò, Pietro; Zuliani, Paolo
Springer
2019
Kovakantinen kirja

100,90 €