-
181
-
182
-
183
-
184
-
185
-
186
-
187
-
188
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant
Published 2013Click here to access thru EZproxy
Click here to access
Electronic Resource -
189
Game development for iOS with Unity3D
Published 2013Available for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access thru EZproxy
Electronic Resource -
190