Limit Search Results
Author
SpringerLink (Online service)
(65)
Wiley InterScience (Online service)
(3)
Angeles, Jorge.
(2)
Beliczynski, Bartlomiej. editor.
(2)
Cohen, Henri. author.
(2)
Language
Subject
Computer science.
(39)
Computer software.
(33)
Algorithms.
(32)
Computational complexity.
(19)
Mathematics.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
117 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings
Author 
Stützle, Thomas. editor. Birattari, Mauro. editor. H. Hoos, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74446-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
Author 
Chen, Bo. editor. Paterson, Mike. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74450-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algorithms and Models for the Web-Graph 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007. Proceedings
Algorithms and Models for the Web-Graph 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007. Proceedings
Author 
Bonato, Anthony. editor. Chung, Fan R. K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77004-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings
Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings
Author 
Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77120-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings
Author 
Boztaş, Serdar. editor. Lu, Hsiao-Feng (Francis). editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77224-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications
Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications
Author 
Griebel, Michael. author. Zumbusch, Gerhard. author. Knapek, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers
Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers
Author 
Branco, António. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71412-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
Author 
Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71618-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings
Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings
Author 
Demetrescu, Camil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72845-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings
Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings
Author 
Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72905-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings
Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings
Author 
Crescenzi, Pierluigi. editor. Prencipe, Giuseppe. editor. Pucci, Geppino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72914-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action