Zoekresultaten
-
1
-
2
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant
Gepubliceerd in 2013Click here to access thru EZproxy
Click here to access
Electronic Resource -
3
Communication complexity a new approach to circuit depth
Gepubliceerd in 1989Click here to access thru EZproxy
Click here to access
Electronic Resource -
4
Model-based requirements engineering
Gepubliceerd in 2012Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
Electronic Resource -
5
-
6
Efficient checking of polynomials and proofs and the hardness of approximation problems
Gepubliceerd in 1995Boek -
7
-
8
-
9
-
10


