Your search returned 19 results.

Not what you expected? Check for suggestions
1.
Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).

by SAT 2003 (2003 : Santa Margherita Ligure, Italy) | Giunchiglia, Enrico | Tacchella, Armando.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Modular algorithms in symbolic summation and symbolic integration / Jürgen Gerhard.

by Gerhard, Jürgen, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings / Andreas Albrecht, Kathleen Steinhöfel (eds.).

by SAGA 2003 (2003 : Hatfield, Hertfordshire, England) | Albrecht, A. (Andreas) | Steinhöfel, Kathleen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings / Celso C. Ribeiro, Simone L. Martins (eds.).

by WEA (Workshop) (3rd : 2004 : Angra dos Reis, Brazil) | Ribeiro, Celso C | Martins, Simone L | European Association for Theoretical Computer Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, ©2004Other title: WEA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Parameterized and exact computation : first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings / Rod Downey, Michael Fellows, Frank Dehne (eds.).

by IWPEC (Workshop) (1st : 2004 : Bergen, Norway) | Downey, R. G. (Rod G.) | Fellows, M. R. (Michael Ralph), 1952- | Dehne, F. (Frank), 1960-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: IWPEC 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Combinatorial and algorithmic aspects of networking : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004 : revised selected papers / Alejandro López-Ortiz, Angèle Hamel (eds.).

by Workshop on Combinatorial and Algorithmic Aspects of Networking (1st : 2004 : Banff, Alta.) | López-Ortiz, Alejandro | Hamel, Angèle.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CAAN 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Algorithms and computation : 15th international symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004 ; proceedings / Rudolf Fleischer, Gerhard Trippen (eds.).

by ISAAC (Conference) (15th : 2004 : Hong Kong, China) | Fleischer, Rudolf, 1964- | Trippen, Gerhard.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: ISAAC 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Experimental and efficient algorithms : 4th international workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005 : proceedings / Sotiris E. Nikoletseas (ed.).

by WEA (Workshop) (4th : 2005 : Thēra, Greece) | Nikoletseas, Sotiris.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: WEA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 ; revised selected papers / Maurice Margenstern (ed.).

by MCU 2004 (2004 : Saint Petersburg, Russia) | Margenstern, Maurice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2005Other title: MCU 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.).

by SAT 2005 (2005 : St. Andrews, Scotland) | Bacchus, Fahiem | Walsh, Toby.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: SAT 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
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 / Hongbo Li, Peter J. Olver, Gerald Sommer (eds.).

by International Workshop on Mathematics Mechanization (6th : 2004 : Shanghai, China) | Li, Hungbo | Olver, Peter J | Sommer, Gerald, 1945- | GIAE 2004 (2004 : Xi'an, Shaanxi Sheng, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: IWMM 2004 | GIAE 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.).

by SAT 2004 (2004 : Vancouver, B.C.) | Hoos, Holger H | Mitchell, David G., Ph. D.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: Satisfiability testing | SAT 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Advanced data mining and applications : first international conference, ADMA 2005, Wuhan, China, July 22-24, 2005 : proceedings / Xue Li, Shuliang Wang, Zhao Yang Dong (eds.).

by ADMA (Conference) (1st : 2005 : Wuhan, China) | Li, Xue, 1955- | Wang, Shuliang | Dong, Zhao Yang.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: ADMA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Algorithms and data structures : 9th international workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005 : proceedings / Frank Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack (eds.).

by WADS 2005 (2005 : Waterloo, Ont.) | Dehne, F. (Frank), 1960- | López-Ortiz, Alejandro | Sack, J.-R. (Jörg-Rüdiger), 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: WADS 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005, and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings / Chandra Chekuri [and others] (eds.).

by International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (8th : 2005 : Berkeley, Calif.) | Chekuri, Chandra | International Workshop on Randomization and Computation (9th : 2005 : Berkeley, Calif.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: APPROX 2005 | RANDOM 2005 | 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | Eighth International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | International Workshop on Approximation Algorithms for Combinatorial Optimization Problems | 9th International Workshop on Randomization and Computation | Ninth International Workshop on Randomization and Computation | International Workshop on Randomization and Computation.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Distributed and parallel computing : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005 : proceedings / Michael Hobbs, Andrzej M. Goscinski, Wanlei Zhou (eds.).

by International Conference on Algorithms and Architectures for Parallel Processing (6th : 2005 : Melbourne, Vic.) | Hobbs, Michael, 1969- | Gościński, Andrzej | Zhou, Wanlei.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: 6th International Conference on Algorithms and Architectures for Parallel Processing | Sixth International Conference on Algorithms and Architectures for Parallel Processing | International Conference on Algorithms and Architectures for Parallel Processing | ICA3PP 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Algorithms in bioinformatics : 5th international workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005 : proceedings / Rita Casadio, Gene Myers (eds.).

by WABI (Workshop) (5th : 2005 : Palma de Mallorca, Spain) | Casadio, Rita | Myers, Eugene W. (Eugene Wimberly).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: WABI 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Algorithms -- ESA 2005 : 13th annual European symposium, Palma de Mallorca, Spain, October 3-6, 2005 : proceedings / Gerth Stølting Brodal, Stefano Leonardi (eds.).

by ESA (Symposium) (13th : 2005 : Palma de Mallorca, Spain) | Brodal, Gerth Stølting, 1969- | Leonardi, S. (Stefano).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: Algorithms | ESA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Algorithms and computation : 14th international symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003 : proceedings / Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono (eds.).

小野, 廣隆. by ISAAC (Symposium) (14th : 2003 : Kyoto, Japan) | Ibaraki, Toshihide | Katoh, Naoki | Ono, Hirotaka.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Other title: ISAAC 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha