bib.howest.be Search Results

You searched for: Auteur Bartocci

1 - 10 of 10

1. Runtime Verification

Author:: Bartocci; Majumdar, Rupak
Publisher:: Springer International Publishing 2015
Format:: e-book

2. Vite matematiche

Author:: Bartocci, C.; Bartocci, Claudio; Betti, R.; Guerraggio, A.; Lucchetti, R.
Publisher:: Springer Milan 2007
Format:: e-book

3. Lectures on Runtime Verification

Author:: Bartocci; Yliès Falcone; Falcone, Yliès
Publisher:: Springer International Publishing 2018
Format:: e-book

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

Author:: Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Publisher:: Springer 2021
Format:: e-book

5. From Reactive Systems to Cyber-Physical Systems

Author:: Bartocci; Cleaveland, Rance; Grosu, Radu; Sokolsky, Oleg
Publisher:: Springer International Publishing 2019
Format:: e-book

6. Model Checking Software

Author:: Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R.
Publisher:: Springer Berlin Heidelberg 2013
Format:: e-book

7. Mathematical Lives

Author:: Claudio Bartocci, Renato Betti, Angelo Guerraggio, Roberto Lucchetti; Bartocci, Claudio; Betti, Renato; Guerraggio, Angelo; Lucchetti, Roberto; Williams, Kim
Publisher:: Springer Berlin Heidelberg 2011
Format:: e-book

8. Computational Methods in Systems Biology

Author:: Bartocci, Ezio. Lio, Pietro. Paoletti, Nicola.; Lio, Pietro; Paoletti, Nicola
Publisher:: Springer International Publishing 2016
Format:: e-book

9. Artificial Neural Networks

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

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

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