Limit Search Results
Author
Cuzzocrea, Alfredo. editor.
(2)
Dobnikar, Andrej. editor.
(2)
Hobbs, Michael. editor.
(2)
Iliopoulos, Costas S. editor.
(2)
Jansen, Klaus. editor.
(2)
Language
Subject
Computer science.
(44)
Computer software.
(27)
Algorithms.
(26)
Computational complexity.
(20)
Engineering.
(20)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
76 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory
Author 
Granström, Johan Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1736-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Convex Analysis and Monotone Operator Theory in Hilbert Spaces
Convex Analysis and Monotone Operator Theory in Hilbert Spaces
Author 
Bauschke, Heinz H. author. Combettes, Patrick L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9467-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical Aspects of Network Routing Optimization
Mathematical Aspects of Network Routing Optimization
Author 
Oliveira, Carlos A.S. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0311-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Digital Signal Processing in Power System Protection and Control
Digital Signal Processing in Power System Protection and Control
Author 
Rebizant, Waldemar. author. Szafran, Janusz. author. Wiszniewski, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-802-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action