Marco Bernardo: потърсете в сайта Z-Library

Свободен достъп до знания и култура.

Don't use scam websites

Книги (38)
Най-популярни
Списък
- Списък
- Таблица

1

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Година:

2010

Език:

english

Файл:

PDF, 2.60 MB

0 / 0

english, 2010

2

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Springer-Verlag Berlin Heidelberg

David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)

Година:

2003

Език:

english

Файл:

PDF, 3.72 MB

0 / 0

english, 2003

3

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Nicola Bombieri, Franco Fummi (auth.), Marco Bernardo, Alessandro Cimatti (eds.)

Година:

2006

Език:

english

Файл:

PDF, 2.88 MB

0 / 0

english, 2006

4

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Година:

2009

Език:

english

Файл:

PDF, 5.97 MB

0 / 5.0

english, 2009

5

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.)

Година:

2007

Език:

english

Файл:

PDF, 4.81 MB

0 / 0

english, 2007

6

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Година:

2010

Език:

english

Файл:

PDF, 2.49 MB

0 / 0

english, 2010

7

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Springer International Publishing

Marco Bernardo, Einar Broch Johnsen (eds.)

Година:

2015

Език:

english

Файл:

PDF, 10.83 MB

0 / 0

english, 2015

8

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

Година:

2011

Език:

english

Файл:

PDF, 11.63 MB

0 / 0

english, 2011

9

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Година:

2010

Език:

english

Файл:

PDF, 2.90 MB

0 / 0

english, 2010

10

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)

Година:

2012

Език:

english

Файл:

PDF, 8.74 MB

0 / 5.0

english, 2012

11

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Springer-Verlag Berlin Heidelberg

David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)

Година:

2003

Език:

english

Файл:

PDF, 2.87 MB

0 / 0

english, 2003

12

Por que Religião? A Religião Está Ai

Por que Religião? A Religião Está Ai

Padre Marcos William Bernardo

Година:

2013

Език:

portuguese

Файл:

PDF, 7.29 MB

0 / 0

portuguese, 2013

13

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Година:

2010

Език:

english

Файл:

PDF, 3.57 MB

0 / 0

english, 2010

14

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

Година:

2009

Език:

english

Файл:

PDF, 4.81 MB

0 / 0

english, 2009

15

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

Година:

2005

Език:

english

Файл:

PDF, 3.76 MB

0 / 0

english, 2005

16

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer,Communication and Systems,SFM-RT 2004

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer,Communication and Systems,SFM-RT 2004

Springer-Verlag

Marco Bernardo, Flavio Corradini, International School on Formal Methods for the Design of Computer, Communication and Software Systems, International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004

Година:

2004

Език:

English

Файл:

PDF, 159.90 MB

0 / 0

English, 2004

17

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

Година:

2010

Език:

english

Файл:

PDF, 4.60 MB

0 / 0

english, 2010

18

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

Година:

2009

Език:

english

Файл:

PDF, 8.59 MB

0 / 0

english, 2009

19

Econometric Modeling Perspectives

Econometric Modeling Perspectives

Nova Science Publishers, Incorporated

Marco Bee, Giuseppe Espa, Roberto Gabriele, Bernardo Maggio, Gianfranco Piras

Година:

2008

Език:

english

Файл:

PDF, 3.76 MB

0 / 0

english, 2008

20

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

Година:

2011

Език:

english

Файл:

PDF, 12.35 MB

0 / 5.0

english, 2011

21

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

Година:

2010

Език:

english

Файл:

PDF, 4.67 MB

0 / 0

english, 2010

22

The Graduate Student’s Guide to Numerical Analysis ’98: Lecture Notes from the VIII EPSRC Summer School in Numerical Analysis

The Graduate Student’s Guide to Numerical Analysis ’98: Lecture Notes from the VIII EPSRC Summer School in Numerical Analysis

Springer-Verlag Berlin Heidelberg

Bernardo Cockburn (auth.), Mark Ainsworth, Jeremy Levesley, Marco Marletta (eds.)

Година:

1999

Език:

english

Файл:

PDF, 6.00 MB

0 / 0

english, 1999

23

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

Година:

2004

Език:

english

Файл:

PDF, 2.31 MB

0 / 0

english, 2004

24

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Година:

2014

Език:

english

Файл:

PDF, 10.79 MB

0 / 0

english, 2014

25

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

Година:

2005

Език:

english

Файл:

PDF, 2.88 MB

0 / 0

english, 2005

26

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

Година:

2008

Език:

english

Файл:

PDF, 11.98 MB

0 / 0

english, 2008

27

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Springer International Publishing

Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)

Година:

2016

Език:

english

Файл:

PDF, 16.08 MB

0 / 0

english, 2016

28

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)

Година:

2012

Език:

english

Файл:

PDF, 7.37 MB

0 / 0

english, 2012

29

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Година:

2013

Език:

english

Файл:

PDF, 5.80 MB

0 / 0

english, 2013

30

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Година:

2010

Език:

english

Файл:

PDF, 1.53 MB

0 / 0

english, 2010

31

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

Година:

2004

Език:

english

Файл:

PDF, 3.04 MB

0 / 0

english, 2004

32

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Година:

2014

Език:

english

Файл:

PDF, 8.06 MB

0 / 0

english, 2014

33

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Година:

2010

Език:

english

Файл:

PDF, 1.65 MB

0 / 0

english, 2010

34

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Година:

2009

Език:

english

Файл:

PDF, 8.71 MB

0 / 0

english, 2009

35

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

Година:

2011

Език:

english

Файл:

PDF, 9.44 MB

0 / 0

english, 2011

36

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

Година:

2008

Език:

english

Файл:

PDF, 26.73 MB

0 / 0

english, 2008

37

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Година:

2010

Език:

english

Файл:

PDF, 2.65 MB

0 / 0

english, 2010

38

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Година:

2014

Език:

english

Файл:

PDF, 3.83 MB

0 / 0

english, 2014