Your search returned 51 results.

Not what you expected? Check for suggestions
1.
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 .
2.
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 .
3.
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 .
4.
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 .
5.
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 .
6.
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 .
7.
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 .
8.
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 .
9.
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 .
10.
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 .
11.
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 .
12.
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 .
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.
Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006 ; proceedings / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.).

by CASC (Workshop : 2001- ) (9th : 2006 : Chişinău, Moldova) | 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, 2006Other title: CASC 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
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 .
17.
Arithmetic of finite fields : 2nd international workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008 : proceedings / Joachim von zur Gathen, José Luis Imaña, Çetin Kaya Koç (eds.).

by WAIFI (Workshop) (2nd : 2008 : Siena, Italy) | Gathen, Joachim von zur | Imaña, José Luis | Koç, Çetin K, 1957-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: WAIFI 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Dynamic brain - from neural spikes to behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, revised lectures / Maria Marinaro, Silvia Scarpetta, Yoko Yamaguchi, eds.

by International Summer School on Neural Networks (12th : 2007 : Erice, Italy) | Marinaro, M | Scarpetta, Silvia | Yamaguchi, Yoko.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Theory and applications of satisfiability testing--SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings / Oliver Kullmann (ed.).

by SAT 2009 (2009 : Swansea, Wales) | Kullmann, Oliver.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / Erich Grädel, Reinhard Kahle (eds.).

by CSL 2009 (2009 : Coimbra, Portugal) | Grädel, Erich, 1958- | Kahle, Reinhard, 1967- | European Association for Computer Science Logic.

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

Powered by Koha