Marco Bernardo | Booky.fi

Initialization and Diversity in Optimization Algorithms

Velázquez, Mario A. Navarro; Morales-Castañeda, Bernardo; Aranguren, Itzel; Oliva, Diego; Perez-Cisneros, Marco
Taylor & Francis Ltd
2026
Kovakantinen kirja

182,80 €

Lumina

Marcolla, Bernardo
Bernardo Marcolla
2018
Pehmeäkantinen kirja

68,50 €

Il lupo vegetariano

Benedettelli, Marco; Bernardo, Orsola;
Ass. Multimage
2024
Pehmeäkantinen kirja

54,40 €

Formal Methods for Performance Evaluation - 7th International School on Formal Methods for the Design of Computer, Communication

Bernardo, Marco; Hillston, Jane
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Formal Methods for the Design of Real-Time Systems - International School on Formal Methods for the Design of Computer, Communic

Bernardo, Marco; Corradini, Flavio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

51,10 €

Formal Methods for Mobile Computing - 5th International School on Formal Methods for the Design of Computer, Communication, and

Bernardo, Marco; Bogliolo, Alessandro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,10 €

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer,

Bernardo, Marco; Inverardi, Paola
Springer
2003
Pehmeäkantinen kirja

51,10 €

Formal Methods for Computational Systems Biology - 8th International School on Formal Methods for the Design of Computer, Commun

Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Formal Methods for Hardware Verification - 6th International School on Formal Methods for the Design of Computer, Communication,

Bernardo, Marco; Cimatti, Alessandro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Formal Methods for Web Services - 9th International School on Formal Methods for the Design of Computer, Communication and Softw

Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

47,10 €

Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer,

Bernardo, Marco; Issarny, Valerie
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,10 €

Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communicat

Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,10 €

Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, an

Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja