bib.howest.be Zoekresultaten

U zocht naar: Auteur Abraham

« Vorige | 251 - 260 van 260 | Volgende »

251. First Light in the Universe

Auteur:: Loeb, Abraham; Schweizerische Gesellschaft für Astrophysik und Astronomie.; Ellis, Richard Salisbury; Ferrara, Andrea; Hempel, Angela; Schaerer, D.; Ellis, RS; Ferrara, A; Ellis, Richard S.; Puy, Denis; Schaerer, Daniel
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

252. International Joint Conference SOCO’13-CISIS’13-ICEUTE’13

Auteur:: Herrero, Ãlvaro; Baruque, Bruno; Herrero, Álvaro; Abraham, Ajith; Bringas, Pablo García; Corchado, Emilio; de Carvalho, André C. P. L. F.; Klett, Fanny; Quintián, Héctor; Snásel, Václav; Zelinka, Ivan
Uitgever:: Springer International Publishing 2014
Type:: e-book

253. International Joint Conference SOCO’14-CISIS’14-ICEUTE’14

Auteur:: Glauner, René Friedrich; de la Puerta, José Gaviria; Abraham, Ajith; Baruque, Bruno; Bringas, Pablo Garcia; Corchado, Emilio; de Carvalho, Andre; de Carvalho, André C. P. L. F.; Ferreira, Iván García; Herrero, Álvaro; Klett, Fanny; Quintián, Héctor
Uitgever:: Springer International Publishing 2014
Type:: e-book

254. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Auteur:: Hojjat, Hossein.; Ábrahám, Erika
Uitgever:: Cham Springer 2023
Type:: e-book

255. Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Auteur:: Ábrahám, Erika.; Paolieri, Marco
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

256. Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Auteur:: Ábrahám, Erika.; Abbas, Houssam
Uitgever:: Cham Springer 2024
Type:: e-book

257. Integrated Formal Methods

Auteur:: Erika Ábrahám, Marieke Huisman; Huisman, Marieke
Uitgever:: Springer International Publishing 2016
Type:: e-book

258. Theoretical Aspects of Computing - ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Auteur:: Ábrahám, Erika.; Dubslaff, Clemens; Tarifa, Silvia Lizeth Tapia
Uitgever:: Cham Springer 2023
Type:: e-book

259. Formal Techniques for Distributed Objects, Components, and Systems

Auteur:: Erika ÃbrahÃ¡m, Catuscia Palamidessi; Palamidessi, Catuscia; Ábrahám, Erika
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

260. Theory and Practice of Formal Methods

Auteur:: Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen; Bonsangue, Marcello; Johnsen, Einar Broch
Uitgever:: Springer International Publishing 2016
Type:: e-book