KIRJAUDU

ostoskori

avaa valikko

Marco Bernardo | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 26 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL METHODS FOR DYNAMICAL SYSTEMS - 13TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AN

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

47,40 €

ME AND YOU AND THE UNIVERSE

Bernardo Marçolla
Free Spirit Publishing (2020)
Kovakantinen kirja

47,30 €

ALL YOU CAN IMAGINE

Bernardo Marçolla
Free Spirit Publishing (2021)
Kovakantinen kirja

17,90 €

LUMINA

Bernardo Marcolla
Bernardo Marcolla (2018)
Pehmeäkantinen kirja

68,70 €

FORMAL METHODS FOR PERFORMANCE EVALUATION - 7TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION

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

51,40 €

FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS - INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNIC

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

51,40 €

FORMAL METHODS FOR MOBILE COMPUTING - 5TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AND

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

51,40 €

FORMAL METHODS FOR SOFTWARE ARCHITECTURES - THIRD INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATI

Marco Bernardo; Paola Inverardi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY - 8TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUN

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

51,40 €

FORMAL METHODS FOR HARDWARE VERIFICATION - 6TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION,

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

51,40 €

FORMAL METHODS FOR WEB SERVICES - 9TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTW

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

47,30 €

FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS - 11TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER,

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

51,40 €

FORMAL METHODS FOR MODEL-DRIVEN ENGINEERING - 12TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICAT

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

51,40 €

FORMAL METHODS FOR EXECUTABLE SOFTWARE MODELS - 14TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNIC

Marco Bernardo; Ferruccio Damiani; Reiner Haehnle; Einar Broch Johnsen; Ina Schaefer
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS FOR MULTICORE PROGRAMMING - 15TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION

Marco Bernardo; Einar Broch Johnsen
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

49,40 €

FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS - 16TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR

Marco Bernardo; Rocco De Nicola; Jane Hillston
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

51,40 €

KROWD REVIEW SPRING 2016

Multiple Authors; Bernardo Marcolla
Touchladybirdlucky Studios (2016)
Pehmeäkantinen kirja

11,80 €

PROBABILISTIC TRACE AND TESTING SEMANTICS - THE IMPORTANCE OF BEING COHERENT

Marco Bernardo
now publishers Inc (2022)
Pehmeäkantinen kirja

68,50 €

A PROCESS ALGEBRAIC APPROACH TO SOFTWARE ARCHITECTURE DESIGN

Alessandro Aldini; Marco Bernardo; Flavio Corradini
Springer London Ltd (2009)
Kovakantinen kirja

51,40 €

FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES - 10TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF

Alessandro Aldini; Marco Bernardo; Alessandra Di Pierro; Herbert Wiklicky
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

51,40 €

Hae lisää...

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

Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky

47,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 181 sivua
Asu: Pehmeäkantinen kirja
Painos: 2013 ed.
Julkaisuvuosi: 2013, 07.06.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus