Limit Search Results
Author
SpringerLink (Online service)
(217)
Mayr, Ernst W. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Gerdt, Vladimir P. editor.
(5)
Koepf, Wolfram. editor.
(4)
Language
Publication Date
-
Subject
Algebra -- Data processing.
(218)
Computer science.
(188)
Computational complexity.
(89)
Computer software.
(82)
Logic design.
(65)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
226 Results Found Subscribe to search results
000000000000DEFAULT
Print
169. 
Cover image for Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Author 
Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74464-1
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings
Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings
Author 
Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75187-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Author 
Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Algorithmic Topology and Classification of 3-Manifolds
Algorithmic Topology and Classification of 3-Manifolds
Author 
Matveev, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-45899-9
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings
Author 
Boztaş, Serdar. editor. Lu, Hsiao-Feng (Francis). editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77224-8
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for The Mathematica GuideBook for Symbolics
The Mathematica GuideBook for Symbolics
Author 
Trott, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28815-5
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
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:
177. 
Cover image for Global Optimization From Theory to Implementation
Global Optimization From Theory to Implementation
Author 
Liberti, Leo. editor. Maculan, Nelson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30528-9
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Author 
Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31262-5
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Computeralgebra Eine algorithmisch orientierte Einführung
Computeralgebra Eine algorithmisch orientierte Einführung
Author 
Koepf, Wolfram. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29895-9
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Author 
MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11734673
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action