Limit Search Results
Author
SpringerLink (Online service)
(55)
Carette, Jacques. editor.
(3)
Groote, Philippe. editor.
(2)
Ida, Tetsuo. editor.
(2)
Leung, Ho-fung. author.
(2)
Language
Publication Date
-
Subject
Algebra -- Data processing.
(53)
Computer science.
(52)
Logic design.
(25)
Software engineering.
(19)
Computational complexity.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
55 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
Cover image for Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
Author 
Teixeira, António. editor. Lima, Vera Lúcia Strube. editor. Oliveira, Luís Caldas. editor. Quaresma, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85980-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
Cover image for Algorithms in Invariant Theory
Algorithms in Invariant Theory
Author 
Sturmfels, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70590-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Author 
Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Author 
Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
Author 
Baader, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
Cover image for Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
Author 
Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11784180
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Author 
Swart, Harrie. editor. Orłowska, Ewa. editor. Schmidt, Gunther. editor. Roubens, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11964810
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Author 
Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11828563
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action