Your search returned 19 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
3.
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.). by Series: Lecture notes in computer science ; 3119.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11320111
Publication details: Berlin ; New York : Springer, 2004
Other title:
  • MKM 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Mathematical software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006 : proceedings / Andres Iglesias, Nobuki Takayama (eds.). by Series: Lecture notes in computer science ; 4151. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • ICMS 2006
  • International Congress on Mathematical Software
  • 2nd International Congress on Mathematical Software
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / Jonathan M. Borwein, William M. Farmer (eds.). by Series: Lecture notes in computer science ; 4108. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©2006
Other title:
  • MKM 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : proceedings / Deepak Kapur (eds.). by Series: Lecture notes in computer science ; 5081. | 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 : Springer, ©2008
Other title:
  • ASCM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings / edited by Willard L. Miranker and Richard A. Toupin. by Series: Lecture notes in computer science ; 235.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1986
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch (ed.). by Series: Lecture notes in computer science ; 721.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1993
Other title:
  • DISCO '92
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
11.
12.
Mathematical software--ICMS 2010 : third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010 : proceedings / Komei Fukuda [and others] (eds.). by Series: Lecture notes in computer science ; 6327. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • ICMS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / A. Miola, (ed.). by Series: Lecture notes in computer science ; 429.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1990
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Mathematical software -- ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings / edited by Hoon Hong, Chee Yap. by Series: Lecture notes in computer science ; 8592. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2014
Other title:
  • ICMS 2014
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
16.
17.
18.
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / Michael Kohlhase (ed.). by Series: Lecture notes in computer science ; 3863. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11618027
Publisher: Berlin ; New York : Springer, ©2006
Other title:
  • MKM 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Pages

Powered by Koha