Limit Search Results
Author
SpringerLink (Online service)
(761)
Quarteroni, Alfio. author.
(12)
Nagel, Wolfgang E. editor.
(11)
Dongarra, Jack. editor.
(10)
Resch, Michael. editor.
(10)
Language
Publication Date
-
Subject
Mathematics.
(452)
Computer science -- Mathematics.
(167)
Engineering mathematics.
(167)
Computer software.
(127)
Computational complexity.
(123)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
764 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Mathematics and Technology
Mathematics and Technology
Author 
Rousseau, Christiane. author. Saint-Aubin, Yvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69216-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Argument of Mathematics
The Argument of Mathematics
Author 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematics for Computer Graphics
Mathematics for Computer Graphics
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-283-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics for Computer Graphics
Mathematics for Computer Graphics
Author 
Vince, John A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-023-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Progress in Industrial Mathematics at ECMI 2008
Progress in Industrial Mathematics at ECMI 2008
Author 
Fitt, Alistair D. editor. Norbury, John. editor. Ockendon, Hilary. editor. Wilson, Eddie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12110-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Imaginary Mathematics for Computer Science
Imaginary Mathematics for Computer Science
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94637-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Learning Spaces Interdisciplinary Applied Mathematics
Learning Spaces Interdisciplinary Applied Mathematics
Author 
Falmagne, Jean-Claude. author. Doignon, Jean-Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01039-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Bridging the Gap to University Mathematics
Bridging the Gap to University Mathematics
Author 
Hurst, Edward. author. Gould, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-290-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Medial Representations Mathematics, Algorithms and Applications
Medial Representations Mathematics, Algorithms and Applications
Author 
Siddiqi, Kaleem. editor. Pizer, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8658-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applied Mathematics for Database Professionals
Applied Mathematics for Database Professionals
Author 
Haan, Lex. author. Koppelaars, Toon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0348-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Applied Mathematics for Database Professionals
Applied Mathematics for Database Professionals
Author 
Haan, Lex. Koppelaars, Toon.
Preferred Shelf Number 
QA76.9.D35 H33 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
13. 
Cover image for Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer
Author 
O’Donnell, John. author. Hall, Cordelia. author. Page, Rex. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-598-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Computer Graphics and Geometric Modeling Mathematics
Computer Graphics and Geometric Modeling Mathematics
Author 
Agoston, Max K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138899
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Progress in Industrial Mathematics at ECMI 2006
Progress in Industrial Mathematics at ECMI 2006
Author 
Bonilla, Luis L. editor. Moscoso, Miguel. editor. Platero, Gloria. editor. Vega, Jose M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71992-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Progress in Industrial Mathematics at ECMI 2004
Progress in Industrial Mathematics at ECMI 2004
Author 
Bucchianico, A. editor. Mattheij, R.M.M. editor. Peletier, M.A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28073-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Modelling Computing Systems Mathematics for Computer Science
Modelling Computing Systems Mathematics for Computer Science
Author 
Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332574.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Mathematics of Fuzzy Sets and Fuzzy Logic
Mathematics of Fuzzy Sets and Fuzzy Logic
Author 
Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333950.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Mathematics of Discrete Structures for Computer Science
Mathematics of Discrete Structures for Computer Science
Author 
Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010
Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010
Author 
Bruter, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24497-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Recent Advances in Computational and Applied Mathematics
Recent Advances in Computational and Applied Mathematics
Author 
Simos, Theodore E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9981-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Mathknow Mathematics, Applied Sciences and Real Life
Mathknow Mathematics, Applied Sciences and Real Life
Author 
Emmer, Michele. editor. Quarteroni, Alfio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1122-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Grammars and automata for string processing from mathematics and computer science to biology, and back
Grammars and automata for string processing from mathematics and computer science to biology, and back
Author 
Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for The Mathematics of Medical Imaging A Beginner’s Guide
The Mathematics of Medical Imaging A Beginner’s Guide
Author 
Feeman, Timothy G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-92712-1
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Author 
Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74180-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78054-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Author 
Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96812-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
Author 
Ghosh, Debdas. editor. Giri, Debasis. editor. Mohapatra, Ram N. editor. Savas, Ekrem. editor. Sakurai, Kouichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Recent Advances in Applications of Computational and Fuzzy Mathematics
Recent Advances in Applications of Computational and Fuzzy Mathematics
Author 
Chakraverty, Snehashish. editor. Perera, Sanjeewa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1153-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55195-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Numerical Mathematics and Advanced Applications 2011 Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011
Numerical Mathematics and Advanced Applications 2011 Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011
Author 
Cangiani, Andrea. editor. Davidchack, Ruslan L. editor. Georgoulis, Emmanuil. editor. Gorban, Alexander N. editor. Levesley, Jeremy. editor.
Preferred Shelf Number 
ONLINE(333669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33134-3
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for The Language of Mathematics A Linguistic and Philosophical Investigation
The Language of Mathematics A Linguistic and Philosophical Investigation
Author 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334341.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Concise Computer Mathematics Tutorials on Theory and Problems
Concise Computer Mathematics Tutorials on Theory and Problems
Author 
Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332887.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Author 
Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number 
ONLINE(334781.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39320-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
Cover image for Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Author 
Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
Author 
Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Author 
Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31464-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31500-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Author 
Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31374-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Applications of Mathematics and Informatics in Military Science
Applications of Mathematics and Informatics in Military Science
Author 
Daras, Nicholas J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4109-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
Cover image for Foundations of Large-Scale Multimedia Information Management and Retrieval Mathematics of Perception
Foundations of Large-Scale Multimedia Information Management and Retrieval Mathematics of Perception
Author 
Chang, Edward Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20429-6
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Author 
Davenport, James H. editor. Farmer, William M. editor. Urban, Josef. editor. Rabe, Florian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22673-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
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:
51. 
Cover image for The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
Author 
Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14322-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14390-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14403-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Author 
Autexier, Serge. editor. Calmet, Jacques. editor. Delahaye, David. editor. Ion, Patrick D. F. editor. Rideau, Laurence. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14128-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Numerical Mathematics and Advanced Applications 2009 Proceedings of ENUMATH 2009, the 8th European Conference on Numerical Mathematics and Advanced Applications, Uppsala, July 2009
Numerical Mathematics and Advanced Applications 2009 Proceedings of ENUMATH 2009, the 8th European Conference on Numerical Mathematics and Advanced Applications, Uppsala, July 2009
Author 
Kreiss, Gunilla. editor. Lötstedt, Per. editor. Målqvist, Axel. editor. Neytcheva, Maya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11795-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Author 
Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Author 
Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-406-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Mathematics and Computation in Music First International Conference, MCM 2007 Berlin, Germany, May 18–20, 2007 Revised Selected Papers
Mathematics and Computation in Music First International Conference, MCM 2007 Berlin, Germany, May 18–20, 2007 Revised Selected Papers
Author 
Klouche, Timour. editor. Noll, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04579-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Mathematics and Computation in Music Second International Conference, MCM 2009, John Clough Memorial Conference New Haven, CT, USA, June 19-22, 2009. Proceedings
Mathematics and Computation in Music Second International Conference, MCM 2009, John Clough Memorial Conference New Haven, CT, USA, June 19-22, 2009. Proceedings
Author 
Chew, Elaine. editor. Childs, Adrian. editor. Chuan, Ching-Hua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02394-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Author 
Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02614-0
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Mathematics of Surfaces XIII 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings
Mathematics of Surfaces XIII 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings
Author 
Hancock, Edwin R. editor. Martin, Ralph R. editor. Sabin, Malcolm A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Maple and Mathematica A Problem Solving Approach for Mathematics
Maple and Mathematica A Problem Solving Approach for Mathematics
Author 
Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-99432-0
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Numerical Mathematics and Advanced Applications Proceedings of ENUMATH 2007, the 7th European Conference on Numerical Mathematics and Advanced Applications, Graz, Austria, September 2007
Numerical Mathematics and Advanced Applications Proceedings of ENUMATH 2007, the 7th European Conference on Numerical Mathematics and Advanced Applications, Graz, Austria, September 2007
Author 
Kunisch, Karl. editor. Of, Günther. editor. Steinbach, Olaf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69777-0
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Author 
Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70594-9
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Mathematics – Key Technology for the Future Joint Projects Between Universities and Industry 2004–2007
Mathematics – Key Technology for the Future Joint Projects Between Universities and Industry 2004–2007
Author 
Krebs, Hans-Joachim. editor. Jäger, Willi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77203-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Author 
Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85110-3
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
Author 
Munthe-Kaas, Hans. editor. Owren, Brynjulf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68850-1
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers
Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68111-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Author 
Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87827-8
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Essentials of Mathematica With Applications to Mathematics and Physics
Essentials of Mathematica With Applications to Mathematics and Physics
Author 
Boccara, Nino. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49514-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Computational Turbulent Incompressible Flow Applied Mathematics: Body and Soul 4
Computational Turbulent Incompressible Flow Applied Mathematics: Body and Soul 4
Author 
Hoffman, Johan. author. Johnson, Claes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46533-1
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Geometric Modelling, Numerical Simulation, and Optimization Applied Mathematics at SINTEF
Geometric Modelling, Numerical Simulation, and Optimization Applied Mathematics at SINTEF
Author 
Hasle, Geir. editor. Lie, Knut-Andreas. editor. Quak, Ewald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68783-2
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings
Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings
Author 
Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73843-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Maple and Mathematica A Problem Solving Approach for Mathematics
Maple and Mathematica A Problem Solving Approach for Mathematics
Author 
Shingareva, Inna. author. Lizàrraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-73265-6
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers
Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Meyer, Norbert. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11752578
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Numerical Mathematics and Advanced Applications Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005
Numerical Mathematics and Advanced Applications Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005
Author 
de Castro, Alfredo Bermúdez. editor. Gómez, Dolores. editor. Quintela, Peregrina. editor. Salgado, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34288-5
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings
Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings
Author 
Uustalu, Tarmo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11783596
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Author 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Mathematics of Large Eddy Simulation of Turbulent Flows
Mathematics of Large Eddy Simulation of Turbulent Flows
Author 
Berselli, Luigi C. author. Iliescu, Traian. author. Layton, William J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137408
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
Author 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138337
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings
Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings
Author 
Martin, Ralph. editor. Bez, Helmut. editor. Sabin, Malcolm. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11537908
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for On the Higher-Order Sheffer Orthogonal Polynomial Sequences
On the Higher-Order Sheffer Orthogonal Polynomial Sequences
Author 
Galiffa, Daniel J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331912.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5969-9
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Visualization in Medicine and Life Sciences II Progress and New Challenges
Visualization in Medicine and Life Sciences II Progress and New Challenges
Author 
Linsen, Lars. editor. Hagen, Hans. editor. Hamann, Bernd. editor. Hege, Hans-Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21608-4
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Analyzing Markov Chains using Kronecker Products Theory and Applications
Analyzing Markov Chains using Kronecker Products Theory and Applications
Author 
Dayar, Tuğrul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4190-8
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Visualization and Processing of Tensor Fields Advances and Perspectives
Visualization and Processing of Tensor Fields Advances and Perspectives
Author 
Laidlaw, David. editor. Weickert, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88378-4
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration
Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration
Author 
Möller, Torsten. editor. Hamann, Bernd. editor. Russell, Robert D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106657
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Visualization in Medicine and Life Sciences
Visualization in Medicine and Life Sciences
Author 
Linsen, Lars. editor. Hagen, Hans. editor. Hamann, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72630-2
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Scientific Computing in Electrical Engineering
Scientific Computing in Electrical Engineering
Author 
Ciuprina, Gabriela. editor. Ioan, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71980-9
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for M-Solid Varieties of Algebras
M-Solid Varieties of Algebras
Author 
Koppitz, J. author. Denecke, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30806-7
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Scientific Visualization: The Visual Extraction of Knowledge from Data
Scientific Visualization: The Visual Extraction of Knowledge from Data
Author 
Bonneau, Georges-Pierre. editor. Ertl, Thomas. editor. Nielson, Gregory M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Scientific Computing in Electrical Engineering
Scientific Computing in Electrical Engineering
Author 
Anile, Angelo Marcello. editor. Alì, Giuseppe. editor. Mascali, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-32862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Algebraic Geometry and Geometric Modeling
Algebraic Geometry and Geometric Modeling
Author 
Elkadi, Mohamed. editor. Mourrain, Bernard. editor. Piene, Ragni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33275-6
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Advances in Multiresolution for Geometric Modelling
Advances in Multiresolution for Geometric Modelling
Author 
Dodgson, Neil A. editor. Floater, Michael S. editor. Sabin, Malcolm A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138117
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for VizSEC 2007 Proceedings of the Workshop on Visualization for Computer Security
VizSEC 2007 Proceedings of the Workshop on Visualization for Computer Security
Author 
Goodall, John R. editor. Conti, Gregory. editor. Ma, Kwan-Liu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78243-8
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Image Processing Based on Partial Differential Equations Proceedings of the International Conference on PDE-Based Image Processing and Related Inverse Problems, CMA, Oslo, August 8–12, 2005
Image Processing Based on Partial Differential Equations Proceedings of the International Conference on PDE-Based Image Processing and Related Inverse Problems, CMA, Oslo, August 8–12, 2005
Author 
Tai, Xue-Cheng. editor. Lie, Knut-Andreas. editor. Chan, Tony F. editor. Osher, Stanley. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33267-1
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Computational Electromagnetics
Computational Electromagnetics
Author 
Rylander, Thomas. author. Ingelström, Par. author. Bondeson, Anders. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331749.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5351-2
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Probability Models
Probability Models
Author 
Haigh, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5343-6
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Multiscale and Adaptivity: Modeling, Numerics and Applications C.I.M.E. Summer School, Cetraro, Italy 2009, Editors: Giovanni Naldi, Giovanni Russo
Multiscale and Adaptivity: Modeling, Numerics and Applications C.I.M.E. Summer School, Cetraro, Italy 2009, Editors: Giovanni Naldi, Giovanni Russo
Author 
Bertoluzza, Silvia. author. Nochetto, Ricardo H. author. Quarteroni, Alfio. author. Siebert, Kunibert G. author. Veeser, Andreas. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Approximation Algorithms for Complex Systems Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009
Approximation Algorithms for Complex Systems Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009
Author 
Georgoulis, Emmanuil H. editor. Iske, Armin. editor. Levesley, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16876-5
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Author 
Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21919-1
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Mathematica®: A Problem-Centered Approach
Mathematica®: A Problem-Centered Approach
Author 
Hazrat, Roozbeh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-251-3
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Mathematical Biology An Introduction with Maple and Matlab
Mathematical Biology An Introduction with Maple and Matlab
Author 
Shonkwiler, Ronald W. author. Herod, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-70984-0
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for The q-theory of Finite Semigroups
The q-theory of Finite Semigroups
Author 
Rhodes, John. author. Steinberg, Benjamin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104443
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Explorations in Monte Carlo Methods
Explorations in Monte Carlo Methods
Author 
Shonkwiler, Ronald W. author. Mendivil, Franklin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87837-9
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Multiscale Methods Averaging and Homogenization
Multiscale Methods Averaging and Homogenization
Author 
Pavliotis, Grigorios A. author. Stuart, Andrew M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Notes on Set Theory
Notes on Set Theory
Author 
Moschovakis, Yiannis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31609-4
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Finite Model Theory
Finite Model Theory
Author 
Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28788-4
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Author 
Lau, Dietlinde. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-36023-9
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Computational Electromagnetics
Computational Electromagnetics
Author 
Bondeson, Anders. author. Rylander, Thomas. author. Ingelström, Pär. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136922
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Introduction to Partial Differential Equations A Computational Approach
Introduction to Partial Differential Equations A Computational Approach
Author 
Tveito, Aslak. author. Winther, Ragnar. author. Marsden, J.E. editor. Sirovich, L. editor. Golubitsky, M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138016
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012
Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012
Author 
Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5076-4
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
Author 
Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333751.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33789-5
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Inverse Problems and Large-Scale Computations
Inverse Problems and Large-Scale Computations
Author 
Beilina, Larisa. editor. Shestopalov, Yury V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00660-4
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Graphs, Networks and Algorithms
Graphs, Networks and Algorithms
Author 
Jungnickel, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333549.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32278-5
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Mixed Finite Element Methods and Applications
Mixed Finite Element Methods and Applications
Author 
Boffi, Daniele. author. Brezzi, Franco. author. Fortin, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36519-5
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Spectral Methods Algorithms, Analysis and Applications
Spectral Methods Algorithms, Analysis and Applications
Author 
Shen, Jie. author. Tang, Tao. author. Wang, Li-Lian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71041-7
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Newton Methods for Nonlinear Problems Affine Invariance and Adaptive Algorithms
Newton Methods for Nonlinear Problems Affine Invariance and Adaptive Algorithms
Author 
Deuflhard, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23899-4
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Triangulations Structures for Algorithms and Applications
Triangulations Structures for Algorithms and Applications
Author 
Loera, Jesús A. author. Rambau, Jörg. author. Santos, Francisco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12971-1
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Computability of Julia Sets
Computability of Julia Sets
Author 
Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68547-0
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Rational Algebraic Curves A Computer Algebra Approach
Rational Algebraic Curves A Computer Algebra Approach
Author 
Sendra, J. Rafael. author. Winkler, Franz. author. Pérez-Díaz, Sonia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73725-4
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Graphs, Networks and Algorithms
Graphs, Networks and Algorithms
Author 
Jungnickel, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72780-4
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Binary Quadratic Forms An Algorithmic Approach
Binary Quadratic Forms An Algorithmic Approach
Author 
Buchmann, Johannes. author. Vollmer, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46368-9
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
Author 
Nowak, Ivo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7374-1
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Domain Decomposition Methods — Algorithms and Theory
Domain Decomposition Methods — Algorithms and Theory
Author 
Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137868
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Graphs, Networks and Algorithms
Graphs, Networks and Algorithms
Author 
Jungnickel, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138283
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Topological Derivatives in Shape Optimization
Topological Derivatives in Shape Optimization
Author 
Novotny, Antonio André. author. Sokołowski, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333955.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35245-4
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for General systems theory mathematical foundations
General systems theory mathematical foundations
Author 
Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124915404
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for An Introduction to Modern Mathematical Computing With Mathematica®
An Introduction to Modern Mathematical Computing With Mathematica®
Author 
Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4253-0
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for An Introduction to Modern Mathematical Computing With Maple™
An Introduction to Modern Mathematical Computing With Maple™
Author 
Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0122-3
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Modeling of Curves and Surfaces with MATLAB®
Modeling of Curves and Surfaces with MATLAB®
Author 
Rovenski, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71278-9
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Optimization—Theory and Practice
Optimization—Theory and Practice
Author 
Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-78977-4
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Algorithms and Programming Problems and Solutions
Algorithms and Programming Problems and Solutions
Author 
Shen, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1748-5
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Mathématiques et Technologie
Mathématiques et Technologie
Author 
Rousseau, Christiane. author. Saint-Aubin, Yvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69213-5
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Basic Probability Theory with Applications
Basic Probability Theory with Applications
Author 
Lefebvre, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74995-2
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Condition The Geometry of Numerical Algorithms
Condition The Geometry of Numerical Algorithms
Author 
Bürgisser, Peter. author. Cucker, Felipe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334693.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38896-5
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Model Order Reduction: Theory, Research Aspects and Applications
Model Order Reduction: Theory, Research Aspects and Applications
Author 
Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Software for Algebraic Geometry
Software for Algebraic Geometry
Author 
Stillman, Michael. editor. Verschelde, Jan. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-78133-4
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Wireless Communications
Wireless Communications
Author 
Agrawal, Prathima. editor. Fleming, Philip J. editor. Zhang, Lisa. editor. Andrews, Daniel Matthew. editor. Yin, George. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-48945-2
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Contemporary Cryptology
Contemporary Cryptology
Author 
Catalano, Dario. author. Cramer, Ronald. author. Crescenzo, Giovanni. author. Darmgård, Ivan. author. Pointcheval, David. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7394-6
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Author 
Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3381-8
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Author 
Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3532-2
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Author 
England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26831-2
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Applied Scientific Computing With Python
Applied Scientific Computing With Python
Author 
Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
Author 
Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97136-0
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Computational Ship Design
Computational Ship Design
Author 
Roh, Myung-Il. author. Lee, Kyu-Yeul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4885-2
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Finite Element Concepts A Closed-Form Algebraic Development
Finite Element Concepts A Closed-Form Algebraic Development
Author 
Dasgupta, Gautam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-7423-8
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Analysis for Computer Scientists Foundations, Methods, and Algorithms
Analysis for Computer Scientists Foundations, Methods, and Algorithms
Author 
Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91155-7
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech
Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech
Author 
Datta, Asoke Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7016-7
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Fundamentals of Probability and Stochastic Processes with Applications to Communications
Fundamentals of Probability and Stochastic Processes with Applications to Communications
Author 
Park, Kun Il. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68075-0
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Advances in Computer Science and its Applications CSA 2013
Advances in Computer Science and its Applications CSA 2013
Author 
Jeong, Hwa Young. editor. S. Obaidat, Mohammad. editor. Yen, Neil Y. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-41674-3
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
Author 
Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12745-3
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
Author 
Cygan, Marek. editor. Heggernes, Pinar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13524-3
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
Author 
Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45608-8
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
Author 
Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45611-8
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
Author 
Ahn, Hee-Kap. editor. Shin, Chan-Su. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13075-0
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Author 
Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Author 
Majkić, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04156-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for A Mathematical Introduction to Compressive Sensing
A Mathematical Introduction to Compressive Sensing
Author 
Foucart, Simon. author. Rauhut, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4948-7
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Quantum Attacks on Public-Key Cryptosystems
Quantum Attacks on Public-Key Cryptosystems
Author 
Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Modelling and Simulation Exploring Dynamic System Behaviour
Modelling and Simulation Exploring Dynamic System Behaviour
Author 
Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Author 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330901.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for The Monte Carlo Simulation Method for System Reliability and Risk Analysis
The Monte Carlo Simulation Method for System Reliability and Risk Analysis
Author 
Zio, Enrico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331017.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4588-2
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Polyhedral and Algebraic Methods in Computational Geometry
Polyhedral and Algebraic Methods in Computational Geometry
Author 
Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331067.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4817-3
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Business Intelligence and Performance Management Theory, Systems and Industrial Applications
Business Intelligence and Performance Management Theory, Systems and Industrial Applications
Author 
Rausch, Peter. editor. Sheta, Alaa F. editor. Ayesh, Aladdin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331082.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4866-1
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for High-Performance Computing Using FPGAs
High-Performance Computing Using FPGAs
Author 
Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331283.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1791-0
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Multiscale Signal Analysis and Modeling
Multiscale Signal Analysis and Modeling
Author 
Shen, Xiaoping. editor. Zayed, Ahmed I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331437.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4145-8
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization
Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization
Author 
Pham, Khanh D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331670.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5079-5
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Fast Compact Algorithms and Software for Spline Smoothing
Fast Compact Algorithms and Software for Spline Smoothing
Author 
Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Search Theory A Game Theoretic Perspective
Search Theory A Game Theoretic Perspective
Author 
Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Preferred Shelf Number 
ONLINE(332129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Conversations About Challenges in Computing
Conversations About Challenges in Computing
Author 
Bruaset, Are Magnus. editor. Tveito, Aslak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00209-5
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control
Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control
Author 
Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332753.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00440-2
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Author 
Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
Author 
Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03536-9
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers
Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers
Author 
Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332983.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03578-9
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Author 
Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332995.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03780-6
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Author 
Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332997.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03841-4
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Author 
Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Author 
Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03898-8
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problems
Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problems
Author 
Pechstein, Clemens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23588-7
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Model Based Parameter Estimation Theory and Applications
Model Based Parameter Estimation Theory and Applications
Author 
Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Preferred Shelf Number 
ONLINE(333324.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30367-8
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Space-Filling Curves An Introduction with Applications in Scientific Computing
Space-Filling Curves An Introduction with Applications in Scientific Computing
Author 
Bader, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333387.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31046-1
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
Author 
Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333575.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32448-2
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
Author 
Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.
Preferred Shelf Number 
ONLINE(333577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32454-3
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for An Introduction to Inverse Problems with Applications
An Introduction to Inverse Problems with Applications
Author 
Moura Neto, Francisco Duarte. author. da Silva Neto, Antônio José. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333595.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32557-1
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for The Finite Element Method: Theory, Implementation, and Applications
The Finite Element Method: Theory, Implementation, and Applications
Author 
Larson, Mats G. author. Bengzon, Fredrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333689.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33287-6
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Author 
Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333703.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33389-7
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Proceedings of the 21st International Meshing Roundtable
Proceedings of the 21st International Meshing Roundtable
Author 
Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33573-0
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
Author 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Domain Decomposition Methods in Science and Engineering XX
Domain Decomposition Methods in Science and Engineering XX
Author 
Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333957.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35275-1
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Structure-Preserving Algorithms for Oscillatory Differential Equations
Structure-Preserving Algorithms for Oscillatory Differential Equations
Author 
Wu, Xinyuan. author. You, Xiong. author. Wang, Bin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333966.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35338-3
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Artificial Boundary Method
Artificial Boundary Method
Author 
Han, Houde. author. Wu, Xiaonan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35464-9
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
Author 
Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE(334064.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Dynamics in Logistics Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
Dynamics in Logistics Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings
Author 
Kreowski, Hans-Jörg. editor. Scholz-Reiter, Bernd. editor. Thoben, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334089.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35966-8
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
Author 
Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36065-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Author 
Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334121.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36092-3
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335160.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Author 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335176.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44973-4
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Author 
Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45030-3
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings
Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings
Author 
Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335098.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41383-4
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
Author 
Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41422-0
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings
Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings
Author 
Chen, Yiling. editor. Immorlica, Nicole. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335183.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45046-4
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II
Author 
Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335037.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40991-2
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers
Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers
Author 
Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335214.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45392-2
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Cognitive Agent-based Computing-I A Unified Framework for Modeling Complex Adaptive Systems using Agent-based & Complex Network-based Methods
Cognitive Agent-based Computing-I A Unified Framework for Modeling Complex Adaptive Systems using Agent-based & Complex Network-based Methods
Author 
Niazi, Muaz A. author. Hussain, Amir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-3852-2
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Elementare Kombinatorik für die Informatik Abzählungen, Differenzengleichungen, diskretes Differenzieren und Integrieren
Elementare Kombinatorik für die Informatik Abzählungen, Differenzengleichungen, diskretes Differenzieren und Integrieren
Author 
Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337657.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage
Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage
Author 
Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-01588-6
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen
Author 
Weicker, Karsten. author. Weicker, Nicole. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338312.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2074-7
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Computational Intelligence A Methodological Introduction
Computational Intelligence A Methodological Introduction
Author 
Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.
Preferred Shelf Number 
ONLINE(331117.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5013-8
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Network Geeks How They Built the Internet
Network Geeks How They Built the Internet
Author 
Carpenter, Brian E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5025-1
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for State Space Grids Depicting Dynamics Across Development
State Space Grids Depicting Dynamics Across Development
Author 
Hollenstein, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331646.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5007-8
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Digital Functions and Data Reconstruction Digital-Discrete Methods
Digital Functions and Data Reconstruction Digital-Discrete Methods
Author 
Chen, Li M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331826.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5638-4
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
Author 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331853.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Particle Filters for Random Set Models
Particle Filters for Random Set Models
Author 
Ristic, Branko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6316-0
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Nonlinear Optimization Applications Using the GAMS Technology
Nonlinear Optimization Applications Using the GAMS Technology
Author 
Andrei, Neculai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6797-7
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Cell Formation in Industrial Engineering Theory, Algorithms and Experiments
Cell Formation in Industrial Engineering Theory, Algorithms and Experiments
Author 
Goldengorin, Boris. author. Krushinsky, Dmitry. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332379.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8002-0
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysis
A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysis
Author 
Corless, Robert M. author. Fillion, Nicolas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332417.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8453-0
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Optimization Approaches for Solving String Selection Problems
Optimization Approaches for Solving String Selection Problems
Author 
Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332467.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Uncertainty Quantification in Computational Fluid Dynamics
Uncertainty Quantification in Computational Fluid Dynamics
Author 
Bijl, Hester. editor. Lucor, Didier. editor. Mishra, Siddhartha. editor. Schwab, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332813.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00885-1
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Author 
Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332858.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Author 
Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.
Preferred Shelf Number 
ONLINE(332866.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01439-5
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
Author 
Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332892.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for High Performance Computing in Science and Engineering ‘13 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013
High Performance Computing in Science and Engineering ‘13 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013
Author 
Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332902.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02165-2
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Author 
Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332999.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Simulating Social Complexity A Handbook
Simulating Social Complexity A Handbook
Author 
Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333042.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93813-2
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Scientific Computing and Cultural Heritage Contributions in Computational Humanities
Scientific Computing and Cultural Heritage Contributions in Computational Humanities
Author 
Bock, Hans Georg. editor. Jäger, Willi. editor. Winckler, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333171.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28021-4
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Uncertain Fuzzy Preference Relations and Their Applications
Uncertain Fuzzy Preference Relations and Their Applications
Author 
Gong, Zaiwu. author. Lin, Yi. author. Yao, Tianxiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333185.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28448-9
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Sparse Grids and Applications
Sparse Grids and Applications
Author 
Garcke, Jochen. editor. Griebel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333475.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31703-3
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for New Trends of Research in Ontologies and Lexical Resources Ideas, Projects, Systems
New Trends of Research in Ontologies and Lexical Resources Ideas, Projects, Systems
Author 
Oltramari, Alessandro. editor. Vossen, Piek. editor. Qin, Lu. editor. Hovy, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333489.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31782-8
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Foundations of Geometric Algebra Computing
Foundations of Geometric Algebra Computing
Author 
Hildenbrand, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333490.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Meshfree Methods for Partial Differential Equations VI
Meshfree Methods for Partial Differential Equations VI
Author 
Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333644.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32979-1
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for High Performance Computing in Science and Engineering ‘12 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012
High Performance Computing in Science and Engineering ‘12 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012
Author 
Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333700.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33374-3
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Author 
Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35656-8
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
Author 
Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334048.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35786-2
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
Author 
Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334319.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36899-8
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Tools for High Performance Computing 2012
Tools for High Performance Computing 2012
Author 
Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number 
ONLINE(334411.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Author 
Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334516.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38016-7
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Author 
Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334549.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334657.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38715-9
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Author 
Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334663.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38756-2
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Advanced Computing
Advanced Computing
Author 
Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334664.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Author 
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334665.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38768-5
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
Author 
Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334666.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38771-5
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
Author 
Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334695.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38905-4
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
Author 
Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334722.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39065-4
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
Author 
Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39068-5
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
Author 
Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334751.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39206-1
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Author 
Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334753.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39212-2
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Erdős Centennial
Erdős Centennial
Author 
Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334774.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39286-3
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Author 
Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334778.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
Author 
Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334879.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40020-9
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
Author 
Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334881.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40041-4
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Author 
Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334888.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40084-1
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
Author 
Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334893.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40104-6
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Author 
Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334901.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40164-0
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Author 
Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number 
ONLINE(334915.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40235-7
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
Author 
Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40273-9
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Author 
Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334925.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings
Author 
Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334929.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40328-6
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Author 
Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40450-4
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Author 
Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334948.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40453-5
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Author 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334969.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Author 
Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334985.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40663-8
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Author 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings
Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings
Author 
Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335197.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45239-0
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Author 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335202.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers
Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers
Author 
Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335203.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45281-9
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Teoria degli Automi Finiti
Teoria degli Automi Finiti
Author 
Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335644.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-5474-5
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Matematica Numerica Esercizi, Laboratori e Progetti
Matematica Numerica Esercizi, Laboratori e Progetti
Author 
Quarteroni, Alfio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335646.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-5541-4
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers
MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers
Author 
Eça, Luís. editor. Oñate, Eugenio. editor. García-Espinosa, Julio. editor. Kvamsdal, Trond. editor. Bergan, Pål. editor.
Preferred Shelf Number 
ONLINE(336174.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6143-8
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Praktische Mathematik mit MATLAB, Scilab und Octave für Ingenieure und Naturwissenschaftler
Praktische Mathematik mit MATLAB, Scilab und Octave für Ingenieure und Naturwissenschaftler
Author 
Thuselt, Frank. author. Gennrich, Felix Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336924.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25825-1
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen
Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen
Author 
Abts, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338386.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2535-3
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts
Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts
Author 
Amidror, Isaac. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331163.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5167-8
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Models and Algorithms for Genome Evolution
Models and Algorithms for Genome Evolution
Author 
Chauve, Cedric. editor. El-Mabrouk, Nadia. editor. Tannier, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331187.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5298-9
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Fundamentals of Parameterized Complexity
Fundamentals of Parameterized Complexity
Author 
Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331218.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures
Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures
Author 
Aufaure, Marie-Aude. editor. Zimányi, Esteban. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334175.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
Author 
Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334268.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36694-9
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
Author 
Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334284.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36763-2
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
Author 
Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334356.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Financial Modeling A Backward Stochastic Differential Equations Perspective
Financial Modeling A Backward Stochastic Differential Equations Perspective
Author 
Crépey, Stéphane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334364.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37113-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334383.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37198-1
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
Author 
Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334443.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37502-6
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Author 
Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38215-4
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings
Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings
Author 
Kropatsch, Walter G. editor. Artner, Nicole M. editor. Haxhimusa, Yll. editor. Jiang, Xiaoyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334559.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38221-5
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
Author 
Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334563.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38233-8
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Author 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
Author 
Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38294-9
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Author 
Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334587.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Author 
Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334615.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Author 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334617.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Availability 
Online Library~1
Available:
Copies: