Limit Search Results
Author
SpringerLink (Online service)
(966)
Quarteroni, Alfio. author.
(12)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Nagel, Wolfgang E. editor.
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Language
Publication Date
-
Subject
Mathematics.
(458)
Computer science -- Mathematics.
(340)
Artificial intelligence.
(183)
Engineering mathematics.
(169)
Theory of Computation.
(152)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
970 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 Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for Finitely Supported Mathematics An Introduction
Finitely Supported Mathematics An Introduction
Author 
Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42282-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
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:
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
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:
22. 
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:
23. 
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:
24. 
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:
25. 
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 
Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-
Preferred Shelf Number 
QA76 .G6725 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings
Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings
Author 
Aissani, Djamil. editor. Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Roche, Mathieu. editor. (orcid)0000-0003-3272-8568 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88226-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Author 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Author 
Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42547-4
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
61. 
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:
62. 
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:
63. 
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:
64. 
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:
65. 
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:
66. 
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:
67. 
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:
68. 
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:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
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:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
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:
94. 
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:
95. 
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:
96. 
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:
97. 
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:
98. 
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:
99. 
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:
100. 
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:
101. 
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:
102. 
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:
103. 
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:
104. 
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:
105. 
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:
106. 
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:
107. 
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:
108. 
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:
109. 
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:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
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:
119. 
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:
120. 
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:
121. 
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:
122. 
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:
123. 
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:
124. 
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:
125. 
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:
126. 
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:
127. 
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:
128. 
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:
129. 
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:
130. 
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:
131. 
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:
132. 
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:
133. 
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:
134. 
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:
135. 
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:
136. 
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:
137. 
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:
138. 
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:
139. 
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:
140. 
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:
141. 
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:
142. 
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:
143. 
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:
144. 
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:
145. 
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:
146. 
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:
147. 
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:
148. 
Cover image for Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
Author 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1195-9
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings
Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings
Author 
Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92898-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
Author 
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82670-2
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Mathematical Tools for Telemedicine
Mathematical Tools for Telemedicine
Author 
Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I
Author 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4445-2
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
Author 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4448-3
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers
Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers
Author 
Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93631-9
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Author 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90062-4
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
Author 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90065-5
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97567-7
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97570-7
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97557-8
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97564-6
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97635-3
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
Author 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1090-7
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Author 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82700-6
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
Author 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Multi-valued Logic for Decision-Making Under Uncertainty
Multi-valued Logic for Decision-Making Under Uncertainty
Author 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II
Author 
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Maximal Planar Graph Theory and the Four-Color Conjecture
Maximal Planar Graph Theory and the Four-Color Conjecture
Author 
Xu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4745-3
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Author 
Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97274-4
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97573-8
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I
Author 
Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95973-8
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II
Author 
Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95976-9
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Author 
Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86849-8
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II
Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II
Author 
Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I
Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I
Author 
Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80308-6
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
Author 
Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2845-2
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Author 
Zygelman, Bernard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66425-0
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Maths For Computing A Beginner's Guide
Maths For Computing A Beginner's Guide
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Logic in Computer Science
Logic in Computer Science
Author 
Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for FOUNDATIONS OF DATA SCIENCE WITH PYTHON
FOUNDATIONS OF DATA SCIENCE WITH PYTHON
Author 
Shea, John M.
Preferred Shelf Number 
QA76
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003324997
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II
Author 
Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62922-8
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Author 
Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71112-1
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I
Author 
Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60597-0
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
Author 
Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56208-2
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I
Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56232-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50521-8
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings
Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings
Author 
Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2340-9
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7181-3
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7184-4
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Author 
Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48751-4
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
Author 
Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49190-0
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
Author 
Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49193-1
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
Author 
Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49614-1
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
Author 
Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49611-0
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
Author 
Stützle, Thomas. editor. Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57712-3
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.
Infrared Small Target Detection Theory, Methods, and Algorithms.
Author 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Advanced Mathematical Science for Mobility Society
Advanced Mathematical Science for Mobility Society
Author 
Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59922-4
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63749-0
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63759-9
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63783-4
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63775-9
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63751-3
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63772-8
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Author 
Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72621-7
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I
Author 
Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7798-3
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II
Author 
Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7801-0
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Author 
Downey, Rod. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings
Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings
Author 
Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59205-8
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65941-6
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers
Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers
Author 
Dorronsoro, Bernabé. editor. (orcid)0000-0003-0481-790X Ellaia, Rachid. editor. (orcid)0000-0003-0372-1666 Talbi, El-Ghazali. editor. (orcid)0000-0003-4549-1010 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69257-4
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II
Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II
Author 
Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2275-4
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57231-9
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Author 
Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57228-9
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II
Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56235-8
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
Author 
Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57430-6
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I
LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I
Author 
Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55598-5
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
Author 
Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0566-5
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I
Author 
Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62912-9
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II
Author 
Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60599-4
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Author 
Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6921-0
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I
Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I
Author 
Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2272-3
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52113-3
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings
Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings
Author 
Silva, David W. editor. (orcid)0000-0003-4498-0525 Hitzer, Eckhard. editor. Hildenbrand, Dietmar. editor. (orcid)0000-0002-6384-4345 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34031-4
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms
Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms
Author 
Paar, Christof. author. Pelzl, Jan. author. Güneysu, Tim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-69007-9
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Author 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
Author 
Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56855-8
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Solving Ordinary Differential Equations in Python
Solving Ordinary Differential Equations in Python
Author 
Sundnes, Joakim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46768-4
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for New Metaheuristic Schemes: Mechanisms and Applications
New Metaheuristic Schemes: Mechanisms and Applications
Author 
Cuevas, Erik. author. (orcid)0000-0002-0358-6049 Zaldívar, Daniel. author. Pérez-Cisneros, Marco. author. (orcid)0000-0001-6493-0408 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45561-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II
LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II
Author 
Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55601-2
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023
Author 
Platz, Roland. editor. (orcid)0000-0001-5800-5742 Flynn, Garrison. editor. Neal, Kyle. editor. (orcid)0000-0001-7880-1498 Ouellette, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37003-8
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I
Author 
Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56852-7
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers
Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers
Author 
Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54968-7
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings
Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings
Author 
Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54303-6
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits
Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits
Author 
Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4017-0
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Terminological Dictionary of Automatic Control, Systems and Robotics
Terminological Dictionary of Automatic Control, Systems and Robotics
Author 
Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35755-8
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
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:
250. 
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:
251. 
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:
252. 
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:
253. 
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:
254. 
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:
255. 
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:
256. 
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:
257. 
Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Author 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70700-6
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Modern Language Models and Computation Theory with Applications
Modern Language Models and Computation Theory with Applications
Author 
Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63100-4
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Author 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59147-6
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Author 
Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58631-1
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
Author 
Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66799-7
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59153-7
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Author 
Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55911-7
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Author 
Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55198-7
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66320-3
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Author 
Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings
Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings
Author 
Cardoso, M. Jorge. editor. Arbel, Tal. editor. Melbourne, Andrew. editor. Bogunovic, Hrvoje. editor. Moeskops, Pim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67561-9
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Author 
Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67582-4
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Author 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Author 
McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55696-3
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
Author 
Chrobak, Marek. editor. Fernández Anta, Antonio. editor. Gąsieniec, Leszek. editor. Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53058-1
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Author 
Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50062-1
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Author 
Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61660-5
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Author 
Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55453-2
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Author 
Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57418-9
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Author 
Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55665-8
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Author 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Author 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for The Incomputable Journeys Beyond the Turing Barrier
The Incomputable Journeys Beyond the Turing Barrier
Author 
Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43669-2
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Author 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Rendezvous in Distributed Systems Theory, Algorithms and Applications
Rendezvous in Distributed Systems Theory, Algorithms and Applications
Author 
Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3680-4
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
Author 
Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61982-8
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
Author 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70694-8
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
Author 
Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57711-1
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers
Author 
Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Caravagna, Giulio. editor. Gilbert, David. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67834-4
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Author 
Sukthankar, Gita. editor. Rodriguez-Aguilar, Juan A. editor. (orcid)0000-0002-2940-6886 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71682-4
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers
Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers
Author 
Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57969-6
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Author 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Space in Weak Propositional Proof Systems
Space in Weak Propositional Proof Systems
Author 
Bonacina, Ilario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73453-8
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66335-7
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Author 
Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
Author 
Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61581-3
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Author 
Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58741-7
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
Author 
Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71649-7
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
Author 
Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69868-7
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Author 
Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66700-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action