Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
Author 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Author 
Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31570-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Making claims knowledge design, capture, and sharing in HCI
Making claims knowledge design, capture, and sharing in HCI
Author 
McCrickard, D. Scott, 1970-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=466361
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic : the laws of truth
Logic : the laws of truth
Author 
Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sr96
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for The logician and the engineer : how George Boole and Claude Shannon created the information age
The logician and the engineer : how George Boole and Claude Shannon created the information age
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Energy-aware memory management for embedded multimedia systems : a computer-aided design approach
Energy-aware memory management for embedded multimedia systems : a computer-aided design approach
Author 
Balasa, Florin. Pradhan, Dhiraj K.
Preferred Shelf Number 
TK7895 .E42 E69 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Godel's way : exploits into an undecidable world
Godel's way : exploits into an undecidable world
Author 
Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.
Preferred Shelf Number 
QA9.65 .C428 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Multiple-base number system : theory and applications
Multiple-base number system : theory and applications
Author 
Dimitrov, Vassil., author. Jullien, Graham. Muscedere, Roberto.
Preferred Shelf Number 
QA76.9 .C62 D56 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets