Limit Search Results
Author
SpringerLink (Online service)
(592)
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.
(186)
Artificial intelligence.
(150)
Computer software.
(143)
Computational complexity.
(116)
Mathematics.
(102)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
687 Results Found Subscribe to search results
000000000000DEFAULT
Print
493. 
Cover image for Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Author 
Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03073-4
Format: 
Availability 
Online Library~1
Available:
Copies:
494. 
Cover image for Computing and Combinatorics 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings
Computing and Combinatorics 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings
Author 
Ngo, Hung Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02882-3
Format: 
Availability 
Online Library~1
Available:
Copies:
495. 
Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Author 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
496. 
Cover image for Algorithmische Methoden Zahlen, Vektoren, Polynome
Algorithmische Methoden Zahlen, Vektoren, Polynome
Author 
Kügler, Phillipp. author. Windsteiger, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8435-7
Format: 
Availability 
Online Library~1
Available:
Copies:
497. 
Cover image for Digraphs Theory, Algorithms and Applications
Digraphs Theory, Algorithms and Applications
Author 
Bang-Jensen, Jørgen. author. Gutin, Gregory Z. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-998-1
Format: 
Availability 
Online Library~1
Available:
Copies:
498. 
Cover image for Protective Relaying of Power Systems Using Mathematical Morphology
Protective Relaying of Power Systems Using Mathematical Morphology
Author 
Wu, Q.H. author. Lu, Z. author. Ji, T.Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-499-7
Format: 
Availability 
Online Library~1
Available:
Copies:
499. 
Cover image for Approximation and Online Algorithms 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers
Approximation and Online Algorithms 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers
Author 
Bampis, Evripidis. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
500. 
Cover image for Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
Author 
Deng, Xiaotie. editor. Hopcroft, John E. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02270-8
Format: 
Availability 
Online Library~1
Available:
Copies:
501. 
Cover image for Handbook of algorithms for physical design automation
Handbook of algorithms for physical design automation
Author 
Alpert, Charles J. Mehta, Dinesh P. Sapatnekar, Sachin S., 1967-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
502. 
Cover image for Genetic algorithms and genetic programming modern concepts and practical applications
Genetic algorithms and genetic programming modern concepts and practical applications
Author 
Affenzeller, Michael.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
503. 
Cover image for Machine learning : an algorithmic perspective
Machine learning : an algorithmic perspective
Author 
Marsland, Stephen.
Preferred Shelf Number 
Q325.5 M368 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
504. 
Cover image for Argumentation in Artificial Intelligence
Argumentation in Artificial Intelligence
Author 
Simari, Guillermo. editor. Rahwan, Iyad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-98197-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action