Silva, Alexandra
18  results:
Search for persons X
?
2

Logic, Language, Information, and Computation: 27th Interna.. 

Theoretical Computer Science and General Issues, 13038
 
?
3

Language, Logic, and Computation: 12th International Tbilis.. 

Theoretical Computer Science and General Issues, 11456
Silva, Alexandra ; Staton, Sam ; Sutton, Peter. - 1st ed. 2019 . , 2019
 
?
4

Formal Techniques for Distributed Objects, Components, and .. 

37th IFIP WG 6.1 International Conference, FORTE 2017, Held...  Lecture Notes in Computer Science ; 10321;SpringerLink, Bücher;Springer eBook Collection, Computer Science
 
?
8

Logic and Program Semantics 

Essays Dedicated to Dexter Kozen on the Occasion of His 60t...  Lecture Notes in Computer Science ; 7230;SpringerLink, Bücher
 
?
10

Creativity and HCI: From Experience to Design in Education 

IFIP – International Federation for Information Processing ; 289;SpringerLink, Bücher
 
?
15

The CliniBook 

Clinical gene transfer state of the art 
 
1-15