Risultato ricerca
The Semantics and Proof Theory of the Logic of Bunched Implications
Inglese
30.06.2009
Copertina rigida
Fr. 188.00
Interaction Between Compilers and Computer Architectures
Inglese
29.06.2009
Copertina rigida
Fr. 134.00
Workload Characterization of Emerging Computer Applications
Inglese
29.06.2009
Copertina rigida
Fr. 238.00