Limit Search Results
Author
Subject
Symbolic and Algebraic Manipulation.
(18)
Mathematical Logic and Formal Languages.
(9)
Computational complexity.
(7)
Discrete Mathematics in Computer Science.
(7)
Artificial Intelligence (incl. Robotics).
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Author 
Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number 
ONLINE(334781.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39320-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Quantum Attacks on Public-Key Cryptosystems
Quantum Attacks on Public-Key Cryptosystems
Author 
Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Author 
Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38215-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Polyhedral and Algebraic Methods in Computational Geometry
Polyhedral and Algebraic Methods in Computational Geometry
Author 
Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331067.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4817-3
Format: 
Availability 
Online Library~1
Available:
Copies: