validation | Booky.fi

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,

ter Beek, Maurice H.; Teixeira, Leopoldo
Springer
2025
Pehmeäkantinen kirja

79,60 €

Knafl, George J.
Springer
2026
Kovakantinen kirja

Modeling Correlated Outcomes Using Extensions of Generalized Estimating Equations and Linear Mixed Modeling

198,60 €

Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria,

De Nicola, Rocco; Kühn, Eva
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Mining Intelligence and Knowledge Exploration : 5th International Conference, MIKE 2017, Hyderabad, India, December

Ghosh, Ashish; Pal, Rajarshi; Prasath, Rajendra
Springer
2017
Pehmeäkantinen kirja

51,10 €

Hands-On Value-at-Risk and Expected Shortfall : A Practical Primer

Auer, Martin
Springer
2018
Kovakantinen kirja

81,00 €

Quality Assurance for Scientists and Engineers

Judge, Steven Michael
IOP Publishing Ltd
2023
Kovakantinen kirja

128,30 €

Collaborative Intelligence and Autonomy in Image-Guided Surgery : First International Workshop, COLAS 2025, Held in

Dou, Qi; Ban, Yutong; Jin, Yueming; Bano, Sophia; Unberath, Mathias
Springer
2026
Pehmeäkantinen kirja

109,70 €

Activity Cliffs : Where QSAR Predictions Fail

Roy, Kunal; Banerjee, Arkaprava
Springer
2026
Pehmeäkantinen kirja

67,50 €

Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N

El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, Nov

Piterman, Nir
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,20 €

Implementation and Validation of Gravity Effects in a Pore-Network Solver - Carbon Dioxide Storage - Experimental Showcase

Lafci, Bilal OEzkan
Grin Publishing
2014
Pehmeäkantinen kirja

41,10 €

Sensors and Instrumentation, Volume 5 : Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016

Wee Sit, Evro
Springer
2016
Kovakantinen kirja

137,30 €

Advances in Computing and Data Sciences : First International Conference, ICACDS 2016, Ghaziabad, India, November 11-12,

Singh, Mayank; Gupta, P.K.; Tyagi, Vipin; Sharma, Arun; Ören, Tuncer; Grosky, William
Springer
2017
Pehmeäkantinen kirja

51,10 €

Validation in Thermal Analysis

Schubnell, Markus
Hanser Publications
2022
Kovakantinen kirja

153,60 €

Measuring Oral Proficiency through Paired-Task Performance

Csépes, Ildikó
Peter Lang AG
2009
Pehmeäkantinen kirja

61,40 €

Spatiotemporal Processes of Plant Phenology : Simulation and Prediction

Chen, Xiaoqiu
Springer
2016
Pehmeäkantinen kirja

51,10 €

Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS,

Milazzo, Paolo; Varró, Dániel; Wimmer, Manuel
Springer
2016
Pehmeäkantinen kirja

51,10 €

Geomatic Approaches for Modeling Land Change Scenarios

Camacho Olmedo, María Teresa; Paegelow, Martin; Mas, Jean-François; Escobar, Francisco
Springer
2017
Kovakantinen kirja

182,70 €

Emission of Radio Waves in Particle Showers : Validation of Microscopic Simulations with the SLAC T-510 Experiment and

Zilles, Anne
Springer
2017
Kovakantinen kirja

100,90 €

Modelling and Verification of Secure Exams

Giustolisi, Rosario
Springer
2018
Kovakantinen kirja

51,10 €