Limit Search Results
Author
SpringerLink (Online service)
(79)
Hazewinkel, Michiel.
(6)
Lau, Dietlinde. author.
(5)
Beutelspacher, Albrecht. author.
(2)
Cohen, Henri. author.
(2)
Language
Publication Date
-
Subject
Computer science.
(52)
Mathematics.
(40)
Computational complexity.
(19)
Data structures (Computer science).
(13)
Computer science -- Mathematics.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
91 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture
The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture
Author 
Milmeister, Gérard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00148-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Flow, Gesture, and Spaces in Free Jazz Towards a Theory of Collaboration
Flow, Gesture, and Spaces in Free Jazz Towards a Theory of Collaboration
Author 
Mazzola, Guerino B. author. Cherlin, Paul B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92195-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Author 
Hinkis, Arie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332605.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tool and Object A History and Philosophy of Category Theory
Tool and Object A History and Philosophy of Category Theory
Author 
Krömer, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-7524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Author 
Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334580.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38317-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings
Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings
Author 
Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334789.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39357-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Author 
Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29892-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Author 
Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20514-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematics and Computation in Music Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings
Mathematics and Computation in Music Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings
Author 
Agon, Carlos. editor. Andreatta, Moreno. editor. Assayag, Gérard. editor. Amiot, Emmanuel. editor. Bresson, Jean. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21590-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Concept Analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings
Formal Concept Analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings
Author 
Kwuida, Léonard. editor. Sertkaya, Barış. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11928-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action