Limit Search Results
Author
SpringerLink (Online service)
(1486)
Quarteroni, Alfio. author.
(17)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(16)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(12)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(1020)
Computer science.
(462)
Artificial intelligence.
(393)
Mathematics.
(323)
Algorithms.
(313)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1679 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
37. 
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:
38. 
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:
39. 
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:
40. 
Cover image for From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Author 
Cantone, Domenico. editor. (orcid)0000-0002-1306-1166 Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55248-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
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:
42. 
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:
43. 
Cover image for Probabilistic Indexing for Information Search and Retrieval in Large Collections of Handwritten Text Images
Probabilistic Indexing for Information Search and Retrieval in Large Collections of Handwritten Text Images
Author 
Toselli, Alejandro Héctor. author. (orcid)0000-0001-6955-9249 Puigcerver, Joan. author. Vidal, Enrique. author. (orcid)0000-0003-4579-5196 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55389-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Discrete Geometry and Mathematical Morphology Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings
Discrete Geometry and Mathematical Morphology Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings
Author 
Brunetti, Sara. author. (orcid)0000-0001-8607-6900 Frosini, Andrea. author. (orcid)0000-0001-7210-2231 Rinaldi, Simone. author. (orcid)0000-0003-3377-5331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57793-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Introduction to Data Science A Python Approach to Concepts, Techniques and Applications
Introduction to Data Science A Python Approach to Concepts, Techniques and Applications
Author 
Igual, Laura. author. Seguí, Santi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48956-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part I
Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part I
Author 
Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2242-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
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:
49. 
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:
50. 
Cover image for Intelligent Systems and Computing
Intelligent Systems and Computing
Author 
Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2891-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
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:
52. 
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:
53. 
Cover image for Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings
Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings
Author 
Emek, Yuval. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60603-8
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Mathematics and Computation in Music 9th International Conference, MCM 2024, Coimbra, Portugal, June 18-21, 2024, Proceedings
Mathematics and Computation in Music 9th International Conference, MCM 2024, Coimbra, Portugal, June 18-21, 2024, Proceedings
Author 
Noll, Thomas. editor. (orcid)0000-0001-6701-7104 Montiel, Mariana. editor. Gómez, Francisco. editor. (orcid)0000-0003-3471-3319 Hamido, Omar Costa. editor. Besada, José Luis. editor. (orcid)0000-0002-8469-2889
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60638-0
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 2
Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 2
Author 
Farhaoui, Yousef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65018-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Proceedings of the 9th Brazilian Technology Symposium (BTSym'23) Emerging Trends and Challenges in Technology
Proceedings of the 9th Brazilian Technology Symposium (BTSym'23) Emerging Trends and Challenges in Technology
Author 
Iano, Yuzo. editor. Saotome, Osamu. editor. Kemper Vásquez, Guillermo Leopoldo. editor. (orcid)0000-0002-7800-7769 de Moraes Gomes Rosa, Maria Thereza. editor. Arthur, Rangel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66961-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Computer Algebra in Scientific Computing 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings
Computer Algebra in Scientific Computing 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings
Author 
Boulier, François. editor. (orcid)0000-0002-6663-719X Mou, Chenqi. editor. (orcid)0000-0002-5070-5928 Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69070-9
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
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:
59. 
Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers
Author 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65385-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Recent Advances in Next-Generation Data Science Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers
Recent Advances in Next-Generation Data Science Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers
Author 
Han, Henry. editor. (orcid)0000-0003-0273-6719 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67871-4
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IV
Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IV
Author 
Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2238-9
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings
Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings
Author 
Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7225-4
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Deep Generative Modeling
Deep Generative Modeling
Author 
Tomczak, Jakub M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for ICGG 2024 - Proceedings of the 21st International Conference on Geometry and Graphics Volume 2
ICGG 2024 - Proceedings of the 21st International Conference on Geometry and Graphics Volume 2
Author 
Takenouchi, Kazuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Demystifying deep learning : an introduction to the mathematics of neural networks
Demystifying deep learning : an introduction to the mathematics of neural networks
Author 
Santry, Douglas J., author.
Preferred Shelf Number 
Q325.73 .S36 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394205639
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Metaheuristics for machine learning : algorithms and applications
Metaheuristics for machine learning : algorithms and applications
Author 
Kalita, Kanak, 1988- editor. Ganesh, Narayanan, editor. Pālamurukan̲, Ca., editor.
Preferred Shelf Number 
Q325.5 .M48 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394233953
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Mathematics of game development : a collection of applied lessons
Mathematics of game development : a collection of applied lessons
Author 
Enfield, Jacob, author.
Preferred Shelf Number 
QA76.76 .V54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032701431
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Body Area Networks. Smart IoT and Big Data for Intelligent Health Management 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024, Proceedings
Body Area Networks. Smart IoT and Big Data for Intelligent Health Management 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024, Proceedings
Author 
Mizmizi, Marouan. editor. (orcid)0000-0003-4157-2577 Magarini, Maurizio. editor. (orcid)0000-0001-9288-0452 Upadhyay, Prabhat Kumar. editor. (orcid)0000-0001-7636-5469 Pierobon, Massimiliano. editor. (orcid)0000-0003-1074-6925 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72524-1
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Partial Moments in System Identification
Partial Moments in System Identification
Author 
Ouvrard, Régis. author. (orcid)0000-0003-0534-4497 Poinot, Thierry. author. (orcid)0000-0003-1533-126X Trigeassou, Jean-Claude. author. (orcid)0000-0003-2587-9958 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58156-4
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Communications, Signal Processing, and Systems Proceedings of the 12th International Conference on Communications, Signal Processing, and Systems: Volume 1
Communications, Signal Processing, and Systems Proceedings of the 12th International Conference on Communications, Signal Processing, and Systems: Volume 1
Author 
Wang, Wei. editor. (orcid)0000-0001-9032-4401 Liu, Xin. editor. (orcid)0000-0002-6035-6055 Na, Zhenyu. editor. (orcid)0000-0003-1098-1204 Zhang, Baoju. editor. (orcid)0000-0002-0513-9576 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7505-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Traffic and Granular Flow '22
Traffic and Granular Flow '22
Author 
Rao, K. Ramachandra. editor. (orcid)0000-0002-7229-519X Seyfried , Armin . editor. (orcid)0000-0001-8888-0978 Schadschneider, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7976-9
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings
Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings
Author 
Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61433-0
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings
Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings
Author 
Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Mazalov, Vladimir. editor. (orcid)0000-0003-2262-2620 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62792-7
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings
Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings
Author 
Rescigno, Adele Anna. editor. (orcid)0000-0001-9124-610X Vaccaro, Ugo. editor. (orcid)0000-0003-4085-7300 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63021-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Next Generation Data Science Second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023, Revised Selected Papers
Next Generation Data Science Second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023, Revised Selected Papers
Author 
Han, Henry. editor. (orcid)0000-0003-0273-6719 Baker, Erich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61816-1
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
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:
77. 
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:
78. 
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:
79. 
Cover image for Foundations of Soft Logic
Foundations of Soft Logic
Author 
Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58233-2
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
Cover image for Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Author 
Day, Joel D. editor. (orcid)0000-0002-3660-7766 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-66159-4
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I
Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I
Author 
Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64748-2
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II
Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II
Author 
Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64755-0
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Author 
König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66438-0
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Formal Concept Analysis Mathematical Foundations
Formal Concept Analysis Mathematical Foundations
Author 
Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63422-2
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Author 
Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68279-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 1
Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 1
Author 
Farhaoui, Yousef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65014-7
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
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:
93. 
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:
94. 
Cover image for Engineering Mathematics and Computing
Engineering Mathematics and Computing
Author 
Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2300-5
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
Author 
Akleylek, Sedat. Dundua, Besik.
Preferred Shelf Number 
QA76.9 .D335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003090052
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Author 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Shallow and Deep Learning Principles Scientific, Philosophical, and Logical Perspectives
Shallow and Deep Learning Principles Scientific, Philosophical, and Logical Perspectives
Author 
Şen, Zekâi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29555-3
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Author 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers
Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers
Author 
Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42010-8
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Smart Learning Ecosystems as Engines of the Green and Digital Transition Proceedings of the 8th Conference on Smart Learning Ecosystems and Regional Development
Smart Learning Ecosystems as Engines of the Green and Digital Transition Proceedings of the 8th Conference on Smart Learning Ecosystems and Regional Development
Author 
Dascalu, Mihai. editor. Mealha, Óscar. editor. Virkus, Sirje. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
Author 
Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44237-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
Author 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers
Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers
Author 
Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20951-2
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23947-2
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Author 
Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Enabling Person-Centric Healthcare Using Ambient Assistive Technology Personalized and Patient-Centric Healthcare Services in AAT
Enabling Person-Centric Healthcare Using Ambient Assistive Technology Personalized and Patient-Centric Healthcare Services in AAT
Author 
Barsocchi, Paolo. editor. (orcid)0000-0002-6862-7593 Parvathaneni, Naga Srinivasu. editor. Garg, Amik. editor. Bhoi, Akash Kumar. editor. Palumbo, Filippo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38281-9
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Trends in Mathematical, Information and Data Sciences A Tribute to Leandro Pardo
Trends in Mathematical, Information and Data Sciences A Tribute to Leandro Pardo
Author 
Balakrishnan, Narayanaswamy. editor. Gil, María Ángeles. editor. Martín, Nirian. editor. Morales, Domingo. editor. Pardo, María del Carmen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-04137-2
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Application of Gray System Theory in Fishery Science
Application of Gray System Theory in Fishery Science
Author 
Chen, Xinjun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0635-2
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Blended Learning : Lessons Learned and Ways Forward 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings
Blended Learning : Lessons Learned and Ways Forward 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings
Author 
Li, Chen. editor. (orcid) Cheung, Simon K. S. editor. Wang, Fu Lee. editor. Lu, Angel. editor. (orcid) Kwok, Lam For. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35731-2
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I
Author 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II
Author 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47637-2
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III
Author 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47665-5
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Flight simulation software : design, development and testing
Flight simulation software : design, development and testing
Author 
Allerton, David, author.
Preferred Shelf Number 
TL712.5 .A398 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119738251
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Robotic process automation
Robotic process automation
Author 
Rawat, Romil, editor. Chakrawarti, Rajesh Kumar. Sarangi, Sanjaya Kumar. Choudhary, Rahul. Gadwal, Anand Singh.
Preferred Shelf Number 
T59.5 .R63 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394166954
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Mathematical macroevolution in diatom research
Mathematical macroevolution in diatom research
Author 
Pappas, Janice L., author.
Preferred Shelf Number 
QK568 .M52 P37 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119750673
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Near extensions and alignment of data in R^n : Whitney extensions of near isometries, shortest paths, equidistribution, clustering and non-rigid alignment of data in Euclidean space
Near extensions and alignment of data in R^n : Whitney extensions of near isometries, shortest paths, equidistribution, clustering and non-rigid alignment of data in Euclidean space
Author 
Damelin, Steven B., author.
Preferred Shelf Number 
QA300 .D325 2024 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394196814
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Optimization techniques in engineering : advances and applications
Optimization techniques in engineering : advances and applications
Author 
Khosla, Anita.
Preferred Shelf Number 
TA342 .O68 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119906391
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Evolving networking technologies : developments and future directions
Evolving networking technologies : developments and future directions
Author 
Gupta, Shaurya, editor.
Preferred Shelf Number 
TK5105.5 .E96 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119836667
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Mathematics in computational science and engineering
Mathematics in computational science and engineering
Author 
Bhardwaj, Ramakant, editor.
Preferred Shelf Number 
QA76.9 .M35
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Handbook of intelligent computing and optimization for sustainable development
Handbook of intelligent computing and optimization for sustainable development
Author 
Manshahia, Mukhdeep Singh, editor.
Preferred Shelf Number 
Q335
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792642
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Mathematics in cyber research
Mathematics in cyber research
Author 
Goethals, Paul L., editor. Scala, Natalie M. (Natalie Michele), editor. Bennett, Daniel T., editor.
Preferred Shelf Number 
QA76.9 .M35
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429354649
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Bioinformatics and medical applications : big data using deep learning algorithms
Bioinformatics and medical applications : big data using deep learning algorithms
Author 
Suresh, A.
Preferred Shelf Number 
R858 .B56 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792673
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Computational science and its applications
Computational science and its applications
Author 
Sreenivasan, Katepalli R., honoree. Siddiqi, A. H., editor. Singh, R. C., editor. Gowda, G. D. Veerappa, editor.
Preferred Shelf Number 
QA76.9 .M35
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429288739
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Introduction to lattice algebra : with applications in AI, pattern recognition, image analysis, and biomimetic neural networks
Introduction to lattice algebra : with applications in AI, pattern recognition, image analysis, and biomimetic neural networks
Author 
Ritter, G. X., author. Urcid, Gonzalo, author.
Preferred Shelf Number 
QA76.9 .L38 R58 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003154242
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Advanced applications of computational mathematics
Advanced applications of computational mathematics
Author 
Kumar, Akshay, author. Ram, Mangey, author. Srivastava, H. M., author.
Preferred Shelf Number 
QA76.9 .M35 .K86 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003336983
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Restricted congruences in computing
Restricted congruences in computing
Author 
Bibak, Khodakhast, author.
Preferred Shelf Number 
QA608
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003047179
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Wireless blockchain : principles, technologies and applications
Wireless blockchain : principles, technologies and applications
Author 
Imran, Muhammad Ali, editor. Cao, Bin, editor. Zhang, Lei, editor. Peng, Mugen, editor.
Preferred Shelf Number 
QA76.9 .B56
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790839
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Applied regression modeling
Applied regression modeling
Author 
Pardoe, Iain, 1970- author.
Preferred Shelf Number 
QA278.2 .P363 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119615941
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Applied univariate, bivariate, and multivariate statistics using Python
Applied univariate, bivariate, and multivariate statistics using Python
Author 
Denis, Daniel J., 1974- author.
Preferred Shelf Number 
QA276.45 .P98 D46 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119578208
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Digital system design using FSMs : a practical learning approach
Digital system design using FSMs : a practical learning approach
Author 
Minns, Peter D., author.
Preferred Shelf Number 
QA267.5 .S4 M56 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Geometric modeling of fractal forms for CAD
Geometric modeling of fractal forms for CAD
Author 
Gentil, Christian, author.
Preferred Shelf Number 
TA174 .G46 2021 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119831754
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Mathematics education in the digital age : learning, practice and theory
Mathematics education in the digital age : learning, practice and theory
Author 
Clark-Wilson, Alison, editor. Donevska-Todorova, Ana, editor. Faggiano, Eleonora, editor. Trgalová, Jana, editor. Weigand, Hans-Georg, editor.
Preferred Shelf Number 
QA20 .C65 M34 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003137580
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Gıda ve süreç mühendisleri için bilgisayar destekli matematik uygulamaları
Gıda ve süreç mühendisleri için bilgisayar destekli matematik uygulamaları
Author 
Dalgıç, Ali Coşkun.
Preferred Shelf Number 
QA20.C65 D35 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
134. 
Cover image for Mathematical methods in interdisciplinary sciences
Mathematical methods in interdisciplinary sciences
Author 
Chakraverty, Snehashish, editor.
Preferred Shelf Number 
Q175.32 .M38 M38 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119585640
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Real-Time Rendering
Real-Time Rendering
Author 
Akenine-Möller, Tomas, author. Haines, Eric, author. Hoffman, Naty, author. Taylor and Francis.
Preferred Shelf Number 
T385 .M635 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for The Electrical Engineering Handbook - Six Volume Set
The Electrical Engineering Handbook - Six Volume Set
Author 
Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number 
R857 .B54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
Author 
Du, Ding-Zhu. editor. Duan, Zhenhua. editor. Tian, Cong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26176-4
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Author 
van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19955-5
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings
Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings
Author 
Marfil, Rebeca. editor. (orcid)0000-0003-1573-5096 Calderón, Mariletty. editor. Díaz del Río, Fernando. editor. (orcid)0000-0001-6184-1629 Real, Pedro. editor. (orcid)0000-0002-6853-0505 Bandera, Antonio. editor. (orcid)0000-0003-3147-0307
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10828-1
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings
Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings
Author 
Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31489-7
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Analysis of Experimental Algorithms Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
Analysis of Experimental Algorithms Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
Author 
Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos. editor. (orcid)0000-0003-2824-101X Parsopoulos, Konstantinos E. editor. Souravlias, Dimitris. editor. Tsokas, Arsenis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34029-2
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Author 
Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70766-2
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for IUTAM Symposium on Solver-Coupling and Co-Simulation Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017
IUTAM Symposium on Solver-Coupling and Co-Simulation Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017
Author 
Schweizer, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14883-6
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Calculus for Computer Graphics
Calculus for Computer Graphics
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11376-6
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers
Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers
Author 
Nikolov, Geno. editor. (orcid)0000-0001-5608-2488 Kolkovska, Natalia. editor. Georgiev, Krassimir. editor. (orcid)0000-0001-5277-2887 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10692-8
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Visual Saliency: From Pixel-Level to Object-Level Analysis
Visual Saliency: From Pixel-Level to Object-Level Analysis
Author 
Zhang, Jianming. author. Malmberg, Filip. author. Sclaroff, Stan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04831-0
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings
Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings
Author 
Cowen, Lenore J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17083-7
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings
Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings
Author 
Li, Yingshu. editor. Cardei, Mihaela. editor. Huang, Yan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36412-0
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Scale Space and Variational Methods in Computer Vision 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings
Scale Space and Variational Methods in Computer Vision 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings
Author 
Lellmann, Jan. editor. (orcid)0000-0002-5243-0331 Burger, Martin. editor. Modersitzki, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III
Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III
Author 
Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34618-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Intelligent Data Processing 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers
Intelligent Data Processing 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers
Author 
Strijov, Vadim V. editor. (orcid)0000-0002-2194-8859 Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534 Vorontsov, Konstantin V. editor. (orcid)0000-0002-4244-4270 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35400-8
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Sub-structure Coupling for Dynamic Analysis Application to Complex Simulation-Based Problems Involving Uncertainty
Sub-structure Coupling for Dynamic Analysis Application to Complex Simulation-Based Problems Involving Uncertainty
Author 
Jensen, Hector. author. Papadimitriou, Costas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12819-7
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday
Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday
Author 
Li, Quan-Lin. editor. Wang, Jinting. editor. Yu, Hai-Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0864-6
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings
Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings
Author 
Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Pardalos, Panos. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22629-9
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Deep Learning with R
Deep Learning with R
Author 
Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5850-0
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings
Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings
Author 
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30493-5
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers
Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers
Author 
Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16035-7
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Boundary Value Problems for Engineers with MATLAB Solutions
Boundary Value Problems for Engineers with MATLAB Solutions
Author 
Keskin, Ali Ümit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21080-9
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Code-Based Cryptography 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers
Code-Based Cryptography 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers
Author 
Baldi, Marco. editor. (orcid)0000-0002-8754-5526 Persichetti, Edoardo. editor. (orcid)0000-0002-1895-377X Santini, Paolo. editor. (orcid)0000-0003-0631-3668 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25922-8
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings
Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings
Author 
Friggstad, Zachary. editor. Sack, Jörg-Rüdiger. editor. Salavatipour, Mohammad R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24766-9
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
Author 
Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814 Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25027-0
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Algorithmic Aspects in Information and Management 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings
Algorithmic Aspects in Information and Management 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings
Author 
Du, Ding-Zhu. editor. Li, Lian. editor. Sun, Xiaoming. editor. Zhang, Jialin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27195-4
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Author 
Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24922-9
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) Transcending Boundaries, Embracing Multidisciplinary Diversities
Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) Transcending Boundaries, Embracing Multidisciplinary Diversities
Author 
Kor, Liew-Kee. editor. Ahmad, Abd-Razak. editor. Idrus, Zanariah. editor. Mansor, Kamarul Ariffin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7279-7
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers
Author 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33388-1
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Communications and Networking 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings
Communications and Networking 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings
Author 
Liu, Xingang. editor. (orcid)0000-0003-4881-0216 Cheng, Dai. editor. Jinfeng, Lai. editor. (orcid)0000-0002-0092-7127 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-06161-6
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
Author 
Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23073-9
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings
Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings
Author 
Ghaffari, Mohsen. editor. Nesterenko, Mikhail. editor. Tixeuil, Sébastien. editor. (orcid)0000-0002-0948-7172 Tucci, Sara. editor. (orcid)0000-0001-9738-9021 Yamauchi, Yukiko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34992-9
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Author 
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21571-2
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Author 
Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810 Horne, Ross. editor. (orcid)0000-0003-0162-1901 Probst, Christian W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36537-0
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings
Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings
Author 
Fu, Huazhu. editor. (orcid)0000-0002-9702-5524 Garvin, Mona K. editor. (orcid)0000-0003-3299-3150 MacGillivray, Tom. editor. (orcid)0000-0001-5120-0086 Xu, Yanwu. editor. (orcid)0000-0002-1779-931X Zheng, Yalin. editor. (orcid)0000-0002-7873-0922
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32956-3
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for OpenFOAM® Selected Papers of the 11th Workshop
OpenFOAM® Selected Papers of the 11th Workshop
Author 
Nóbrega, J. Miguel. editor. Jasak, Hrvoje. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60846-4
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings
Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings
Author 
Avrachenkov, Konstantin. editor. Prałat, Paweł. editor. Ye, Nan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25070-6
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers
Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. (orcid)0000-0002-4615-7615 Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11539-5
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
Author 
Blümlein, Johannes. editor. Schneider, Carsten. editor. Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04480-0
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings
Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings
Author 
Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Kasahara, Shoji. editor. (orcid)0000-0001-9785-8350 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27181-7
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
Author 
Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12203-4
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Frontiers in Algorithmics 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings
Frontiers in Algorithmics 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings
Author 
Chen, Yijia. editor. Deng, Xiaotie. editor. Lu, Mei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18126-0
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers
Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers
Author 
Sau, Ignasi. editor. (orcid)0000-0002-8981-9287 Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30786-8
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Author 
Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30806-3
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Resonant Scattering and Generation of Waves Cubically Polarizable Layers
Resonant Scattering and Generation of Waves Cubically Polarizable Layers
Author 
Angermann, Lutz. author. Yatsyk, Vasyl V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96301-3
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II
Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II
Author 
Lu, Huchuan. editor. Tang, Huajin. editor. Wang, Zhanshan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22808-8
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22747-0
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Transactions on Computational Collective Intelligence XXXIV
Transactions on Computational Collective Intelligence XXXIV
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Mercik, Jacek. editor. Motylska-Kuźma, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-60555-4
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Business and Consumer Analytics: New Ideas
Business and Consumer Analytics: New Ideas
Author 
Moscato, Pablo. editor. de Vries, Natalie Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-06222-4
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings
Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings
Author 
Pal, Sudebkumar Prasant. editor. Vijayakumar, Ambat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11509-8
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
Author 
Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20351-1
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers
Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers
Author 
Donnellan, Brian. editor. Klein, Cornel. editor. Helfert, Markus. editor. Gusikhin, Oleg. editor. Pascoal, António. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02907-4
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings
Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings
Author 
Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001 Sanguinetti, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31304-3
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Error Estimates for Advanced Galerkin Methods
Error Estimates for Advanced Galerkin Methods
Author 
Rüter, Marcus Olavi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-06173-9
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers
Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers
Author 
Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905 Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573 Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33394-2
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Author 
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13435-8
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Author 
Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22744-9
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography
Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography
Author 
Paakki, Jukka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16049-4
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Advanced Image and Video Processing Using MATLAB
Advanced Image and Video Processing Using MATLAB
Author 
Gong, Shengrong. author. Liu, Chunping. author. Ji, Yi. author. Zhong, Baojiang. author. Li, Yonggang. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77223-3
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Systems 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings
Quality, Reliability, Security and Robustness in Heterogeneous Systems 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings
Author 
Duong, Trung Q. editor. Vo, Nguyen-Son. editor. Phan, Van Ca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14413-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
Author 
Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14815-7
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XIV
Transactions on Petri Nets and Other Models of Concurrency XIV
Author 
Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-60651-3
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
Author 
Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18174-1
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Computational Biomechanics for Medicine Measurements, Models, and Predictions
Computational Biomechanics for Medicine Measurements, Models, and Predictions
Author 
Nielsen, Poul M. F. editor. Wittek, Adam. editor. Miller, Karol. editor. Doyle, Barry. editor. Joldes, Grand R. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Introduction to chaos : physics and mathematics of chaotic phenomena
Introduction to chaos : physics and mathematics of chaotic phenomena
Author 
Nagashima, Hiroyuki, author. Baba, Yoshikazu, author. Nakahara, Mikio, translator.
Preferred Shelf Number 
Q172.5 .C45
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187001
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I
Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I
Author 
Lu, Huchuan. editor. Tang, Huajin. editor. Wang, Zhanshan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22796-8
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Algorithms for Sensor Systems 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers
Algorithms for Sensor Systems 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers
Author 
Gilbert, Seth. editor. (orcid)0000-0003-3298-7412 Hughes, Danny. editor. (orcid)0000-0001-6227-9500 Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14094-6
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Planetary Spacecraft Navigation
Planetary Spacecraft Navigation
Author 
Miller, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Author 
Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22996-2
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
Author 
Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Author 
Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16692-2
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
Author 
Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17953-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Graph-Based Representations in Pattern Recognition 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings
Graph-Based Representations in Pattern Recognition 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings
Author 
Conte, Donatello. editor. (orcid)0000-0003-4642-4768 Ramel, Jean-Yves. editor. Foggia, Pasquale. editor. (orcid)0000-0002-7096-1902 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20081-7
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
Author 
Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30048-7
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings
Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings
Author 
Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20867-7
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings
Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings
Author 
Archambault, Daniel. editor. (orcid)0000-0003-4978-8479 Tóth, Csaba D. editor. (orcid)0000-0002-8769-3190 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35802-0
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings
Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings
Author 
Colbourn, Charles J. editor. Grossi, Roberto. editor. Pisanti, Nadia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25005-8
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers
Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers
Author 
Li, Deng-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0657-4
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Author 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Optimization and Applications 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers
Optimization and Applications 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers
Author 
Evtushenko, Yury. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10934-9
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Mathematical Insights into Advanced Computer Graphics Techniques
Mathematical Insights into Advanced Computer Graphics Techniques
Author 
Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2850-3
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Linear Algebra for Computational Sciences and Engineering
Linear Algebra for Computational Sciences and Engineering
Author 
Neri, Ferrante. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Fault Diagnosis Inverse Problems: Solution with Metaheuristics
Fault Diagnosis Inverse Problems: Solution with Metaheuristics
Author 
Camps Echevarría, Lídice. author. Llanes Santiago, Orestes. author. (orcid)0000-0002-6864-9629 Campos Velho, Haroldo Fraga de. author. Silva Neto, Antônio José da. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89978-7
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Analytical Methods in Nonlinear Oscillations Approaches and Applications
Analytical Methods in Nonlinear Oscillations Approaches and Applications
Author 
Esmailzadeh, Ebrahim. author. Younesian, Davood. author. Askari, Hassan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-024-1542-1
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences
Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences
Author 
Minisci, Edmondo. editor. (orcid)0000-0001-9951-8528 Vasile, Massimiliano. editor. Periaux, Jacques. editor. Gauger, Nicolas R. editor. Giannakoglou, Kyriakos C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89988-6
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Computational Homogenization of Heterogeneous Materials with Finite Elements
Computational Homogenization of Heterogeneous Materials with Finite Elements
Author 
Yvonnet, Julien. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18383-7
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Evolutionary Learning: Advances in Theories and Algorithms
Evolutionary Learning: Advances in Theories and Algorithms
Author 
Zhou, Zhi-Hua. author. Yu, Yang. author. Qian, Chao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5956-9
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Transactions on Rough Sets XXI
Transactions on Rough Sets XXI
Author 
Peters, James F. editor. (orcid)0000-0002-1026-4638 Skowron, Andrzej. editor. (orcid)0000-0002-5271-6559 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58768-3
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Author 
Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58771-3
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for A New Hypothesis on the Anisotropic Reynolds Stress Tensor for Turbulent Flows Volume I: Theoretical Background and Development of an Anisotropic Hybrid k-omega Shear-Stress Transport/Stochastic Turbulence Model
A New Hypothesis on the Anisotropic Reynolds Stress Tensor for Turbulent Flows Volume I: Theoretical Background and Development of an Anisotropic Hybrid k-omega Shear-Stress Transport/Stochastic Turbulence Model
Author 
Könözsy, László. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13543-0
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
Author 
Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26807-7
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Algorithms and Complexity 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings
Algorithms and Complexity 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings
Author 
Heggernes, Pinar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17402-6
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers
Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28163-2
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22741-8
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Industrial Networks and Intelligent Systems 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings
Industrial Networks and Intelligent Systems 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings
Author 
Duong, Trung Q. editor. Vo, Nguyen-Son. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Author 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
Author 
Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings
Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings
Author 
Coudière, Yves. editor. Ozenne, Valéry. editor. Vigmond, Edward. editor. Zemzemi, Nejib. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
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:
240. 
Cover image for Geometric Science of Information 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings
Geometric Science of Information 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings
Author 
Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26980-7
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Author 
Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25636-4
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings
String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings
Author 
Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048 Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32686-9
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Modelling and Simulation Exploring Dynamic System Behaviour
Modelling and Simulation Exploring Dynamic System Behaviour
Author 
Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18869-6
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Multi-scale Simulation of Composite Materials Results from the Project MuSiKo
Multi-scale Simulation of Composite Materials Results from the Project MuSiKo
Author 
Diebels, Stefan. editor. Rjasanow, Sergej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57957-2
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for WALCOM: Algorithms and Computation 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings
WALCOM: Algorithms and Computation 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings
Author 
Das, Gautam K. editor. (orcid)0000-0001-7471-2885 Mandal, Partha S. editor. (orcid)0000-0002-8632-5767 Mukhopadhyaya, Krishnendu. editor. (orcid)0000-0001-6292-8961 Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10564-8
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
Author 
Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10801-4
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Variable Neighborhood Search 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers
Variable Neighborhood Search 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers
Author 
Sifaleras, Angelo. editor. Salhi, Said. editor. Brimberg, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15843-9
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Author 
Hildebrandt, Thomas. editor. (orcid)0000-0002-7435-5563 van Dongen, Boudewijn F. editor. (orcid)0000-0002-3978-6464 Röglinger, Maximilian. editor. (orcid)0000-0003-4743-4511 Mendling, Jan. editor. (orcid)0000-0002-7260-524X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26619-6
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers
Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers
Author 
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Brunato, Mauro. editor. (orcid)0000-0002-7885-4255 Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05348-2
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Computational Geomechanics and Hydraulic Structures
Computational Geomechanics and Hydraulic Structures
Author 
Chen, Sheng-Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8135-4
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Kesikli matematik = Discrete mathematics
Kesikli matematik = Discrete mathematics
Author 
Johnsonbaugh, Richard. Gürçay, Haşmet.
Preferred Shelf Number 
QA39.2 J6519 2019
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
252. 
Cover image for Geometric and Topological Mesh Feature Extraction for 3D Shape Analysis
Geometric and Topological Mesh Feature Extraction for 3D Shape Analysis
Author 
Mari, Jean-Luc (Associate professor of computer science), author. Hétroy-Wheeler, Franck, author. Subsol, Gérard, author.
Preferred Shelf Number 
TA1560
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681069
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Math Unlimited : Essays in Mathematics.
Math Unlimited : Essays in Mathematics.
Author 
Sujatha, R., editor CRC Press LLC.
Preferred Shelf Number 
QA7 .M44425 2017
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429065743
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Electronics, power electronics, optoelectronics, microwaves, electromagnetics, and radar
Electronics, power electronics, optoelectronics, microwaves, electromagnetics, and radar
Author 
Dorf, Richard C., author Dorf, Richard C., editor.
Preferred Shelf Number 
TK145
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315222158
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Mechanisms of Cracking and Debonding in Asphalt and Composite Pavements State-of-the-Art of the RILEM TC 241-MCD
Mechanisms of Cracking and Debonding in Asphalt and Composite Pavements State-of-the-Art of the RILEM TC 241-MCD
Author 
Buttlar, William G. editor. Chabot, Armelle. editor. Dave, Eshan V. editor. Petit, Christophe. editor. Tebaldi, Gabriele. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76849-6
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Global Formulations of Lagrangian and Hamiltonian Dynamics on Manifolds A Geometric Approach to Modeling and Analysis
Global Formulations of Lagrangian and Hamiltonian Dynamics on Manifolds A Geometric Approach to Modeling and Analysis
Author 
Lee, Taeyoung. author. (orcid)0000-0003-4982-4150 Leok, Melvin. author. (orcid)0000-0002-8326-0830 McClamroch, N. Harris. author. (orcid)0000-0002-7536-5659 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56953-6
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Handbook of discrete and combinatorial mathematics
Handbook of discrete and combinatorial mathematics
Author 
Goddard, Wayne, editor. Rosen, Kenneth H., editor. Shier, Douglas R., editor.
Preferred Shelf Number 
QA164 .H36 2018
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Networks
Networks
Author 
Newman, M. E. J. (Mark E. J.), author.
Preferred Shelf Number 
TK5105.5
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/oso/9780198805090.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
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:
260. 
Cover image for Advances in Principal Component Analysis Research and Development
Advances in Principal Component Analysis Research and Development
Author 
Naik, Ganesh R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6704-4
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
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:
262. 
Cover image for Foundations of Trusted Autonomy
Foundations of Trusted Autonomy
Author 
Abbass, Hussein A. editor. Scholz, Jason. editor. Reid, Darryn J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64816-3
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for One-Dimensional Finite Elements An Introduction to the FE Method
One-Dimensional Finite Elements An Introduction to the FE Method
Author 
Öchsner, Andreas. author. Merkel, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75145-0
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Dynamic Decoupling of Robot Manipulators
Dynamic Decoupling of Robot Manipulators
Author 
Arakelian, Vigen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74363-9
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Handbook of typography for the mathematical sciences
Handbook of typography for the mathematical sciences
Author 
KRANTZ, STEVEN G.
Preferred Shelf Number 
Z253.4 .T47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429123658
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
Author 
Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71150-8
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers
Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers
Author 
Vitoriano, Begoña. editor. Parlier, Greg H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Computer Graphics for Java Programmers
Computer Graphics for Java Programmers
Author 
Ammeraal, Leen. author. Zhang, Kang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63357-2
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers
Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers
Author 
Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67885-6
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
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:
271. 
Cover image for Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
Author 
Fernández Anta, Antonio. editor. Jurdzinski, Tomasz. editor. Mosteiro, Miguel A. editor. Zhang, Yanyong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72751-6
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Combinatorial Optimization and Graph Algorithms Communications of NII Shonan Meetings
Combinatorial Optimization and Graph Algorithms Communications of NII Shonan Meetings
Author 
Fukunaga, Takuro. editor. Kawarabayashi, Ken-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings
Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings
Author 
Shikata, Junji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
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:
275. 
Cover image for Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Author 
Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Time-Series Prediction and Applications A Machine Intelligence Approach
Time-Series Prediction and Applications A Machine Intelligence Approach
Author 
Konar, Amit. author. Bhattacharya, Diptendu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54597-4
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Handbook of Digital Games and Entertainment Technologies
Handbook of Digital Games and Entertainment Technologies
Author 
Nakatsu, Ryohei. editor. Rauterberg, Matthias. editor. Ciancarini, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-4560-50-4
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Privately and Publicly Verifiable Computing Techniques A Survey
Privately and Publicly Verifiable Computing Techniques A Survey
Author 
Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53798-6
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016
Author 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3950-8
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Intuitionistic Fuzzy Calculus
Intuitionistic Fuzzy Calculus
Author 
Lei, Qian. author. Xu, Zeshui. author. (orcid)0000-0002-0655-1255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54148-8
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
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:
282. 
Cover image for The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
Author 
Beebe, Nelson H.F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64110-2
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Foundations of Computer Vision Computational Geometry, Visual Image Structures and Object Shape Detection
Foundations of Computer Vision Computational Geometry, Visual Image Structures and Object Shape Detection
Author 
Peters, James F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
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:
285. 
Cover image for Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Author 
Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58747-9
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part I
Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part I
Author 
Coron, Jean-Sébastien. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56620-7
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part II
Author 
Coron, Jean-Sébastien. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56614-6
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
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:
289. 
Cover image for Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Author 
de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61470-0
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I
Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Tojo, Satoshi. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54472-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Topics in Cryptology - CT-RSA 2017 The Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings
Topics in Cryptology - CT-RSA 2017 The Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings
Author 
Handschuh, Helena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52153-4
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings
Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings
Author 
Xiao, Mingyu. editor. Rosamond, Frances. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59605-1
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Numerical Analysis and Its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers
Numerical Analysis and Its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers
Author 
Dimov, Ivan. editor. (orcid)0000-0003-4198-5830 Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57099-0
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
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:
295. 
Cover image for Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers
Author 
Guilley, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64647-3
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
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:
297. 
Cover image for The AGT cytogenetics laboratory manual
The AGT cytogenetics laboratory manual
Author 
Arsham, Marilyn S., editor. Barch, Margaret J., editor. Lawce, Helen J., editor.
Preferred Shelf Number 
QH441
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119061199
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Markov chains : from theory to implementation and experimentation
Markov chains : from theory to implementation and experimentation
Author 
Gagniuc, Paul A., author.
Preferred Shelf Number 
QA274.7 .G34 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119387596
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Robust adaptive dynamic programming
Robust adaptive dynamic programming
Author 
Jiang, Yu (Software engineer), author. Jiang, Z.-P. (Zhong-Ping), author.
Preferred Shelf Number 
TJ217
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119132677
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Meta-heuristic and evolutionary algorithms for engineering optimization
Meta-heuristic and evolutionary algorithms for engineering optimization
Author 
Bozorg-Haddad, Omid, 1974- author. Solgi, Mohammad, 1989- author. Loaiciga, Hugo A., author.
Preferred Shelf Number 
QA402.5 .B695 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119387053
Format: 
Availability 
Online Library~1
Available:
Copies:
301. 
Cover image for Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
Author 
Das, Shantanu. editor. Tixeuil, Sebastien. editor. (orcid)0000-0002-0948-7172 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
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:
303. 
Cover image for Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
Author 
Salvagnin, Domenico. editor. Lombardi, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59776-8
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III
Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III
Author 
Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66179-7
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
Author 
Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I
Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I
Author 
Felsberg, Michael. editor. (orcid)0000-0002-6096-3648 Heyden, Anders. editor. Krüger, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64689-3
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
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:
308. 
Cover image for Content-Based Image Retrieval Ideas, Influences, and Current Trends
Content-Based Image Retrieval Ideas, Influences, and Current Trends
Author 
Tyagi, Vipin. author. (orcid)0000-0003-4994-3686 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6759-4
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II
Author 
Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66185-8
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62395-5
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers
Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers
Author 
Müller, Henning. editor. Kelm, B. Michael. editor. Arbel, Tal. editor. Cai, Weidong. editor. (orcid)0000-0003-3706-8896 Cardoso, M. Jorge. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61188-4
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
Author 
Wu, Guorong. editor. Munsell, Brent C. editor. Zhan, Yiqiang. editor. Bai, Wenjia. editor. Sanroma, Gerard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
313. 
Cover image for Advances in Spatial and Temporal Databases 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 2017, Proceedings
Advances in Spatial and Temporal Databases 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 2017, Proceedings
Author 
Gertz, Michael. editor. Renz, Matthias. editor. Zhou, Xiaofang. editor. Hoel, Erik. editor. Ku, Wei-Shinn. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64367-0
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Imaging for Patient-Customized Simulations and Systems for Point-of-Care Ultrasound International Workshops, BIVPCS 2017 and POCUS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings
Imaging for Patient-Customized Simulations and Systems for Point-of-Care Ultrasound International Workshops, BIVPCS 2017 and POCUS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings
Author 
Cardoso, M. Jorge. editor. Arbel, Tal. editor. Tavares, João Manuel R.S. editor. Aylward, Stephen. editor. Li, Shuo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67552-7
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings
Author 
Galinina, Olga. editor. Andreev, Sergey. editor. Balandin, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67380-6
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Algorithms for Next-Generation Sequencing Data Techniques, Approaches, and Applications
Algorithms for Next-Generation Sequencing Data Techniques, Approaches, and Applications
Author 
Elloumi, Mourad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Data Analytics for Renewable Energy Integration 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers
Data Analytics for Renewable Energy Integration 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers
Author 
Woon, Wei Lee. editor. Aung, Zeyar. editor. Kramer, Oliver. editor. (orcid)0000-0001-7607-1700 Madnick, Stuart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50947-1
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings
Mathematical Morphology and Its Applications to Signal and Image Processing 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings
Author 
Angulo, Jesús. editor. Velasco-Forero, Santiago. editor. Meyer, Fernand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57240-6
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Playable Cities The City as a Digital Playground
Playable Cities The City as a Digital Playground
Author 
Nijholt, Anton. editor. (orcid)0000-0002-5669-9290 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1962-3
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
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:
321. 
Cover image for Verifiable Composition of Signature and Encryption A Comprehensive Study of the Design Paradigms
Verifiable Composition of Signature and Encryption A Comprehensive Study of the Design Paradigms
Author 
El Aimani, Laila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68112-2
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for Information Theory and Coding - Solved Problems
Information Theory and Coding - Solved Problems
Author 
Ivaniš, Predrag. author. Drajić, Dušan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49370-1
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
Cover image for Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings
Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings
Author 
Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71504-9
Format: 
Availability 
Online Library~1
Available:
Copies:
324. 
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:
325. 
Cover image for Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
Author 
Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72453-9
Format: 
Availability 
Online Library~1
Available:
Copies:
326. 
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:
327. 
Cover image for Introduction to Mathematica® with Applications
Introduction to Mathematica® with Applications
Author 
Mureşan, Marian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52003-2
Format: 
Availability 
Online Library~1
Available:
Copies:
328. 
Cover image for Advanced Computing in Industrial Mathematics Revised Selected Papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria
Advanced Computing in Industrial Mathematics Revised Selected Papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria
Author 
Georgiev, Krassimir. editor. Todorov, Michail. editor. Georgiev, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49544-6
Format: 
Availability 
Online Library~1
Available:
Copies:
329. 
Cover image for Advances in Unconventional Computing Volume 1: Theory
Advances in Unconventional Computing Volume 1: Theory
Author 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33924-5
Format: 
Availability 
Online Library~1
Available:
Copies:
330. 
Cover image for Full-Duplex Wireless Communications Systems Self-Interference Cancellation
Full-Duplex Wireless Communications Systems Self-Interference Cancellation
Author 
Le-Ngoc, Tho. author. Masmoudi, Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57690-9
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
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:
332. 
Cover image for Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
Author 
Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66396-8
Format: 
Availability 
Online Library~1
Available:
Copies:
333. 
Cover image for Systems with Hidden Attractors From Theory to Realization in Circuits
Systems with Hidden Attractors From Theory to Realization in Circuits
Author 
Pham, Viet-Thanh. author. Volos, Christos. author. Kapitaniak, Tomasz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53721-4
Format: 
Availability 
Online Library~1
Available:
Copies:
334. 
Cover image for Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
Author 
Wu, Guorong. editor. Laurienti, Paul. editor. Bonilha, Leonardo. editor. Munsell, Brent C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67159-8
Format: 
Availability 
Online Library~1
Available:
Copies:
335. 
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:
336. 
Cover image for Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers
Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers
Author 
Phan, Raphaël C.-W. editor. Yung, Moti. editor. (orcid)0000-0003-0848-0873 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61273-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action