Your search returned 74 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.
Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings / Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.).

by Conference on Developments in Language Theory (11th : 2007 : Turku, Finland) | Harju, T | Karhumäki, Juhani | Lepistö, Arto.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: DLT 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Algebraic biology : second international conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007 : proceedings / Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (eds.).

by AB 2007 (2007 : Hagenberg im Mühlkreis, Austria) | Anai, Hirokazu | Horimoto, Katsuhisa | Kutsia, Temur.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: AB 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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 .
5.
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.).

by CALCO (Conference) (2nd : 2007 : Bergen, Norway) | Mossakowski, Till | Montanari, U. (Ugo) | Haveraaen, Magne.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CALCO 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).

by TYPES 2006 (2006 : Nottingham, England) | Altenkirch, Thorsten, 1962- | McBride, Conor.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: TYPES 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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 .
8.
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 .
9.
Mathematics of surfaces XII : 12th IMA international conference, Sheffield, UK, September 4-6, 2007 : proceedings / Ralph Martin, Malcolm Sabin, Joab Winkler (eds.).

by IMA Conference on the Mathematics of Surfaces (12th : 2007 : Sheffield, England) | Martin, R. R. (Ralph R.) | Sabin, M. A. (Malcolm Arthur) | Winkler, Joab | Institute of Mathematics and Its Applications.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Mathematics of surfaces 12 | Mathematics of surfaces twelve.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
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 .
11.
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 .
12.
Algebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers / Symeon Bozapalidis, George Rahonis (eds.).

by CAI 2007 (2007 : Thessalonikē, Greece) | Bozapalidēs, Symeōn | Rachōnēs, Geōrgios, 1965-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CAI 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
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 .
14.
Cryptography and coding : 11th IMA International Conference, Cirencester, UK, December 18-20, 2007 : proceedings / Steven D. Galbraith (ed.).

by IMA International Conference (11th : 2007 : Cirencester, England) | Galbraith, Steven D.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: 11th IMA International Conference | Eleventh IMA International Conference | IMA International Conference.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Sequences, subsequences, and consequences : international workshop, SSC 2007, Los Angeles, CA, USA, May 31-June 2, 2007 : revised invited papers / Solomon W. Golomb [and others] (eds.).

by SSC 2007 (2007 : Los Angeles, Calif.) | Golomb, Solomon W. (Solomon Wolf).

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SSC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / Raoul Medina, Sergei Obiedkov (eds.).

by International Conference on Formal Concept Analysis (6th : 2008 : Montréal, Québec) | Medina, Raoul | Obiedkov, Sergei.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: ICFCA 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Concept lattices and their applications : fourth international conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006 ; selected papers / Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek (eds.).

by CLA 2006 (2006 : Ḥammāmāt, Tunisia) | Ben Yahia, Sadok | Nguifo, Engelbert Mephu | Bělohlávek, Radim.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Other title: CLA 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Developments in language theory : 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).

by Conference on Developments in Language Theory (10th : 2006 : Santa Barbara, Calif.) | Ibarra, Oscar H | Dang, Zhe, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: DLT 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
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 .
20.
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.).

by AISC (Conference) (8th : 2006 : Beijing, China) | Calmet, Jacques | Ida, Tetsuo | Wang, Dongming, 1961-.

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

Powered by Koha