Refine your search

Your search returned 1976 results.

Not what you expected? Check for suggestions
181.
Combinatorial pattern matching : 15th annual symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004 : proceedings / Suleyman Cenk Sahinalp, S. Muthukrishnan, Ugur Dogrusoz (eds.).

by Sahinalp, Suleyman Cenk | Muthukrishnan, S | Dogrusoz, Ugur.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: CPM 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
182.
Information security applications : 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003 : revised papers / Kijoon Chae, Moti Yung (eds.).

by WISA (Workshop : Information security) (4th : 2003 : Cheju-do, Korea) | Chae, Kijoon | Yung, Moti.

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 .
183.
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.).

by TACAS (Conference) (10th : 2004 : Barcelona, Spain) | Jensen, K. (Kurt), 1950- | Podelski, Andreas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
184.
Primality testing in polynomial time : from randomized algorithms to "primes" is in P / Martin Dietzfelbinger.

by Dietzfelbinger, Martin.

Edition: 1st ed.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 .
185.
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 .
186.
Ant colony optimization and swarm intelligence : 4th international workshop, ANTS 2004, Brussels, Belgium, September 5-8, 2004 : proceedings / Marco Dorigo [and others] (eds.).

by ANTS (Conference : Swarm intelligence) (4th : 2004 : Brussels, Belgium) | Dorigo, Marco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: ANTS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
187.
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 .
188.
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 .
189.
Algorithmic learning theory : 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings / Shai Ben-David, John Case, Akira Maruoka (eds.).

by ALT 2004 (2004 : Padua, Italy) | Ben-David, Shai | Case, John, 1942- | Maruoka, Akira.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: ALT 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
190.
Ant colony optimization and swarm intelligence : 5th international workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006 : proceedings / Marco Dorigo [and others].

by ANTS (Conference : Swarm intelligence) (5th : 2006 : Brussels, Belgium) | Dorigo, Marco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: ANTS 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
191.
Algorithms in bioinformatics : 6th international workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006 : proceedings / Philipp Bücher, Bernard M.E. Moret (eds.).

by WABI (Workshop) (6th : 2006 : Zurich, Switzerland) | Bücher, Philipp | Moret, B. M. E. (Bernard M. E.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: WABI 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
192.
Rewriting techniques and applications : 4th International Conference, RTA- 91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book (Ed.).

by Book, Ronald V [edt] | International Conference on Rewriting Techniques and Applications, RTA-91 (4 : 1991 - 12-04-1991 : Como, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
193.
Algorithms and computation : 10th international symposium, ISAAC '99, Chennai, India, December 16-18, 1999 : proceedings / Alok Aggarwal, C. Pandu Rangan (eds.).

by Aggarwal, Alok [aut] | Pandu Rangan, C [aut] | International Symposium on Algorithms and Computation, ISAAC (10 : 16-12-1999 - 18-12-1999 : Chennai, India).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1999Other title: ISAAC'99 | ISAAC '99.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
194.
Towards dynamic randomized algorithms in computational geometry / Monique Teillaud.

by Teillaud, Monique, 1961- [aut].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
195.
Algorithms--ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / Thomas Lengauer (ed.).

by ESA (Symposium) (1st : 1993 : Bad Honnef, Germany) | Lengauer, T. (Thomas) | Gesellschaft für Informatik | Annual European Symposium on Algorithms, ESA (1 : 30-09-1993 - 02-10-1993 : Bad Honnef, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1993Other title: ESA '93 | Algorithms.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
196.
Algorithm theory, SWAT '92 : third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen (eds.).

by Nurmi, O. (Otto), 1953- [edt] | Ukkonen, E. (Esko), 1950- [edt] | Scandinavian Workshop on Algorithm Theory, SWAT (3 : 1992 : Helsinki, Finland).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1992Other title: Algorithm theory | SWAT '92.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
197.
Adaptive and natural computing algorithms : 8th international conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007 : proceedings / Bartłomiej Beliczyński, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro (eds.).

by ICANNGA (Conference) (2007 : Warsaw, Poland) | Beliczyński, Bartłomiej [editor] | Dzieliński, Andrzej [editor] | Iwanowski, Marcin, 1971- [editor.] | Ribeiro, Bernardete [editor].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, [2007]Copyright date: ©2007Other title: ICANNGA 2007.Online access: Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
198.
Algorithmic learning theory : 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001 : proceedings / Naoki Abe, Roni Khardon, Thomas Zeugmann (eds.).

by ALT 2001 (2001 : Washington, D.C.) | Abe, Naoki, 1960- | Khardon, Roni, 1963- | Zeugmann, Thomas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
199.
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Sophie Tison (ed.).

by International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark) | Tison, Sophie.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
200.
Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard Scholz.

by Fahringer, Thomas, 1965- | Scholz, Bernhard (Bernhard Friedrich), 1972-.

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 .

Powered by Koha