Limit Search Results
Author
SpringerLink (Online service)
(1427)
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.
(486)
Artificial intelligence.
(375)
Mathematics.
(363)
Algorithms.
(313)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1567 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
301. 
Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Author 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for KI 2024: Advances in Artificial Intelligence 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings
KI 2024: Advances in Artificial Intelligence 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings
Author 
Hotho, Andreas. editor. (orcid)0000-0002-0483-5772 Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70893-0
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
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:
304. 
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:
305. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59922-4
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
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:
307. 
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:
308. 
Cover image for Comparative Genomics 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings
Comparative Genomics 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings
Author 
Scornavacca, Celine. editor. (orcid)0009-0004-0179-9771 Hernández-Rosales, Maribel. editor. (orcid)0000-0003-1878-1223 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58072-7
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Artificial Intelligence in China Proceedings of the 5th International Conference on Artificial Intelligence in China
Artificial Intelligence in China Proceedings of the 5th International Conference on Artificial Intelligence in China
Author 
Wang, Wei. editor. (orcid)0000-0001-9032-4401 Mu, Jiasong. editor. Liu, Xin. editor. (orcid)0000-0002-6035-6055 Na, Zhenyu Na. editor. (orcid)0000-0003-1098-1204 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7545-7
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Distributed Computer and Communication Networks: Control, Computation, Communications 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers
Distributed Computer and Communication Networks: Control, Computation, Communications 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers
Author 
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52664-0
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
Author 
Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56855-8
Format: 
Availability 
Online Library~1
Available:
Copies:
313. 
Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II
Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56235-8
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
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:
315. 
Cover image for Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
Author 
Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57430-6
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.
Infrared Small Target Detection Theory, Methods, and Algorithms.
Author 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
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:
318. 
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:
319. 
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:
320. 
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:
321. 
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:
322. 
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:
323. 
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:
324. 
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:
325. 
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:
326. 
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:
327. 
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:
328. 
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:
329. 
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:
330. 
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:
331. 
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:
332. 
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:
333. 
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:
334. 
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:
335. 
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:
336. 
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:
337. 
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:
338. 
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:
339. 
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:
340. 
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:
341. 
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:
342. 
Cover image for Bayesian modeling and computation in Python
Bayesian modeling and computation in Python
Author 
Martin, Osvaldo, author.
Preferred Shelf Number 
QA279.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003019169
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
343. 
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:
344. 
Cover image for Design and analysis of cryptographic algorithms in blockchain
Design and analysis of cryptographic algorithms in blockchain
Author 
Huang, Ke, 1989- author. Mu, Yi, 1955- author. Rezaeibagha, Fatemeh, author. Zhang, Xiaosong, 1968- author.
Preferred Shelf Number 
QA76.9 .B56 H83 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003190127
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
345. 
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:
346. 
Cover image for Wireless sensor networks : evolutionary algorithms for optimizing performance
Wireless sensor networks : evolutionary algorithms for optimizing performance
Author 
Edla, Damodar Reddy, author. Kongara, Mahesh Chowdary, author. Lipare, Amruta, author. Kuppili, Venkatanareshbabu, author. K, Kannadasan, author.
Preferred Shelf Number 
TK7872 .D48 E35 2021 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429324611
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
347. 
Cover image for SMART COMPUTING proceedings of the 1st international conference on.
SMART COMPUTING proceedings of the 1st international conference on.
Author 
International Conference on Smart Machine Intelligence and Real-Time Computing (1st : 2020 : Pauri, Garhwal, Uttarakhand, India), creator. Khan, Mohammad Ayoub, 1980- editor. Gairola, Sanjay, editor. Jhā, Bholā, editor. Praveen, Pushkar, editor.
Preferred Shelf Number 
TA347 .A78
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003167488
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
348. 
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:
349. 
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:
350. 
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:
351. 
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:
352. 
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:
353. 
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:
354. 
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:
355. 
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:
356. 
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:
357. 
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:
358. 
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:
359. 
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:
360. 
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:
361. 
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:
362. 
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:
363. 
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:
364. 
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:
365. 
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:
366. 
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:
367. 
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:
368. 
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:
369. 
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:
370. 
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:
371. 
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:
372. 
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:
373. 
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:
374. 
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:
375. 
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:
376. 
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:
377. 
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:
378. 
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:
379. 
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:
380. 
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:
381. 
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:
382. 
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:
383. 
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:
384. 
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:
385. 
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:
386. 
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:
387. 
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:
388. 
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:
389. 
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:
390. 
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:
391. 
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:
392. 
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:
393. 
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:
394. 
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:
395. 
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:
396. 
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:
397. 
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:
398. 
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:
399. 
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:
400. 
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:
401. 
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:
402. 
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:
403. 
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:
404. 
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:
405. 
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:
406. 
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:
407. 
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:
408. 
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:
409. 
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:
410. 
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:
411. 
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:
412. 
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:
413. 
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:
414. 
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:
415. 
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:
416. 
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:
417. 
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:
418. 
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:
419. 
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:
420. 
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:
421. 
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:
422. 
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:
423. 
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:
424. 
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:
425. 
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:
426. 
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:
427. 
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:
428. 
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:
429. 
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:
430. 
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:
431. 
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:
432. 
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:
433. 
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:
434. 
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:
435. 
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:
436. 
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:
437. 
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:
438. 
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:
439. 
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:
440. 
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:
441. 
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:
442. 
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:
443. 
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:
444. 
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:
445. 
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:
446. 
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:
447. 
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:
448. 
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:
449. 
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:
450. 
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:
451. 
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:
452. 
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:
453. 
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:
454. 
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:
455. 
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:
456. 
Cover image for Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech
Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech
Author 
Datta, Asoke Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7016-7
Format: 
Availability 
Online Library~1
Available:
Copies:
457. 
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:
458. 
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:
459. 
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:
460. 
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:
461. 
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:
462. 
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:
463. 
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:
464. 
Cover image for Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
Author 
Bodlaender, Hans L. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68705-6
Format: 
Availability 
Online Library~1
Available:
Copies:
465. 
Cover image for Introduction to Artificial Intelligence
Introduction to Artificial Intelligence
Author 
Ertel, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58487-4
Format: 
Availability 
Online Library~1
Available:
Copies:
466. 
Cover image for Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
Author 
Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57711-1
Format: 
Availability 
Online Library~1
Available:
Copies:
467. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
468. 
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:
469. 
Cover image for Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Author 
Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66700-3
Format: 
Availability 
Online Library~1
Available:
Copies:
470. 
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:
471. 
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:
472. 
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:
473. 
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:
474. 
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:
475. 
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:
476. 
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:
477. 
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:
478. 
Cover image for Information Processing in Medical Imaging 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings
Information Processing in Medical Imaging 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings
Author 
Niethammer, Marc. editor. Styner, Martin. editor. Aylward, Stephen. editor. Zhu, Hongtu. editor. (orcid)0000-0002-6781-2690 Oguz, Ipek. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59050-9
Format: 
Availability 
Online Library~1
Available:
Copies:
479. 
Cover image for Electrical Circuits in Biomedical Engineering Problems with Solutions
Electrical Circuits in Biomedical Engineering Problems with Solutions
Author 
Keskin, Ali Ümit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55101-2
Format: 
Availability 
Online Library~1
Available:
Copies:
480. 
Cover image for Fading and Shadowing in Wireless Systems
Fading and Shadowing in Wireless Systems
Author 
Shankar, P. Mohana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53198-4
Format: 
Availability 
Online Library~1
Available:
Copies:
481. 
Cover image for Mathematics for Computer Graphics
Mathematics for Computer Graphics
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-7336-6
Format: 
Availability 
Online Library~1
Available:
Copies:
482. 
Cover image for Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers
Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers
Author 
Holzinger, Andreas. editor. Goebel, Randy. editor. (orcid)0000-0002-0739-2946 Ferri, Massimo. editor. Palade, Vasile. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69775-8
Format: 
Availability 
Online Library~1
Available:
Copies:
483. 
Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66320-3
Format: 
Availability 
Online Library~1
Available:
Copies:
484. 
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:
485. 
Cover image for Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II
Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II
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-54430-4
Format: 
Availability 
Online Library~1
Available:
Copies:
486. 
Cover image for Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
Author 
Chrobak, Marek. editor. Fernández Anta, Antonio. editor. Gąsieniec, Leszek. editor. Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53058-1
Format: 
Availability 
Online Library~1
Available:
Copies:
487. 
Cover image for Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
Author 
Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66278-7
Format: 
Availability 
Online Library~1
Available:
Copies:
488. 
Cover image for Computational Intelligence in Wireless Sensor Networks Recent Advances and Future Challenges
Computational Intelligence in Wireless Sensor Networks Recent Advances and Future Challenges
Author 
Abraham, Ajith. editor. Falcon, Rafael. editor. Koeppen, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47715-2
Format: 
Availability 
Online Library~1
Available:
Copies:
489. 
Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Author 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Availability 
Online Library~1
Available:
Copies:
490. 
Cover image for Mathematics and Computation in Music 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings
Mathematics and Computation in Music 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings
Author 
Agustín-Aquino, Octavio A. editor. Lluis-Puebla, Emilio. editor. Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71827-9
Format: 
Availability 
Online Library~1
Available:
Copies:
491. 
Cover image for Progress in Cryptology - INDOCRYPT 2017 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings
Progress in Cryptology - INDOCRYPT 2017 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings
Author 
Patra, Arpita. editor. Smart, Nigel P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71667-1
Format: 
Availability 
Online Library~1
Available:
Copies:
492. 
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:
493. 
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:
494. 
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:
495. 
Cover image for Soft Methods for Data Science
Soft Methods for Data Science
Author 
Ferraro, Maria Brigida. editor. Giordani, Paolo. editor. Vantaggi, Barbara. editor. Gagolewski, Marek. editor. Ángeles Gil, María. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42972-4
Format: 
Availability 
Online Library~1
Available:
Copies:
496. 
Cover image for Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings
Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings
Author 
Cardoso, M. Jorge. editor. Arbel, Tal. editor. Melbourne, Andrew. editor. Bogunovic, Hrvoje. editor. Moeskops, Pim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67561-9
Format: 
Availability 
Online Library~1
Available:
Copies:
497. 
Cover image for Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Author 
Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
498. 
Cover image for Springer Handbook of Model-Based Science
Springer Handbook of Model-Based Science
Author 
Magnani, Lorenzo. editor. Bertolotti, Tommaso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30526-4
Format: 
Availability 
Online Library~1
Available:
Copies:
499. 
Cover image for Doubly Classified Model with R
Doubly Classified Model with R
Author 
Tan, Teck Kiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6995-6
Format: 
Availability 
Online Library~1
Available:
Copies:
500. 
Cover image for Feistel Ciphers Security Proofs and Cryptanalysis
Feistel Ciphers Security Proofs and Cryptanalysis
Author 
Nachef, Valerie. author. Patarin, Jacques. author. Volte, Emmanuel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49530-9
Format: 
Availability 
Online Library~1
Available:
Copies:
501. 
Cover image for The Musical-Mathematical Mind Patterns and Transformations
The Musical-Mathematical Mind Patterns and Transformations
Author 
Pareyon, Gabriel. editor. Pina-Romero, Silvia. editor. Agustín-Aquino, Octavio A. editor. Lluis-Puebla, Emilio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47337-6
Format: 
Availability 
Online Library~1
Available:
Copies:
502. 
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:
503. 
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:
504. 
Cover image for Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71255-0
Format: 
Availability 
Online Library~1
Available:
Copies:
505. 
Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings
Author 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68069-9
Format: 
Availability 
Online Library~1
Available:
Copies:
506. 
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:
507. 
Cover image for Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
Author 
Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69868-7
Format: 
Availability 
Online Library~1
Available:
Copies:
508. 
Cover image for Advances in Applied Digital Human Modeling and Simulation Proceedings of the AHFE 2016 International Conference on Digital Human Modeling and Simulation, July 27-31, 2016, Walt Disney World®, Florida, USA
Advances in Applied Digital Human Modeling and Simulation Proceedings of the AHFE 2016 International Conference on Digital Human Modeling and Simulation, July 27-31, 2016, Walt Disney World®, Florida, USA
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41627-4
Format: 
Availability 
Online Library~1
Available:
Copies:
509. 
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:
510. 
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:
511. 
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:
512. 
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:
513. 
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:
514. 
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:
515. 
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:
516. 
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:
517. 
Cover image for Algorithms and Discrete Applied Mathematics Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
Algorithms and Discrete Applied Mathematics Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
Author 
Gaur, Daya. editor. Narayanaswamy, N.S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53007-9
Format: 
Availability 
Online Library~1
Available:
Copies:
518. 
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:
519. 
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:
520. 
Cover image for Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Author 
Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58741-7
Format: 
Availability 
Online Library~1
Available:
Copies:
521. 
Cover image for Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings
Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings
Author 
Alba, Enrique. editor. Chicano, Francisco. editor. Luque, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59513-9
Format: 
Availability 
Online Library~1
Available:
Copies:
522. 
Cover image for Emergent Computation A Festschrift for Selim G. Akl
Emergent Computation A Festschrift for Selim G. Akl
Author 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46376-6
Format: 
Availability 
Online Library~1
Available:
Copies:
523. 
Cover image for Twin Support Vector Machines Models, Extensions and Applications
Twin Support Vector Machines Models, Extensions and Applications
Author 
Jayadeva. author. Khemchandani, Reshma. author. Chandra, Suresh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46186-1
Format: 
Availability 
Online Library~1
Available:
Copies:
524. 
Cover image for Introduction to Morphogenetic Computing
Introduction to Morphogenetic Computing
Author 
Resconi, Germano. author. Xu, Xiaolin. author. Xu, Guanglin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57615-2
Format: 
Availability 
Online Library~1
Available:
Copies:
525. 
Cover image for Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings
Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings
Author 
Eisenbrand, Friedrich. editor. Koenemann, Jochen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59250-3
Format: 
Availability 
Online Library~1
Available:
Copies:
526. 
Cover image for Computational Intelligence in Music, Sound, Art and Design 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Computational Intelligence in Music, Sound, Art and Design 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Author 
Correia, João. editor. Ciesielski, Vic. editor. Liapis, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55750-2
Format: 
Availability 
Online Library~1
Available:
Copies:
527. 
Cover image for Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II
Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II
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-64698-5
Format: 
Availability 
Online Library~1
Available:
Copies:
528. 
Cover image for Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Author 
Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55386-2
Format: 
Availability 
Online Library~1
Available:
Copies:
529. 
Cover image for Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Author 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
530. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
531. 
Cover image for Fractional-Order Devices
Fractional-Order Devices
Author 
Biswas, Karabi. author. Bohannan, Gary. author. Caponetto, Riccardo. author. Mendes Lopes, António. author. (orcid)0000-0001-7359-4370 Tenreiro Machado, José António. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54460-1
Format: 
Availability 
Online Library~1
Available:
Copies:
532. 
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 I
Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I
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-66182-7
Format: 
Availability 
Online Library~1
Available:
Copies:
533. 
Cover image for Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings
Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings
Author 
Peng, Sheng-Lung. editor. Lee, Guan-Ling. editor. Klette, Reinhard. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72329-7
Format: 
Availability 
Online Library~1
Available:
Copies:
534. 
Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Author 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70700-6
Format: 
Availability 
Online Library~1
Available:
Copies:
535. 
Cover image for Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings
Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings
Author 
Ellen, Faith. editor. Kolokolova, Antonina. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
536. 
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:
537. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
538. 
Cover image for Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings
Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings
Author 
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66836-9
Format: 
Availability 
Online Library~1
Available:
Copies:
539. 
Cover image for Granular, Soft and Fuzzy Approaches for Intelligent Systems Dedicated to Professor Ronald R. Yager
Granular, Soft and Fuzzy Approaches for Intelligent Systems Dedicated to Professor Ronald R. Yager
Author 
Kacprzyk, Janusz. editor. Filev, Dimitar. editor. Beliakov, Gleb. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40314-4
Format: 
Availability 
Online Library~1
Available:
Copies:
540. 
Cover image for Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Author 
McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55696-3
Format: 
Availability 
Online Library~1
Available:
Copies:
541. 
Cover image for WALCOM: Algorithms and Computation 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings
WALCOM: Algorithms and Computation 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings
Author 
Poon, Sheung-Hung. editor. Rahman, Md. Saidur. 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-3-319-53925-6
Format: 
Availability 
Online Library~1
Available:
Copies:
542. 
Cover image for Mobile Health Sensors, Analytic Methods, and Applications
Mobile Health Sensors, Analytic Methods, and Applications
Author 
Rehg, James M. editor. Murphy, Susan A. editor. Kumar, Santosh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51394-2
Format: 
Availability 
Online Library~1
Available:
Copies:
543. 
Cover image for Dynamic Secularization Information Technology and the Tension Between Religion and Science
Dynamic Secularization Information Technology and the Tension Between Religion and Science
Author 
Bainbridge, William Sims. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56502-6
Format: 
Availability 
Online Library~1
Available:
Copies:
544. 
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:
545. 
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:
546. 
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:
547. 
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:
548. 
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:
549. 
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:
550. 
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:
551. 
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:
552. 
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:
553. 
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:
554. 
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:
555. 
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:
556. 
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 III
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 III
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-56617-7
Format: 
Availability 
Online Library~1
Available:
Copies:
557. 
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:
558. 
Cover image for Cyber Security Cryptography and Machine Learning First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings
Cyber Security Cryptography and Machine Learning First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings
Author 
Dolev, Shlomi. editor. Lodha, Sachin. editor. (orcid)0000-0001-5771-4977 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60080-2
Format: 
Availability 
Online Library~1
Available:
Copies:
559. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers
Author 
Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Caravagna, Giulio. editor. Gilbert, David. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67834-4
Format: 
Availability 
Online Library~1
Available:
Copies:
560. 
Cover image for Geometric Science of Information Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings
Geometric Science of Information Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings
Author 
Nielsen, Frank. editor. (orcid)0000-0001-5728-0726 Barbaresco, Frédéric. editor. (orcid)0000-0003-3664-3609 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68445-1
Format: 
Availability 
Online Library~1
Available:
Copies:
561. 
Cover image for Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
Author 
Beecks, Christian. editor. Borutta, Felix. editor. Kröger, Peer. editor. Seidl, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68474-1
Format: 
Availability 
Online Library~1
Available:
Copies:
562. 
Cover image for Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
Author 
Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68520-5
Format: 
Availability 
Online Library~1
Available:
Copies:
563. 
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:
564. 
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:
565. 
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:
566. 
Cover image for Deep Learning for Biometrics
Deep Learning for Biometrics
Author 
Bhanu, Bir. editor. Kumar, Ajay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61657-5
Format: 
Availability 
Online Library~1
Available:
Copies:
567. 
Cover image for Computer Vision for Driver Assistance Simultaneous Traffic and Driver Monitoring
Computer Vision for Driver Assistance Simultaneous Traffic and Driver Monitoring
Author 
Rezaei, Mahdi. author. Klette, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50551-0
Format: 
Availability 
Online Library~1
Available:
Copies:
568. 
Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
Author 
Mansi, Tommaso. editor. McLeod, Kristin. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52718-5
Format: 
Availability 
Online Library~1
Available:
Copies:
569. 
Cover image for Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Author 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Availability 
Online Library~1
Available:
Copies:
570. 
Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Author 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
571. 
Cover image for Neural Connectomics Challenge
Neural Connectomics Challenge
Author 
Battaglia, Demian. editor. Guyon, Isabelle. editor. Lemaire, Vincent. editor. (orcid)0000-0002-6030-2356 Orlandi, Javier. editor. Ray, Bisakha. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53070-3
Format: 
Availability 
Online Library~1
Available:
Copies:
572. 
Cover image for Algorithms for Computational Biology 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings
Algorithms for Computational Biology 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings
Author 
Figueiredo, Daniel. editor. Martín-Vide, Carlos. editor. Pratas, Diogo. editor. 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-319-58163-7
Format: 
Availability 
Online Library~1
Available:
Copies:
573. 
Cover image for Algorithms and Complexity 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
Algorithms and Complexity 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
Author 
Fotakis, Dimitris. editor. Pagourtzis, Aris. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57586-5
Format: 
Availability 
Online Library~1
Available:
Copies:
574. 
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:
575. 
Cover image for Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
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-71147-8
Format: 
Availability 
Online Library~1
Available:
Copies:
576. 
Cover image for Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
Author 
Rothe, Jörg. editor. (orcid)0000-0002-0589-3616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67504-6
Format: 
Availability 
Online Library~1
Available:
Copies:
577. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Author 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2717-8
Format: 
Availability 
Online Library~1
Available:
Copies:
578. 
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:
579. 
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:
580. 
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:
581. 
Cover image for Graph-Based Representations in Pattern Recognition 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings
Graph-Based Representations in Pattern Recognition 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings
Author 
Foggia, Pasquale. editor. Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Vento, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58961-9
Format: 
Availability 
Online Library~1
Available:
Copies:
582. 
Cover image for Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Author 
Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
583. 
Cover image for Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II
Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II
Author 
Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59081-3
Format: 
Availability 
Online Library~1
Available:
Copies:
584. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
585. 
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-319-50017-1
Format: 
Availability 
Online Library~1
Available:
Copies:
586. 
Cover image for Innovative Security Solutions for Information Technology and Communications 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised Selected Papers
Innovative Security Solutions for Information Technology and Communications 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised Selected Papers
Author 
Farshim, Pooya. editor. Simion, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69284-5
Format: 
Availability 
Online Library~1
Available:
Copies:
587. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
588. 
Cover image for Basic Graph Theory
Basic Graph Theory
Author 
Rahman, Md. Saidur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49475-3
Format: 
Availability 
Online Library~1
Available:
Copies:
589. 
Cover image for An Introduction to Distance Geometry applied to Molecular Geometry
An Introduction to Distance Geometry applied to Molecular Geometry
Author 
Lavor, Carlile. author. Liberti, Leo. author. A. Lodwick, Weldon. author. Mendonça da Costa, Tiago. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57183-6
Format: 
Availability 
Online Library~1
Available:
Copies:
590. 
Cover image for Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Author 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Availability 
Online Library~1
Available:
Copies:
591. 
Cover image for Transactions on Computational Science XXIX
Transactions on Computational Science XXIX
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
592. 
Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Author 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Availability 
Online Library~1
Available:
Copies:
593. 
Cover image for Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings
Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings
Author 
Giri, Debasis. editor. Mohapatra, Ram N. editor. Begehr, Heinrich. editor. Obaidat, Mohammad S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4642-1
Format: 
Availability 
Online Library~1
Available:
Copies:
594. 
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:
595. 
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:
596. 
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:
597. 
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:
598. 
Cover image for Description Logics in Multimedia Reasoning
Description Logics in Multimedia Reasoning
Author 
Sikos, Leslie F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54066-5
Format: 
Availability 
Online Library~1
Available:
Copies:
599. 
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:
600. 
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:
Select an Action