Buy books written by Marco Bernardo Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Marco Bernardo

Marco Bernardo

44 results found
List viewGrid view
Sort By:
1.
Marcos Chaves: It Looked and I Looked Back
Marcos Chaves: It Looked and I Looked Back
By: Karen Marta, Luisa Duarte, Marcos Chaves, Bernardo Mosqueira
Publisher: KMEC
No Review Yet
$56
Binding:
Hardback
Release:
29 Aug 2024
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
2.
Initialization and Diversity in Optimization Algorithms
Initialization and Diversity in Optimization Algorithms
By: Diego Oliva, Bernardo Morales-Castañeda, Marco Antonio Perez Cisneros, Mario A. Navarro Velázquez
Publisher: Taylor & Francis Ltd
No Review Yet
$227
Release:
18 Feb 2026
International Edition
Ships within 14-16 Days Explain..
Free Shipping in UAE.
3.
Formal Methods for Software Architectures
Formal Methods for Software Architectures
By: Marco Bernardo, Paola Inverardi
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$70
Binding:
Paperback
Release:
12 Sep 2003
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
4.
Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
By: Marco Bernardo, Jane Hillston
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$41
Binding:
Paperback
Release:
18 May 2007
Language:
English
Available
Ships within 1-2 Days Explain..
Free Shipping in UAE.
5.
Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
By: Marco Bernardo, Einar Broch Johnsen
Publisher: Springer International Publishing AG
No Review Yet
$67
Binding:
Paperback
Release:
19 May 2015
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
6.
Formal Methods for the Design of Real-Time Systems
Formal Methods for the Design of Real-Time Systems
By: Marco Bernardo, Flavio Corradini
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$70
Binding:
Paperback
Release:
01 Sep 2004
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
7.
Formal Methods for Mobile Computing
Formal Methods for Mobile Computing
By: Alessandro Bogliolo, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$70
Binding:
Paperback
Release:
13 Apr 2005
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
8.
A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
By: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publisher: Springer London Ltd
No Review Yet
$70
Binding:
Hardback
Release:
27 Nov 2009
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
9.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
By: Rocco De Nicola, Marco Bernardo, Jane Hillston
Publisher: Springer International Publishing AG
No Review Yet
$70
Binding:
Paperback
Release:
12 Jun 2016
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
10.
Formal Methods for Dynamical Systems
Formal Methods for Dynamical Systems
By: Herbert Wiklicky, Marco Bernardo, Alessandra di Pierro, Erik de Vink
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$64
Binding:
Paperback
Release:
07 Jun 2013
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
11.
A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
By: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publisher: Springer London Ltd
No Review Yet
$70
Binding:
Paperback
Release:
20 Oct 2014
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
12.
Formal Methods for Web Services
Formal Methods for Web Services
By: Gianluigi Zavattaro, Luca Padovani, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$64
Binding:
Paperback
Release:
12 May 2009
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
13.
Formal Methods for Computational Systems Biology
Formal Methods for Computational Systems Biology
By: Pierpaolo Degano, Gianluigi Zavattaro, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$34
Binding:
Paperback
Release:
20 May 2008
Language:
English
Available
Ships within 10-12 Days Explain..
Free Shipping in UAE.
14.
Formal Methods for Executable Software Models
Formal Methods for Executable Software Models
By: Ferruccio Damiani, Reiner Haehnle, Ina Schaefer, Marco Bernardo, Einar Broch Johnsen
Publisher: Springer International Publishing AG
No Review Yet
$70
Binding:
Paperback
Release:
21 May 2014
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
15.
Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
By: Valerie Issarny, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$80
Binding:
Paperback
Release:
03 Jun 2011
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
16.
Formal Methods for Hardware Verification
Formal Methods for Hardware Verification
By: Alessandro Cimatti, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$76
Binding:
Paperback
Release:
15 May 2006
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
17.
Formal Methods for Model-Driven Engineering
Formal Methods for Model-Driven Engineering
By: Alfonso Pierantonio, Marco Bernardo, Vittorio Cortellessa
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$79
Binding:
Paperback
Release:
14 Jun 2012
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
18.
Computer Performance Engineering
Computer Performance Engineering
By: Luciano Bononi, Alessandro Aldini, Marco Bernardo, Vittorio Cortellessa
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$76
Binding:
Paperback
Release:
13 Sep 2010
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
19.
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
By: Herbert Wiklicky, Alessandro Aldini, Marco Bernardo, Alessandra di Pierro
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
$75
Binding:
Paperback
Release:
11 Jun 2010
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in UAE.
20.
Initialization and Diversity in Optimization Algorithms
Initialization and Diversity in Optimization Algorithms
By: Diego Oliva, Bernardo Morales-Castañeda, Marco Antonio Perez Cisneros, Mario A. Navarro Velázquez
Publisher: Taylor & Francis Ltd
No Review Yet
$75
Binding:
Digital (delivered electronically)
Release:
19 Feb 2026
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results