bib.howest.be Search Results

You searched for: Auteur Silva, Alexandra

1 - 9 of 9

1. Formal Techniques for Distributed Objects, Components, and Systems

Author:: Bouajjani; Silva, Alexandra
Publisher:: Springer International Publishing 2017
Format:: e-book

2. Computer Aided Verification

Author:: Silva, Alexandra; Leino, K. Rustan M.
Publisher:: Springer International Publishing 2021
Format:: e-book

3. Computer Aided Verification

Author:: Silva, Alexandra; Leino, K. Rustan M.
Publisher:: Springer International Publishing 2021
Format:: e-book

4. Logic and Program Semantics

Author:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Silva, Alexandra
Publisher:: Springer Berlin Heidelberg 2012
Format:: e-book

5. Logic, Language, Information, and Computation

Author:: Alexandra Silva; de Queiroz, Ruy; Wassermann, Renata
Publisher:: Springer International Publishing 2021
Format:: e-book

6. Creativity and HCI: From Experience to Design in Education

Author:: Kotzé, Paula; Dix, Alan; Jorge, Joaquim; Kotze, Paula; Silva, Paula Alexandra; Wong, William
Publisher:: Springer US 2009
Format:: e-book

7. Intelligent Technologies for Interactive Entertainment

Author:: Chisik; Alexandra Silva, Paula; Holopainen, Jussi; Khaled, Rilla; Luis Silva, José
Publisher:: Springer International Publishing 2018
Format:: e-book

8. Biblioteca da Universidade: permanência e metamorfoses

Author:: José Augusto Cardoso Bernardes; Ana Maria Eva Miguéis; Carla Alexandra Silva Ferreira
Publisher:: Coimbra University Press 2015
Format:: e-book

9. Methods and Procedures for Building Sustainable Farming Systems

Author:: Marta-Costa, Ana Alexandra; Soares da Silva, Emiliana L.D.G; L. D. G. Soares da Silva, Emiliana
Publisher:: Springer Netherlands 2013
Format:: e-book