Humburger Icon
Let's Explore, Bibiliophile
  • Account Icon
  • Wishlist Icon
  • Cart Icon

    Cart Overview

    Show All
    Your cart is empty
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Marco Bernardo

Marco Bernardo

45 results found
List viewGrid view
Sort By:
1.
Formal Methods for Executable Software Models36 %
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
₹5,724
₹3,663
Binding:
Paperback
Release:
21 May 2014
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Formal Methods for Mobile Computing36 %
Formal Methods for Mobile Computing
By: Alessandro Bogliolo, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,724
₹3,663
Binding:
Paperback
Release:
13 Apr 2005
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Formal Methods for Software Architectures36 %
Formal Methods for Software Architectures
By: Marco Bernardo, Paola Inverardi
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,724
₹3,663
Binding:
Paperback
Release:
12 Sep 2003
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Formal Methods for Dynamical Systems36 %
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
₹5,267
₹3,371
Binding:
Paperback
Release:
07 Jun 2013
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Formal Methods for Quantitative Aspects of Programming LanguagesNR
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
₹5,648
Binding:
Paperback
Release:
11 Jun 2010
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
6.
Marcos Chaves: It Looked and I Looked Back25 % NR
Marcos Chaves: It Looked and I Looked Back
By: Karen Marta, Luisa Duarte, Marcos Chaves, Bernardo Mosqueira
Publisher: KMEC
No Review Yet
₹5,220
₹3,915
Binding:
Hardback
Release:
29 Aug 2024
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
7.
Formal Methods for Multicore Programming36 %
Formal Methods for Multicore Programming
By: Marco Bernardo, Einar Broch Johnsen
Publisher: Springer International Publishing AG
No Review Yet
₹5,496
₹3,517
Binding:
Paperback
Release:
19 May 2015
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Formal Methods for the Design of Real-Time Systems36 %
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
₹5,724
₹3,663
Binding:
Paperback
Release:
01 Sep 2004
Language:
English
Available
Ships within 14-16 Days Explain..
9.
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
₹2,810
Binding:
Paperback
Release:
18 May 2007
Language:
English
Available
Ships within 8-10 Days Explain..
10.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems36 %
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
₹5,724
₹3,663
Binding:
Paperback
Release:
12 Jun 2016
Language:
English
Available
Ships within 14-16 Days Explain..
11.
A Process Algebraic Approach to Software Architecture Design36 %
A Process Algebraic Approach to Software Architecture Design
By: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publisher: Springer London Ltd
No Review Yet
₹5,724
₹3,663
Binding:
Paperback
Release:
20 Oct 2014
Language:
English
Available
Ships within 14-16 Days Explain..
12.
A Process Algebraic Approach to Software Architecture Design36 %
A Process Algebraic Approach to Software Architecture Design
By: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publisher: Springer London Ltd
No Review Yet
₹5,724
₹3,663
Binding:
Hardback
Release:
27 Nov 2009
Language:
English
Available
Ships within 14-16 Days Explain..
13.
Computer Performance Engineering42 %
Computer Performance Engineering
By: Luciano Bononi, Alessandro Aldini, Marco Bernardo, Vittorio Cortellessa
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,699
₹3,305
Binding:
Paperback
Release:
13 Sep 2010
Language:
English
Available
Ships within 2-4 Days Explain..
14.
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
₹2,341
Binding:
Paperback
Release:
20 May 2008
Language:
English
Available
Ships within 1-2 Days Explain..
15.
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
₹2,737
Binding:
Paperback
Release:
12 May 2009
Language:
English
Available
Ships within 4-6 Days Explain..
16.
Initialization and Diversity in Optimization Algorithms2 % NR
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
₹18,270
₹17,905
Binding:
Hardback
Release:
18 Feb 2026
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
17.
Formal Methods for Model-Driven EngineeringPOD/NR
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
₹5,795
Binding:
Paperback
Release:
14 Jun 2012
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
18.
Formal Methods for Hardware VerificationPOD/NR
Formal Methods for Hardware Verification
By: Alessandro Cimatti, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,670
Binding:
Paperback
Release:
15 May 2006
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
19.
Formal Methods for Eternal Networked Software Systems42 % NR
Formal Methods for Eternal Networked Software Systems
By: Valerie Issarny, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹4,730
₹2,743
Binding:
Paperback
Release:
03 Jun 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
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
₹5,707
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
ASK VIDYA