Humburger Icon
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

43 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,599
₹3,583
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,599
₹3,583
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,599
₹3,583
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,152
₹3,297
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,591
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,376
₹3,441
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,599
₹3,583
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,845
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,599
₹3,583
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,599
₹3,583
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,599
₹3,583
Binding:
Hardback
Release:
27 Nov 2009
Language:
English
Available
Ships within 14-16 Days Explain..
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
₹1,888
Binding:
Paperback
Release:
20 May 2008
Language:
English
Available
Ships within 8-10 Days Explain..
14.
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..
15.
Formal Methods for Model-Driven Engineering2 % POD/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,759
₹5,644
Binding:
Paperback
Release:
14 Jun 2012
Language:
English
International Edition
Ships within 18-20 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.
16.
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,613
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.
17.
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
No Review Yet
₹18,270
₹17,905
Binding:
Hardback
Release:
01 Jan 1900
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
18.
Computer Performance EngineeringNR
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,668
Binding:
Paperback
Release:
13 Sep 2010
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
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