Your search returned 53 results.

Not what you expected? Check for suggestions
1.
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 .
2.
Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / Franz Baader (ed.).

by International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France) | Baader, Franz.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: RTA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Pairing-based cryptography-- : Pairing 2007 : first international conference, Tokyo, Japan, July 2-4, 2007 : proceedings / Tsuyoshi Takagi [and others] (eds.).

by International Conference on Pairing-Based Cryptography (1st : 2007 : Tokyo, Japan) | Takagi, Tsuyoshi (Mathematician).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Pairing 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Computer algebra in scientific computing : 10th international workshop, CASC 2007, Bonn, Germany, September 16-20, 2007 : proceedings / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.).

by CASC (Workshop : 2001- ) (10th : 2007 : Bonn, Germany) | Ganzha, V. G. (Victor Grigorʹevich), 1956- | Mayr, Ernst | Vorozhtsov, E. V. (Evgenii Vasilʹevich), 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CASC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Arithmetic of finite fields : first international workshop, WAIFI 2007, Madrid, Spain, June 2007 : proceedings / Claude Carlet, Berk Sunar (eds.).

by WAIFI (Workshop) (1st : 2007 : Madrid, Spain) | Carlet, Claude | Sunar, Berk.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: WAIFI 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers / Jan Holub, Jan Zdarek (eds.).

by CIAA (Conference) (12th : 2007 : Prague, Czech Republic) | Holub, Jan | Žd̕árek, Jan, 1938-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CIAA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.).

by SAT 2008 (2008 : Guangzhou, China) | Kleine Büning, H. (Hans) | Zhao, Xishun.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: Satisfiability testing | SAT 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Applied algebra, algebraic algorithms and error-correcting codes : 17th international symposium, AAECC-17, Bangalore, India, December 16-20, 2007 : proceedings / Serdar Boztaş, Hsiao-Feng (Francis) Lu (eds.).

by AAECC-17 (2007 : Bangalore, India) | Boztaş, Serdar | Lu, Hsiao-Feng.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: AAECC-17.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / Marc Fossorier [and others] (eds.).

by AAECC-13 (1999 : Honolulu, Hawaii) | Fossorier, Marc, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
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 .
11.
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 .
12.
Applied algebra, algebraic algorithms, and error-correcting codes : 16th international symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006 : proceedings / Marc Fossorier [and others] (eds.).

by AAECC-16 (2006 : Las Vegas, Nev.) | Fossorier, Marc, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Mathematical software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006 : proceedings / Andres Iglesias, Nobuki Takayama (eds.).

by International Congress of Mathematical Software (2nd : 2006 : Castro Urdiales, Spain) | Iglesias, Andrés (Iglesias Prieto) | Takayama, Nobuki, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: ICMS 2006 | International Congress on Mathematical Software | 2nd International Congress on Mathematical Software.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Sequences and their applications--SETA 2006 : 4th international conference, Beijing, China, September 24-28, 2006 : proceedings / Guang Gong [and others] (eds.).

by SETA 2006 (2006 : Beijing, China) | Gong, Guang, 1956-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: SETA 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.).

by International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash.) | Pfenning, Frank.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2006Other title: RTA 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.).

by SAT 2006 (2006 : Seattle, Wash.) | Biere, Armin | Gomes, Carla.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: SAT 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / Martin Grohe, Rolf Niedermeier (eds.).

by IWPEC (Workshop) (3rd : 2008 : Victoria, B.C.) | Grohe, M. (Martin) | Niedermeier, Rolf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: IWPEC 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Applied algebra, algebraic algorithms, and error-correcting codes : 8th International Conference, AAECC-8 Tokyo, Japan, August 20-24, 1990 : proceedings / S. Sakata (ed.).

by AAECC-8 (1990 : Tokyo, Japan) | Sakata, S. (Shojiro).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings / H.F. Mattson, T. Mora, T.R.N. Rao (eds.).

by AAECC-9 (1991 : New Orleans, La.) | Mattson, H. F. (Harold F.), 1930- | Mora, Teo | Rao, T. R. N. (Thammavarapu R. N.), 1933-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Applied algebra, algebraic algorithms and error-correcting codes : 14th international symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001 : proceedings / Serdar Boztaș, Igor E. Shparlinski (eds.).

by AAECC-14 (2001 : Melbourne, Australia) | Boztaș, Serdar | Shparlinski, Igor E.

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

Powered by Koha