Limit Search Results
Author
SpringerLink (Online service)
(188)
Mayr, Ernst W. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Gerdt, Vladimir P. editor.
(5)
Koepf, Wolfram. editor.
(4)
Language
Publication Date
-
2009
(37)
2008
(26)
2011
(26)
2012
(20)
2013
(18)
Subject
Algebra -- Data processing.
(188)
Computational complexity.
(89)
Computer software.
(74)
Logic design.
(65)
Artificial intelligence.
(52)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
188 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
Cover image for Game Start! Strumenti per comprendere i videogiochi
Game Start! Strumenti per comprendere i videogiochi
Author 
Alinovi, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1956-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
Cover image for The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Author 
Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23211-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Author 
Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24130-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
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:
58. 
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:
59. 
Cover image for Graph Drawing 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers
Graph Drawing 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers
Author 
Brandes, Ulrik. editor. Cornelsen, Sabine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18469-7
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for WALCOM: Algorithms and Computation 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings
WALCOM: Algorithms and Computation 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings
Author 
Katoh, Naoki. editor. Kumar, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19094-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action