Limit Search Results
Author
Andreescu, Titu. author.
(1)
Andrew, Alex M. author.
(1)
Artemov, Sergei. editor.
(1)
Atmanspacher, Harald. editor.
(1)
Constanda, Christian. editor.
(1)
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
28 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Author 
Constanda, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-539-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithmic Composition Paradigms of Automated Music Generation
Algorithmic Composition Paradigms of Automated Music Generation
Author 
Nierhaus, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-75540-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science
Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science
Author 
Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85198-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Author 
Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03429-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Author 
Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04027-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Author 
He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Introduction to Boolean Algebras
Introduction to Boolean Algebras
Author 
Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68436-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for A Missing Link in Cybernetics Logic and Continuity
A Missing Link in Cybernetics Logic and Continuity
Author 
Andrew, Alex M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75164-1
Format: 
Availability 
Online Library~1
Available:
Copies: