Limit Search Results
Author
SpringerLink (Online service)
(45)
Fried, Michael D. author.
(2)
Jarden, Moshe. author.
(2)
Löwe, Benedikt. editor.
(2)
Andreescu, Titu. author.
(1)
Language
Publication Date
-
Subject
Algebra.
(30)
Mathematics.
(27)
Computer science.
(21)
Algebra -- Data processing.
(15)
Logic design.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
47 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Author 
Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
Author 
Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13606-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
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:
17. 
Cover image for Proofs and Fundamentals A First Course in Abstract Mathematics
Proofs and Fundamentals A First Course in Abstract Mathematics
Author 
Bloch, Ethan D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics
The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics
Author 
Soifer, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75472-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for From Objects to Diagrams for Ranges of Functors
From Objects to Diagrams for Ranges of Functors
Author 
Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21774-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
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:
22. 
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:
23. 
Cover image for Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
Author 
Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68361-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Cardinal Invariants on Boolean Algebras
Cardinal Invariants on Boolean Algebras
Author 
Monk, J. Donald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0334-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action