-
391
-
392
-
393
-
394
-
395
-
396
Introduction to computing & programming in Python a multimedia approach
Foilsithe / Cruthaithe 2013LEABHAR -
397
-
398
10 PRINT CHR$(205.5+RND(1));:GOTO 1
Foilsithe / Cruthaithe 2013Click here to access thru EZproxy
Click here to access
Electronic Resource -
399
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant
Foilsithe / Cruthaithe 2013Click here to access thru EZproxy
Click here to access
Electronic Resource -
400


