Limit Search Results
Author
SpringerLink (Online service)
(601)
Du, Ding-Zhu. editor.
(9)
Rießinger, Thomas. author.
(8)
Wiley InterScience (Online service)
(7)
Apduhan, Bernady O. editor.
(6)
Language
Publication Date
-
Subject
Computer science.
(187)
Artificial intelligence.
(156)
Computer software.
(143)
Computational complexity.
(116)
Mathematics.
(103)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
735 Results Found Subscribe to search results
000000000000DEFAULT
Print
445. 
Cover image for Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Author 
Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28050-4
Format: 
Availability 
Online Library~1
Available:
Copies:
446. 
Cover image for The BOXES Methodology Black Box Dynamic Control
The BOXES Methodology Black Box Dynamic Control
Author 
Russell, David W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-528-6
Format: 
Availability 
Online Library~1
Available:
Copies:
447. 
Cover image for Lattice basis reduction : an introduction to the LLL algorithm and its applications
Lattice basis reduction : an introduction to the LLL algorithm and its applications
Author 
Bremner, Murray R., author.
Preferred Shelf Number 
QA171.5 .B74 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
448. 
Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Author 
Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Availability 
Online Library~1
Available:
Copies:
449. 
Cover image for Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Author 
Pardalos, Panos M. editor. Rebennack, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20662-7
Format: 
Availability 
Online Library~1
Available:
Copies:
450. 
Cover image for Graph-Theoretic Concepts in Computer Science 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers
Graph-Theoretic Concepts in Computer Science 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers
Author 
Kolman, Petr. editor. Kratochvíl, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25870-1
Format: 
Availability 
Online Library~1
Available:
Copies:
451. 
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:
452. 
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:
453. 
Cover image for Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
Author 
Westermann, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12760-1
Format: 
Availability 
Online Library~1
Available:
Copies:
454. 
Cover image for Evolutionary Statistical Procedures An Evolutionary Computation Approach to Statistical Procedures Designs and Applications
Evolutionary Statistical Procedures An Evolutionary Computation Approach to Statistical Procedures Designs and Applications
Author 
Baragona, Roberto. author. Battaglia, Francesco. author. Poli, Irene. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16218-3
Format: 
Availability 
Online Library~1
Available:
Copies:
455. 
Cover image for The Linear Ordering Problem Exact and Heuristic Methods in Combinatorial Optimization
The Linear Ordering Problem Exact and Heuristic Methods in Combinatorial Optimization
Author 
Martí, Rafael. author. Reinelt, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16729-4
Format: 
Availability 
Online Library~1
Available:
Copies:
456. 
Cover image for Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
Author 
Rießinger, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16851-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action