Limit Search Results
Author
Abramovich, Dan. author.
(1)
Azzopardi, George. editor.
(1)
Banagl, M. author.
(1)
Behrend, Kai. editor.
(1)
Bellettini, Giovanni. author.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
00000000000000000000000DEFAULT
Print
1. 
Cover image for Symmetry, Representations, and Invariants
Symmetry, Representations, and Invariants
Author 
Goodman, Roe. author. Wallach, Nolan R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-79852-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Elliptic Curves and Arithmetic Invariants
Elliptic Curves and Arithmetic Invariants
Author 
Hida, Haruzo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332082.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6657-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Symplectic Invariants and Hamiltonian Dynamics
Symplectic Invariants and Hamiltonian Dynamics
Author 
Hofer, Helmut. author. Zehnder, Eduard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0104-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Topological Invariants of Stratified Spaces
Topological Invariants of Stratified Spaces
Author 
Banagl, M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-38587-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Symmetries and Semi-invariants in the Analysis of Nonlinear Systems
Symmetries and Semi-invariants in the Analysis of Nonlinear Systems
Author 
Menini, Laura. author. Tornambè, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-612-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Invariants of Behavior Constancy and Variability in Neural Systems
Invariants of Behavior Constancy and Variability in Neural Systems
Author 
Negrello, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8804-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Donaldson Type Invariants for Algebraic Surfaces Transition of Moduli Stacks
Donaldson Type Invariants for Algebraic Surfaces Transition of Moduli Stacks
Author 
Mochizuki, Takuro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93913-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Basic Bundle Theory and K-Cohomology Invariants With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz
Basic Bundle Theory and K-Cohomology Invariants With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz
Author 
Husemöller, D. author. Joachim, M. author. Jurčo, B. author. Schottenloher, M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74956-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Enumerative Invariants in Algebraic Geometry and String Theory Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 6–11, 2005
Enumerative Invariants in Algebraic Geometry and String Theory Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 6–11, 2005
Author 
Abramovich, Dan. author. Mariño, Marcos. author. Thaddeus, Michael. author. Vakil, Ravi. author. Behrend, Kai. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79814-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Lie Groups An Approach through Invariants and Representations
Lie Groups An Approach through Invariants and Representations
Author 
Procesi, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-28929-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Author 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520802.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520840.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521324.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Author 
Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521258.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44245-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings
Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings
Author 
Calatroni, Luca. editor. Donatelli, Marco. editor. Morigi, Serena. editor. Prato, Marco. editor. Santacesaria, Matteo. editor.
Preferred Shelf Number 
XX(521391.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31975-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519222.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II
Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II
Author 
Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519244.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23117-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Author 
Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519259.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21145-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Shape Reconstruction from Apparent Contours Theory and Algorithms
Shape Reconstruction from Apparent Contours Theory and Algorithms
Author 
Bellettini, Giovanni. author. Beorchia, Valentina. author. Paolini, Maurizio. author. Pasquarelli, Franco. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518434.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-45191-5
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV
Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV
Author 
Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519013.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16817-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Author 
Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519104.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21215-9
Format: 
Availability 
Online Library~1
Available:
Copies: