Limit Search Results
Author
SpringerLink (Online service)
(213)
Mayr, Ernst W. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Gerdt, Vladimir P. editor.
(5)
Koepf, Wolfram. editor.
(4)
Publication Date
-
Subject
Algebra -- Data processing.
(214)
Computer science.
(186)
Computational complexity.
(88)
Computer software.
(78)
Logic design.
(65)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
224 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Author 
Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35308-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Loewy Decomposition of Linear Differential Equations
Loewy Decomposition of Linear Differential Equations
Author 
Schwarz, Fritz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-1286-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
Author 
Kuchen, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22531-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Rigorous Software Development An Introduction to Program Verification
Rigorous Software Development An Introduction to Program Verification
Author 
Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-018-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Guide to Geometric Algebra in Practice
Guide to Geometric Algebra in Practice
Author 
Dorst, Leo. editor. Lasenby, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-811-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
Author 
Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21875-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Author 
Kaiser, Łukasz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22807-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Author 
Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25873-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
Author 
Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22944-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
Author 
Winkler, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21691-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Author 
Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25379-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action