Limit Search Results
Author
SpringerLink (Online service)
(79)
Albers, Susanne. editor.
(3)
He, Haibo. editor.
(3)
Yu, Wen. editor.
(3)
Zhang, Nian. editor.
(3)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
81 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
Author 
Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04639-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings
Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings
Author 
Pieprzyk, Josef. editor. Zhang, Fangguo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04642-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings
Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings
Author 
Joux, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01001-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Algorithms and theory of computation handbook. Special topics and techniques
Algorithms and theory of computation handbook. Special topics and techniques
Author 
Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Algorithms and theory of computation handbook. General concepts and techniques
Algorithms and theory of computation handbook. General concepts and techniques
Author 
Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Logic Functions and Equations Examples and Exercises
Logic Functions and Equations Examples and Exercises
Author 
Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Author 
Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00659-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III
Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III
Author 
Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01513-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Author 
Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01815-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Coding and Cryptology Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings
Coding and Cryptology Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings
Author 
Chee, Yeow Meng. editor. Li, Chao. editor. Ling, San. editor. Wang, Huaxiong. editor. Xing, Chaoping. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01877-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings
Author 
Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01929-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Author 
Treinen, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02348-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action