Limit Search Results
Author
SpringerLink (Online service)
(27)
Gerdt, Vladimir P. editor.
(4)
Koepf, Wolfram. editor.
(4)
Mayr, Ernst W. editor.
(4)
Vorozhtsov, Evgenii V. editor.
(4)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Author 
Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-406-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Author 
Curien, Pierre-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02273-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings
Author 
Dinur, Irit. editor. Jansen, Klaus. editor. Naor, Joseph. editor. Rolim, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03685-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Author 
Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02614-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Author 
Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85110-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
Author 
Hertling, Peter. editor. Hoffmann, Christoph M. editor. Luther, Wolfram. editor. Revol, Nathalie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85521-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Author 
Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87827-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings
Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings
Author 
Gong, Guang. editor. Helleseth, Tor. editor. Song, Hong-Yeop. editor. Yang, Kyeongcheol. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11863854
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
Author 
Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11856290
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
Author 
Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11832225
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Continuous System Simulation
Continuous System Simulation
Author 
Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30260-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Modular Algorithms in Symbolic Summation and Symbolic Integration
Modular Algorithms in Symbolic Summation and Symbolic Integration
Author 
Gerhard, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104035
Format: 
Availability 
Online Library~1
Available:
Copies: