Your search returned 19 results.

Not what you expected? Check for suggestions
Sort
Results
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 2919.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Modular algorithms in symbolic summation and symbolic integration / Jürgen Gerhard.

by Gerhard, Jürgen, 1967-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3218.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 2827.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3059.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, ©2004Other title: WEA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3162.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11321361Publication details: Berlin ; New York : Springer, ©2004Other title: IWPEC 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3405. | Hot topics (Berlin, Germany)Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: CAAN 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3341.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2004Other title: ISAAC 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3503.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: WEA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3354.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11404262Publication details: Berlin : Springer, 2005Other title: MCU 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3569.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2005Other title: SAT 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 3519.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11499251Publication details: 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).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3542.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3584. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2005Other title: ADMA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3608.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).
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.).

Series: Serienbezeichnung | Lecture notes in computer science ; 3624.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3719.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 3692. | Lecture notes in computer science. Lecture notes in bioinformatics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2005Other title: WABI 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 3669.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2005Other title: Algorithms | ESA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 2906.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Other title: ISAAC 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha