Limit Search Results
Author
Quarteroni, Alfio. author.
(3)
Korte, Bernhard. author.
(2)
Leugering, Günter. editor.
(2)
Rannacher, Rolf. editor.
(2)
Vygen, Jens. author.
(2)
Language
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
70 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Author 
Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31612-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings
Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings
Author 
Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34266-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
Author 
Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34961-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Pen-and-Paper User Interfaces Integrating Printed and Digital Documents
Pen-and-Paper User Interfaces Integrating Printed and Digital Documents
Author 
Steimle, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20276-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009
Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009
Author 
Engquist, Björn. editor. Runborg, Olof. editor. Tsai, Yen-Hsi R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21943-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Einführung in Computational Social Choice Individuelle Strategien und kollektive Entscheidungen beim Spielen, Wählen und Teilen
Einführung in Computational Social Choice Individuelle Strategien und kollektive Entscheidungen beim Spielen, Wählen und Teilen
Author 
Rothe, Jörg. author. Baumeister, Dorothea. author. Lindner, Claudia. author. Rothe, Irene. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2571-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Black-Box Models of Computation in Cryptology
Black-Box Models of Computation in Cryptology
Author 
Jager, Tibor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-1990-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mathematik für Informatiker Ausführlich erklärt mit vielen Programmbeispielen und Aufgaben
Mathematik für Informatiker Ausführlich erklärt mit vielen Programmbeispielen und Aufgaben
Author 
Schubert, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-1995-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mathematik für Informatiker Ein praxisbezogenes Lehrbuch
Mathematik für Informatiker Ein praxisbezogenes Lehrbuch
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2002-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematics of Approximation
Mathematics of Approximation
Author 
Villiers, Johan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-50-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Singularities in Elliptic Boundary Value Problems and Elasticity and Their Connection with Failure Initiation
Singularities in Elliptic Boundary Value Problems and Elasticity and Their Connection with Failure Initiation
Author 
Yosibash, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1508-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Modern Optimization Techniques with Applications in Electric Power Systems
Modern Optimization Techniques with Applications in Electric Power Systems
Author 
Soliman, Soliman Abdel-Hady. author. Mantawy, Abdel-Aal Hassan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1752-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action