bib.howest.be Zoekresultaten

U zocht naar: Auteur Bartocci

1 - 10 van 10

1. Runtime Verification

Auteur:: Bartocci; Majumdar, Rupak
Uitgever:: Springer International Publishing 2015
Type:: e-book

2. Vite matematiche

Auteur:: Bartocci, C.; Bartocci, Claudio; Betti, R.; Guerraggio, A.; Lucchetti, R.
Uitgever:: Springer Milan 2007
Type:: e-book

3. Lectures on Runtime Verification

Auteur:: Bartocci; Yliès Falcone; Falcone, Yliès
Uitgever:: Springer International Publishing 2018
Type:: e-book

4. Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Auteur:: Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Uitgever:: Springer 2021
Type:: e-book

5. From Reactive Systems to Cyber-Physical Systems

Auteur:: Bartocci; Cleaveland, Rance; Grosu, Radu; Sokolsky, Oleg
Uitgever:: Springer International Publishing 2019
Type:: e-book

6. Model Checking Software

Auteur:: Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

7. Mathematical Lives

Auteur:: Claudio Bartocci, Renato Betti, Angelo Guerraggio, Roberto Lucchetti; Bartocci, Claudio; Betti, Renato; Guerraggio, Angelo; Lucchetti, Roberto; Williams, Kim
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

8. Computational Methods in Systems Biology

Auteur:: Bartocci, Ezio. Lio, Pietro. Paoletti, Nicola.; Lio, Pietro; Paoletti, Nicola
Uitgever:: Springer International Publishing 2016
Type:: e-book

9. Artificial Neural Networks

Auteur:: da Silva; Andrade Flauzino, Rogerio; dos Reis Alves, Silas Franco; Hernane Spatti, Danilo; Liboni, Luisa Helena Bartocci
Uitgever:: Springer International Publishing 2017
Type:: e-book

10. Fourier-Mukai and Nahm Transforms in Geometry and Mathematical Physics

Auteur:: Bartocci, Claudio; Bruzzo, Ugo; Hernández Ruipérez, Daniel; Hernández-Ruipérez, Daniel; Daniel Hernández Ruipérez; Ugo Bruzzo; Jardim, Marcos
Uitgever:: Birkhäuser Boston 2009
Type:: e-book