bib.howest.be Zoekresultaten

U zocht naar: Auteur Silva, Alexandra

1 - 9 van 9

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

Auteur:: Bouajjani; Silva, Alexandra
Uitgever:: Springer International Publishing 2017
Type:: e-book

2. Computer Aided Verification

Auteur:: Silva, Alexandra; Leino, K. Rustan M.
Uitgever:: Springer International Publishing 2021
Type:: e-book

3. Computer Aided Verification

Auteur:: Silva, Alexandra; Leino, K. Rustan M.
Uitgever:: Springer International Publishing 2021
Type:: e-book

4. Logic and Program Semantics

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Silva, Alexandra
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

5. Logic, Language, Information, and Computation

Auteur:: Alexandra Silva; de Queiroz, Ruy; Wassermann, Renata
Uitgever:: Springer International Publishing 2021
Type:: e-book

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

Auteur:: Kotzé, Paula; Dix, Alan; Jorge, Joaquim; Kotze, Paula; Silva, Paula Alexandra; Wong, William
Uitgever:: Springer US 2009
Type:: e-book

7. Intelligent Technologies for Interactive Entertainment

Auteur:: Chisik; Alexandra Silva, Paula; Holopainen, Jussi; Khaled, Rilla; Luis Silva, José
Uitgever:: Springer International Publishing 2018
Type:: e-book

8. Biblioteca da Universidade: permanência e metamorfoses

Auteur:: José Augusto Cardoso Bernardes; Ana Maria Eva Miguéis; Carla Alexandra Silva Ferreira
Uitgever:: Coimbra University Press 2015
Type:: e-book

9. Methods and Procedures for Building Sustainable Farming Systems

Auteur:: Marta-Costa, Ana Alexandra; Soares da Silva, Emiliana L.D.G; L. D. G. Soares da Silva, Emiliana
Uitgever:: Springer Netherlands 2013
Type:: e-book