Limit Search Results
Author
SpringerLink (Online service)
(260)
Jansen, Klaus. editor.
(10)
Riolo, Rick. editor.
(7)
Blum, Christian. editor.
(6)
Erlebach, Thomas. editor.
(6)
Language
Publication Date
-
2008
(33)
2007
(31)
2005
(29)
2006
(28)
2013
(28)
Subject
Electronic data processing.
(260)
Computer science.
(247)
Computational complexity.
(162)
Artificial intelligence.
(83)
Computer graphics.
(75)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
260 Results Found Subscribe to search results
00000000DEFAULT
Print
253. 
Cover image for Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings
Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings
Author 
Megiddo, Nimrod. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137095
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Modular Algorithms in Symbolic Summation and Symbolic Integration
Modular Algorithms in Symbolic Summation and Symbolic Integration
Author 
Gerhard, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104035
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Author 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527695
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings
Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings
Author 
Brodal, Gerth Stølting. editor. Leonardi, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561071
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Sequences and Their Applications - SETA 2004 Third International Conference, Seoul, Korea, October 24-28, 2004. Revised Selected Papers
Sequences and Their Applications - SETA 2004 Third International Conference, Seoul, Korea, October 24-28, 2004. Revised Selected Papers
Author 
Helleseth, Tor. editor. Sarwate, Dilip. editor. Song, Hong-Yeop. editor. Yang, Kyeongcheol. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136167
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
Author 
Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11573937
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
Author 
Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137294
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action