Search Results for algorithms.

45.

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:

46.

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings

Author

Giancarlo, Raffaele. editor. Hannenhalli, Sridhar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74126-8

Format:

Availability

Online Library~1

Available:
Copies:

47.

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:

48.

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:

	{displayName}	{count}
{error}