Search Results for Algorithms.

40 Results Found

1 2 3 4

000000000000DEFAULT

25.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107194

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Stochastic Algorithms: Foundations and Applications Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

Stochastic Algorithms: Foundations and Applications Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

Author

Lupanov, Oleg B. editor. Kasim-Zade, Oktay M. editor. Chaskin, Alexander V. editor. Steinhöfel, Kathleen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11571155

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Nonlinear Analyses and Algorithms for Speech Processing International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers

Nonlinear Analyses and Algorithms for Speech Processing International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers

Author

Faundez-Zanuy, Marcos. editor. Janer, Léonard. editor. Esposito, Anna. editor. Satue-Villar, Antonio. editor. Roure, Josep. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11613107

Format:

Availability

Online Library~1

Available:
Copies:

28.

Matematica generale con il calcolatore

Author

Impedovo, Michele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138109

Format:

Availability

Online Library~1

Available:
Copies:

29.

Interior Point Methods for Linear Optimization

Author

Roos, Cornelis. author. Terlaky, Tamás. author. Vial, Jean-Philiipe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b100325

Format:

Availability

Online Library~1

Available:
Copies:

30.

New Developments in Parsing Technology

Author

Bunt, Harry. editor. Carroll, John. editor. Satta, Giorgio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2295-6

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers

Author

Hromkovič, Juraj. editor. Nagl, Manfred. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104584

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Author

Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11549345

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

Author

Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11555964

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Author

Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136981

Format:

Availability

Online Library~1

Available:
Copies:

35.

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming

Author

Nowak, Ivo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-7643-7374-1

Format:

Availability

Online Library~1

Available:
Copies:

36.

List Decoding of Error-Correcting Codes Winning Thesis of the 2002 ACM Doctoral Dissertation Competition

Author

Guruswami, Venkatesan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104335

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

	{displayName}	{count}
{error}