Limit Search Results
Author
Language
Subject
Computer programming.
(2)
Programmierung.
(2)
lambda calcul.
(2)
programmation en logique.
(2)
programmation.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for An introduction to programming with specifications a mathematical approach
An introduction to programming with specifications a mathematical approach
Author 
Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124276208
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Lazy functional languages abstract interpretation and compilation
Lazy functional languages abstract interpretation and compilation
Author 
Burn, Geoffrey.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Basic category theory for computer scientists
Basic category theory for computer scientists
Author 
Pierce, Benjamin C.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Data-parallel programming on MIMD computers
Data-parallel programming on MIMD computers
Author 
Hatcher, Philip J. Quinn, Michael J. (Michael Jay)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Author 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Warren's abstract machine a tutorial reconstruction
Warren's abstract machine a tutorial reconstruction
Author 
Aït-Kaci, Hassan, 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Availability 
Online Library~1
Available:
Copies: