Limit Search Results
Author
Gervasi, Osvaldo. editor.
(44)
Taniar, David. editor.
(43)
Apduhan, Bernady O. editor.
(42)
Dongarra, Jack. editor.
(29)
Kim, Tai-hoon. editor.
(29)
Language
Publication Date
-
2018
(437)
2011
(396)
2012
(368)
2010
(346)
2009
(331)
Subject
Software engineering.
(3702)
Computer science.
(2994)
Computer Communication Networks.
(1165)
Artificial intelligence.
(998)
Information systems.
(825)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3906 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
601. 
Cover image for Introduction to Software Design with Java
Introduction to Software Design with Java
Author 
Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24094-3
Format: 
Availability 
Online Library~1
Available:
Copies:
602. 
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:
603. 
Cover image for Engineering Multi-Agent Systems 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers
Engineering Multi-Agent Systems 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers
Author 
Weyns, Danny. editor. (orcid)0000-0002-1162-0817 Mascardi, Viviana. editor. (orcid)0000-0002-2261-9926 Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25693-7
Format: 
Availability 
Online Library~1
Available:
Copies:
604. 
Cover image for Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers
Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers
Author 
Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Toma, Cristian. editor. (orcid)0000-0001-9316-7739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12942-2
Format: 
Availability 
Online Library~1
Available:
Copies:
605. 
Cover image for Formal Methods An Appetizer
Formal Methods An Appetizer
Author 
Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05156-3
Format: 
Availability 
Online Library~1
Available:
Copies:
606. 
Cover image for Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV
Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV
Author 
Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24268-8
Format: 
Availability 
Online Library~1
Available:
Copies:
607. 
Cover image for Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers
Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers
Author 
Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25283-0
Format: 
Availability 
Online Library~1
Available:
Copies:
608. 
Cover image for Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
Author 
Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24886-4
Format: 
Availability 
Online Library~1
Available:
Copies:
609. 
Cover image for Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II
Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II
Author 
Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
610. 
Cover image for Advanced Information Systems Engineering Workshops CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings
Advanced Information Systems Engineering Workshops CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings
Author 
Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20948-3
Format: 
Availability 
Online Library~1
Available:
Copies:
611. 
Cover image for Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part II
Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part II
Author 
Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
612. 
Cover image for Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings
Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings
Author 
Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463 Salas, Joaquín. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21077-9
Format: 
Availability 
Online Library~1
Available:
Copies:
613. 
Cover image for Distributed Real-Time Systems Theory and Practice
Distributed Real-Time Systems Theory and Practice
Author 
Erciyes, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22570-4
Format: 
Availability 
Online Library~1
Available:
Copies:
614. 
Cover image for Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Author 
Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12797-8
Format: 
Availability 
Online Library~1
Available:
Copies:
615. 
Cover image for Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers
Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers
Author 
Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34647-8
Format: 
Availability 
Online Library~1
Available:
Copies:
616. 
Cover image for Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers
Author 
Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10632-4
Format: 
Availability 
Online Library~1
Available:
Copies:
617. 
Cover image for Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I
Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I
Author 
Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17253-4
Format: 
Availability 
Online Library~1
Available:
Copies:
618. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V
Author 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24308-1
Format: 
Availability 
Online Library~1
Available:
Copies:
619. 
Cover image for Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers
Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers
Author 
Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Pizarro, Guillermo. editor. (orcid)0000-0002-0731-4550 Zúñiga-Prieto, Miguel. editor. (orcid)0000-0001-9369-1813 D’Armas, Mayra. editor. Zúñiga Sánchez, Miguel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05532-5
Format: 
Availability 
Online Library~1
Available:
Copies:
620. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II
Author 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24296-1
Format: 
Availability 
Online Library~1
Available:
Copies:
621. 
Cover image for High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers
High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers
Author 
Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-32-9987-0
Format: 
Availability 
Online Library~1
Available:
Copies:
622. 
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:
623. 
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:
624. 
Cover image for Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Author 
Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28423-7
Format: 
Availability 
Online Library~1
Available:
Copies:
625. 
Cover image for Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III
Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III
Author 
Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26954-8
Format: 
Availability 
Online Library~1
Available:
Copies:
626. 
Cover image for Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Author 
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 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-34500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
627. 
Cover image for Vibrations of Rotating Machinery Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis
Vibrations of Rotating Machinery Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis
Author 
Matsushita, Osami. author. Tanaka, Masato. author. Kobayashi, Masao. author. Keogh, Patrick. author. Kanki, Hiroshi. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55453-0
Format: 
Availability 
Online Library~1
Available:
Copies:
628. 
Cover image for Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Author 
Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05529-5
Format: 
Availability 
Online Library~1
Available:
Copies:
629. 
Cover image for Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers
Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers
Author 
Mekuria, Fisseha. editor. Nigussie, Ethiopia. editor. (orcid)0000-0002-2043-4274 Tegegne, Tesfa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26630-1
Format: 
Availability 
Online Library~1
Available:
Copies:
630. 
Cover image for Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions
Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions
Author 
Francisco Lorenzon, Arthur. author. Beck Filho, Antonio Carlos Schneider. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28719-1
Format: 
Availability 
Online Library~1
Available:
Copies:
631. 
Cover image for Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers
Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers
Author 
Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35646-0
Format: 
Availability 
Online Library~1
Available:
Copies:
632. 
Cover image for Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers
Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers
Author 
Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Paprzycki, Marcin. editor. (orcid)0000-0002-8069-2152 Bhargava, Bharat. editor. Chhabra, Jitender Kumar. editor. Kaushal, Narottam Chand. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3804-5
Format: 
Availability 
Online Library~1
Available:
Copies:
633. 
Cover image for Frontiers in Cyber Security Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings
Frontiers in Cyber Security Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings
Author 
Shen, Bazhong. editor. Wang, Baocang. editor. (orcid)0000-0002-2554-4464 Han, Jinguang. editor. (orcid)0000-0002-4993-9452 Yu, Yong. editor. (orcid)0000-0003-0667-077X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0818-9
Format: 
Availability 
Online Library~1
Available:
Copies:
634. 
Cover image for Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22636-7
Format: 
Availability 
Online Library~1
Available:
Copies:
635. 
Cover image for Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II
Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
636. 
Cover image for Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Author 
Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23570-3
Format: 
Availability 
Online Library~1
Available:
Copies:
637. 
Cover image for Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings
Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings
Author 
Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683 Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21290-2
Format: 
Availability 
Online Library~1
Available:
Copies:
638. 
Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 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
Programming Languages and Systems 28th European Symposium on Programming, ESOP 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 
Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17184-1
Format: 
Availability 
Online Library~1
Available:
Copies:
639. 
Cover image for Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings
Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings
Author 
Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31919-9
Format: 
Availability 
Online Library~1
Available:
Copies:
640. 
Cover image for Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Author 
Da Silva, Dilma. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23502-4
Format: 
Availability 
Online Library~1
Available:
Copies:
641. 
Cover image for New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings
New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings
Author 
Benmoussa, Rachid. editor. De Guio, Roland. editor. Dubois, Sébastien. editor. (orcid)0000-0003-1501-4977 Koziołek, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32497-1
Format: 
Availability 
Online Library~1
Available:
Copies:
642. 
Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31019-6
Format: 
Availability 
Online Library~1
Available:
Copies:
643. 
Cover image for Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Author 
Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11245-5
Format: 
Availability 
Online Library~1
Available:
Copies:
644. 
Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
645. 
Cover image for Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
Author 
Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12018-4
Format: 
Availability 
Online Library~1
Available:
Copies:
646. 
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:
647. 
Cover image for Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers
Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers
Author 
Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16874-2
Format: 
Availability 
Online Library~1
Available:
Copies:
648. 
Cover image for Design and Development of Web Information Systems
Design and Development of Web Information Systems
Author 
Schewe, Klaus-Dieter. author. Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58824-6
Format: 
Availability 
Online Library~1
Available:
Copies:
649. 
Cover image for Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings
Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings
Author 
Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20883-7
Format: 
Availability 
Online Library~1
Available:
Copies:
650. 
Cover image for Science of Cyber Security Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers
Science of Cyber Security Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers
Author 
Liu, Feng. editor. Xu, Jia. editor. Xu, Shouhuai. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34637-9
Format: 
Availability 
Online Library~1
Available:
Copies:
651. 
Cover image for Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings
Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings
Author 
Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21451-7
Format: 
Availability 
Online Library~1
Available:
Copies:
652. 
Cover image for Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Author 
Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22102-7
Format: 
Availability 
Online Library~1
Available:
Copies:
653. 
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:
654. 
Cover image for Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II
Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II
Author 
Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26951-7
Format: 
Availability 
Online Library~1
Available:
Copies:
655. 
Cover image for Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers
Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers
Author 
Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0002-6575-9814 Antón, Annie. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12786-2
Format: 
Availability 
Online Library~1
Available:
Copies:
656. 
Cover image for Carl Adam Petri: Ideas, Personality, Impact
Carl Adam Petri: Ideas, Personality, Impact
Author 
Reisig, Wolfgang. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96154-5
Format: 
Availability 
Online Library~1
Available:
Copies:
657. 
Cover image for Service Research and Innovation 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers
Service Research and Innovation 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers
Author 
Lam, Ho-Pun. editor. (orcid)0000-0002-1137-8549 Mistry, Sajib. editor. (orcid)0000-0001-7513-3789 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32242-7
Format: 
Availability 
Online Library~1
Available:
Copies:
658. 
Cover image for Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji
Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji
Author 
Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16458-4
Format: 
Availability 
Online Library~1
Available:
Copies:
659. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Author 
Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17910-6
Format: 
Availability 
Online Library~1
Available:
Copies:
660. 
Cover image for Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures
Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures
Author 
Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 Yakovlev, Konstantin S. editor. (orcid)0000-0002-4377-321X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33274-7
Format: 
Availability 
Online Library~1
Available:
Copies:
661. 
Cover image for Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers
Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers
Author 
Zemmari, Akka. editor. Mosbah, Mohamed. editor. Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12143-3
Format: 
Availability 
Online Library~1
Available:
Copies:
662. 
Cover image for Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings
Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings
Author 
Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Gauthier-Umaña, Valérie. editor. (orcid)0000-0003-0909-7091 Ochoa, Martín. editor. (orcid)0000-0002-7816-5775 Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21568-2
Format: 
Availability 
Online Library~1
Available:
Copies:
663. 
Cover image for Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Author 
Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21485-2
Format: 
Availability 
Online Library~1
Available:
Copies:
664. 
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:
665. 
Cover image for Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers
Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers
Author 
Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37386-3
Format: 
Availability 
Online Library~1
Available:
Copies:
666. 
Cover image for The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment
The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment
Author 
Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37959-9
Format: 
Availability 
Online Library~1
Available:
Copies:
667. 
Cover image for Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Author 
Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 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-29007-8
Format: 
Availability 
Online Library~1
Available:
Copies:
668. 
Cover image for Biomedical Engineering Systems and Technologies 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19–21, 2018, Revised Selected Papers
Biomedical Engineering Systems and Technologies 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19–21, 2018, Revised Selected Papers
Author 
Cliquet Jr., Alberto. editor. Wiebe, Sheldon. editor. Anderson, Paul. editor. Saggio, Giovanni. editor. Zwiggelaar, Reyer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29196-9
Format: 
Availability 
Online Library~1
Available:
Copies:
669. 
Cover image for Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
Author 
Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
670. 
Cover image for Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Author 
Fontaine, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Availability 
Online Library~1
Available:
Copies:
671. 
Cover image for Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Author 
Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
672. 
Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Availability 
Online Library~1
Available:
Copies:
673. 
Cover image for Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings
Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings
Author 
Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12612-4
Format: 
Availability 
Online Library~1
Available:
Copies:
674. 
Cover image for Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Author 
Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29238-6
Format: 
Availability 
Online Library~1
Available:
Copies:
675. 
Cover image for Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I
Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I
Author 
Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29959-0
Format: 
Availability 
Online Library~1
Available:
Copies:
676. 
Cover image for Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
Author 
Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29962-0
Format: 
Availability 
Online Library~1
Available:
Copies:
677. 
Cover image for Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings
Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings
Author 
Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30949-7
Format: 
Availability 
Online Library~1
Available:
Copies:
678. 
Cover image for Architecture for Blockchain Applications
Architecture for Blockchain Applications
Author 
Xu, Xiwei. author. Weber, Ingo. author. (orcid)0000-0002-4833-5921 Staples, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03035-3
Format: 
Availability 
Online Library~1
Available:
Copies:
679. 
Cover image for Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers
Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers
Author 
Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29193-8
Format: 
Availability 
Online Library~1
Available:
Copies:
680. 
Cover image for Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05807-4
Format: 
Availability 
Online Library~1
Available:
Copies:
681. 
Cover image for Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Author 
Gol Mohammadi, Nazila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-27488-7
Format: 
Availability 
Online Library~1
Available:
Copies:
682. 
Cover image for Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings
Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings
Author 
Coppola, Massimo. editor. (orcid)0000-0002-7937-4157 Carlini, Emanuele. editor. (orcid)0000-0003-3643-5404 D’Agostino, Daniele. editor. (orcid)0000-0003-2649-0071 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13342-9
Format: 
Availability 
Online Library~1
Available:
Copies:
683. 
Cover image for Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
Author 
Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30275-7
Format: 
Availability 
Online Library~1
Available:
Copies:
684. 
Cover image for Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings
Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings
Author 
Valencia-García, Rafael. editor. Alcaraz-Mármol, Gema. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Bucaram-Leverone, Martha. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34989-9
Format: 
Availability 
Online Library~1
Available:
Copies:
685. 
Cover image for Reproducible Research in Pattern Recognition Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers
Reproducible Research in Pattern Recognition Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers
Author 
Kerautret, Bertrand. editor. Colom, Miguel. editor. Lopresti, Daniel. editor. (orcid)0000-0003-2129-4223 Monasse, Pascal. editor. Talbot, Hugues. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23987-9
Format: 
Availability 
Online Library~1
Available:
Copies:
686. 
Cover image for Fault Prediction Modeling for the Prediction of Number of Software Faults
Fault Prediction Modeling for the Prediction of Number of Software Faults
Author 
Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7131-8
Format: 
Availability 
Online Library~1
Available:
Copies:
687. 
Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Author 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
688. 
Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12988-0
Format: 
Availability 
Online Library~1
Available:
Copies:
689. 
Cover image for Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers
Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers
Author 
Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Nelson, Maria Augusta. editor. (orcid)0000-0002-1151-1362 Rocha, Carla. editor. (orcid)0000-0003-3102-5166 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36701-5
Format: 
Availability 
Online Library~1
Available:
Copies:
690. 
Cover image for Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I
Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I
Author 
Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-1922-2
Format: 
Availability 
Online Library~1
Available:
Copies:
691. 
Cover image for Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Author 
Russinoff, David M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95513-1
Format: 
Availability 
Online Library~1
Available:
Copies:
692. 
Cover image for Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings
Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings
Author 
Li, Daoliang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-06155-5
Format: 
Availability 
Online Library~1
Available:
Copies:
693. 
Cover image for Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers
Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers
Author 
Lee, Ji-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
694. 
Cover image for HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23522-2
Format: 
Availability 
Online Library~1
Available:
Copies:
695. 
Cover image for Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings
Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings
Author 
Montella, Raffaele. editor. Ciaramella, Angelo. editor. (orcid)0000-0001-5592-7995 Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. (orcid)0000-0003-1469-9484 Liotta, Antonio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34914-1
Format: 
Availability 
Online Library~1
Available:
Copies:
696. 
Cover image for Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings
Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings
Author 
Breitinger, Frank. editor. (orcid)0000-0001-5261-4600 Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05487-8
Format: 
Availability 
Online Library~1
Available:
Copies:
697. 
Cover image for The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Author 
Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31175-9
Format: 
Availability 
Online Library~1
Available:
Copies:
698. 
Cover image for Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part I
Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part I
Author 
Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20485-3
Format: 
Availability 
Online Library~1
Available:
Copies:
699. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III
Author 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
700. 
Cover image for Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings
Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings
Author 
Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127 Mendelson, Avi. editor. Nandi, Mridul. editor. (orcid)0000-0002-1029-6576 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35869-3
Format: 
Availability 
Online Library~1
Available:
Copies:
701. 
Cover image for Web Engineering 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings
Web Engineering 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings
Author 
Bakaev, Maxim. editor. (orcid)0000-0002-1889-0692 Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X Ko, In-Young. editor. (orcid)0000-0002-3843-263X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19274-7
Format: 
Availability 
Online Library~1
Available:
Copies:
702. 
Cover image for Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings
Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings
Author 
Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33742-1
Format: 
Availability 
Online Library~1
Available:
Copies:
703. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Availability 
Online Library~1
Available:
Copies:
704. 
Cover image for Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III
Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III
Author 
Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17659-4
Format: 
Availability 
Online Library~1
Available:
Copies:
705. 
Cover image for Integrating Business Process Models and Rules Empirical Evidence and Decision Framework
Integrating Business Process Models and Rules Empirical Evidence and Decision Framework
Author 
Wang, Wei. author. (orcid)0000-0003-2932-4247 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11809-9
Format: 
Availability 
Online Library~1
Available:
Copies:
706. 
Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Author 
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13838-7
Format: 
Availability 
Online Library~1
Available:
Copies:
707. 
Cover image for Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb
Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb
Author 
Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Eckhart, Matthias. editor. Lüder, Arndt. editor. Weippl, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25312-7
Format: 
Availability 
Online Library~1
Available:
Copies:
708. 
Cover image for Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers
Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers
Author 
Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10868-7
Format: 
Availability 
Online Library~1
Available:
Copies:
709. 
Cover image for Computing and Communication Systems in Urban Development A Detailed Perspective
Computing and Communication Systems in Urban Development A Detailed Perspective
Author 
Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462 Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565 Murugan, Suriya. author. (orcid)0000-0002-8130-7228 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26013-2
Format: 
Availability 
Online Library~1
Available:
Copies:
710. 
Cover image for Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
Author 
Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31140-7
Format: 
Availability 
Online Library~1
Available:
Copies:
711. 
Cover image for ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers
ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers
Author 
Kabanda, Salah. editor. Suleman, Hussein. editor. Gruner, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
712. 
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:
713. 
Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Author 
Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13651-2
Format: 
Availability 
Online Library~1
Available:
Copies:
714. 
Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Author 
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31038-7
Format: 
Availability 
Online Library~1
Available:
Copies:
715. 
Cover image for From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Author 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31514-6
Format: 
Availability 
Online Library~1
Available:
Copies:
716. 
Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Availability 
Online Library~1
Available:
Copies:
717. 
Cover image for Concise Guide to Software Testing
Concise Guide to Software Testing
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28494-7
Format: 
Availability 
Online Library~1
Available:
Copies:
718. 
Cover image for A Practical Approach to High-Performance Computing
A Practical Approach to High-Performance Computing
Author 
Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27558-7
Format: 
Availability 
Online Library~1
Available:
Copies:
719. 
Cover image for Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
Author 
Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
720. 
Cover image for Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV
Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV
Author 
Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23535-2
Format: 
Availability 
Online Library~1
Available:
Copies:
721. 
Cover image for Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings
Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings
Author 
Buchmann, Johannes. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23696-0
Format: 
Availability 
Online Library~1
Available:
Copies:
722. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
723. 
Cover image for Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings
Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings
Author 
Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430 Šmuc, Tomislav. editor. (orcid)0000-0002-9185-9384 Džeroski, Sašo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
724. 
Cover image for Information Systems Engineering in Responsible Information Systems CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings
Information Systems Engineering in Responsible Information Systems CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings
Author 
Cappiello, Cinzia. editor. (orcid)0000-0001-6062-5174 Ruiz, Marcela. editor. (orcid)0000-0002-0592-1779 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21297-1
Format: 
Availability 
Online Library~1
Available:
Copies:
725. 
Cover image for Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers
Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers
Author 
Tsitouridou, Meni. editor. A. Diniz, José. editor. Mikropoulos, Tassos A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20954-4
Format: 
Availability 
Online Library~1
Available:
Copies:
726. 
Cover image for Cloud Computing and Big Data 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers
Cloud Computing and Big Data 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers
Author 
Naiouf, Marcelo. editor. (orcid)0000-0001-9127-3212 Chichizola, Franco. editor. (orcid)0000-0001-8857-6343 Rucci, Enzo. editor. (orcid)0000-0001-6736-7358 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27713-0
Format: 
Availability 
Online Library~1
Available:
Copies:
727. 
Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Author 
Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30923-7
Format: 
Availability 
Online Library~1
Available:
Copies:
728. 
Cover image for Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
Author 
Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
729. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I
Author 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24289-3
Format: 
Availability 
Online Library~1
Available:
Copies:
730. 
Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI
Author 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24311-1
Format: 
Availability 
Online Library~1
Available:
Copies:
731. 
Cover image for Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings
Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings
Author 
Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94968-0
Format: 
Availability 
Online Library~1
Available:
Copies:
732. 
Cover image for Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
Author 
Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93736-6
Format: 
Availability 
Online Library~1
Available:
Copies:
733. 
Cover image for Advances in Computational Intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II
Advances in Computational Intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II
Author 
Batyrshin, Ildar. editor. Martínez-Villaseñor, María de Lourdes. editor. Ponce Espinosa, Hiram Eredín. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04497-8
Format: 
Availability 
Online Library~1
Available:
Copies:
734. 
Cover image for Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I
Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I
Author 
Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91125-0
Format: 
Availability 
Online Library~1
Available:
Copies:
735. 
Cover image for Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
Author 
Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01081-2
Format: 
Availability 
Online Library~1
Available:
Copies:
736. 
Cover image for Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II
Author 
Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01216-8
Format: 
Availability 
Online Library~1
Available:
Copies:
737. 
Cover image for Transactions on Computational Collective Intelligence XXVIII
Transactions on Computational Collective Intelligence XXVIII
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78301-7
Format: 
Availability 
Online Library~1
Available:
Copies:
738. 
Cover image for Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II
Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II
Author 
Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99707-0
Format: 
Availability 
Online Library~1
Available:
Copies:
739. 
Cover image for Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings
Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings
Author 
Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99734-6
Format: 
Availability 
Online Library~1
Available:
Copies:
740. 
Cover image for Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings
Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings
Author 
Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97676-1
Format: 
Availability 
Online Library~1
Available:
Copies:
741. 
Cover image for Crowdsourced Data Management Hybrid Machine-Human Computing
Crowdsourced Data Management Hybrid Machine-Human Computing
Author 
Li, Guoliang. author. Wang, Jiannan. author. Zheng, Yudian. author. Fan, Ju. author. Franklin, Michael J. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7847-7
Format: 
Availability 
Online Library~1
Available:
Copies:
742. 
Cover image for IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings
IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings
Author 
Lin, Yi-Bing. editor. Deng, Der-Jiunn. editor. You, Ilsun. editor. Lin, Chun-Cheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00410-1
Format: 
Availability 
Online Library~1
Available:
Copies:
743. 
Cover image for Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings
Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings
Author 
Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01313-4
Format: 
Availability 
Online Library~1
Available:
Copies:
744. 
Cover image for Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II
Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II
Author 
Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03329-3
Format: 
Availability 
Online Library~1
Available:
Copies:
745. 
Cover image for Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings
Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings
Author 
Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Kubota, Kenichi. editor. Lee, Lap-Kei. editor. Tokito, Jumpei. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94505-7
Format: 
Availability 
Online Library~1
Available:
Copies:
746. 
Cover image for Chinese Lexical Semantics 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers
Chinese Lexical Semantics 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers
Author 
Hong, Jia-Fei. editor. Su, Qi. editor. (orcid)0000-0002-4769-2812 Wu, Jiun-Shiung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04015-4
Format: 
Availability 
Online Library~1
Available:
Copies:
747. 
Cover image for KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
Author 
Trollmann, Frank. editor. Turhan, Anni-Yasmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00111-7
Format: 
Availability 
Online Library~1
Available:
Copies:
748. 
Cover image for Fundamentals of Software Culture
Fundamentals of Software Culture
Author 
Qin, Zheng. author. Zhang, Huidi. author. Qin, Xin. author. Xu, Kaiping. author. Dimitrov, Kouemo Ngayo Anatoli. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0701-0
Format: 
Availability 
Online Library~1
Available:
Copies:
749. 
Cover image for Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Author 
Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Availability 
Online Library~1
Available:
Copies:
750. 
Cover image for Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings
Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings
Author 
Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-79063-3
Format: 
Availability 
Online Library~1
Available:
Copies:
751. 
Cover image for Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I
Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I
Author 
Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99704-9
Format: 
Availability 
Online Library~1
Available:
Copies:
752. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
753. 
Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
Author 
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76168-8
Format: 
Availability 
Online Library~1
Available:
Copies:
754. 
Cover image for Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II
Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Villegas, Juan G. editor. (orcid)0000-0002-2940-571X Orozco-Arroyave, Juan Rafael. editor. (orcid)0000-0002-8507-0782 Maya Duque, Pablo Andres. editor. (orcid)0000-0002-5348-8615 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00353-1
Format: 
Availability 
Online Library~1
Available:
Copies:
755. 
Cover image for Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings
Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings
Author 
Serrano C., Jairo E. editor. (orcid)0000-0001-8165-7343 Martínez-Santos, Juan Carlos. editor. (orcid)0000-0003-2755-0718 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98998-3
Format: 
Availability 
Online Library~1
Available:
Copies:
756. 
Cover image for Big Data Technologies and Applications 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings
Big Data Technologies and Applications 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings
Author 
Jung, Jason J. editor. Kim, Pankoo. editor. Choi, Kwang Nam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98752-1
Format: 
Availability 
Online Library~1
Available:
Copies:
757. 
Cover image for Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings
Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings
Author 
Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00840-6
Format: 
Availability 
Online Library~1
Available:
Copies:
758. 
Cover image for Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems
Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
759. 
Cover image for Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings
Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings
Author 
Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97795-9
Format: 
Availability 
Online Library~1
Available:
Copies:
760. 
Cover image for Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Author 
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94460-9
Format: 
Availability 
Online Library~1
Available:
Copies:
761. 
Cover image for Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings
Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings
Author 
Catalano, Dario. editor. De Prisco, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
762. 
Cover image for Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings
Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings
Author 
Mehmood, Rashid. editor. Bhaduri, Budhendra. editor. Katib, Iyad. editor. Chlamtac, Imrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94180-6
Format: 
Availability 
Online Library~1
Available:
Copies:
763. 
Cover image for Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II
Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II
Author 
Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94274-2
Format: 
Availability 
Online Library~1
Available:
Copies:
764. 
Cover image for Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings
Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings
Author 
Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Roque, Licinio. editor. (orcid)0000-0002-1911-2788 Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470 Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99426-0
Format: 
Availability 
Online Library~1
Available:
Copies:
765. 
Cover image for Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Author 
Wang, Shilong. editor. Price, Mark. editor. Lim, Ming K. editor. Jin, Yan. editor. Luo, Yuanxin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
766. 
Cover image for Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Author 
Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01461-2
Format: 
Availability 
Online Library~1
Available:
Copies:
767. 
Cover image for AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
Author 
Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03991-2
Format: 
Availability 
Online Library~1
Available:
Copies:
768. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04179-3
Format: 
Availability 
Online Library~1
Available:
Copies:
769. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04167-0
Format: 
Availability 
Online Library~1
Available:
Copies:
770. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04212-7
Format: 
Availability 
Online Library~1
Available:
Copies:
771. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04239-4
Format: 
Availability 
Online Library~1
Available:
Copies:
772. 
Cover image for Building Information Modeling Technology Foundations and Industry Practice
Building Information Modeling Technology Foundations and Industry Practice
Author 
Borrmann, André. editor. König, Markus. editor. Koch, Christian. editor. Beetz, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92862-3
Format: 
Availability 
Online Library~1
Available:
Copies:
773. 
Cover image for Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Author 
Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99987-6
Format: 
Availability 
Online Library~1
Available:
Copies:
774. 
Cover image for Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Author 
Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99840-4
Format: 
Availability 
Online Library~1
Available:
Copies:
775. 
Cover image for Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
Author 
Blanc-Talon, Jacques. editor. Helbert, David. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01449-0
Format: 
Availability 
Online Library~1
Available:
Copies:
776. 
Cover image for RoboCup 2017: Robot World Cup XXI
RoboCup 2017: Robot World Cup XXI
Author 
Akiyama, Hidehisa. editor. (orcid)0000-0002-9793-9123 Obst, Oliver. editor. (orcid)0000-0002-8284-2062 Sammut, Claude. editor. (orcid)0000-0001-8873-5228 Tonidandel, Flavio. editor. (orcid)0000-0003-0345-668X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00308-1
Format: 
Availability 
Online Library~1
Available:
Copies:
777. 
Cover image for Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings
Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings
Author 
Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00434-7
Format: 
Availability 
Online Library~1
Available:
Copies:
778. 
Cover image for Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI
Author 
Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01252-6
Format: 
Availability 
Online Library~1
Available:
Copies:
779. 
Cover image for Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings
Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings
Author 
Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01614-2
Format: 
Availability 
Online Library~1
Available:
Copies:
780. 
Cover image for Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers
Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers
Author 
Meiklejohn, Sarah. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58387-6
Format: 
Availability 
Online Library~1
Available:
Copies:
781. 
Cover image for Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
Author 
De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75214-3
Format: 
Availability 
Online Library~1
Available:
Copies:
782. 
Cover image for Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III
Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91250-9
Format: 
Availability 
Online Library~1
Available:
Copies:
783. 
Cover image for Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
Author 
Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91584-5
Format: 
Availability 
Online Library~1
Available:
Copies:
784. 
Cover image for Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95162-1
Format: 
Availability 
Online Library~1
Available:
Copies:
785. 
Cover image for Business Process Management 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings
Business Process Management 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings
Author 
Weske, Mathias. editor. Montali, Marco. editor. (orcid)0000-0002-8021-3430 Weber, Ingo. editor. (orcid)0000-0002-4833-5921 vom Brocke, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98648-7
Format: 
Availability 
Online Library~1
Available:
Copies:
786. 
Cover image for Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97955-7
Format: 
Availability 
Online Library~1
Available:
Copies:
787. 
Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Author 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
788. 
Cover image for Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Author 
Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00787-4
Format: 
Availability 
Online Library~1
Available:
Copies:
789. 
Cover image for Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
Author 
Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
790. 
Cover image for Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings
Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings
Author 
Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01790-3
Format: 
Availability 
Online Library~1
Available:
Copies:
791. 
Cover image for Current Trends in Web Engineering ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers
Current Trends in Web Engineering ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers
Author 
Pautasso, Cesare. editor. (orcid)0000-0002-2748-9665 Sánchez-Figueroa, Fernando. editor. (orcid)0000-0002-4827-0785 Systä, Kari. editor. (orcid)0000-0001-7371-0773 Murillo Rodríguez, Juan Manuel. editor. (orcid)0000-0003-4961-4030 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03056-8
Format: 
Availability 
Online Library~1
Available:
Copies:
792. 
Cover image for Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Author 
Mann, Zoltán Ádám. editor. Stolz, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-79090-9
Format: 
Availability 
Online Library~1
Available:
Copies:
793. 
Cover image for Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings
Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings
Author 
Huang, Tingwen. editor. (orcid)0000-0001-9610-846X Lv, Jiancheng. editor. Sun, Changyin. editor. Tuzikov, Alexander V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92537-0
Format: 
Availability 
Online Library~1
Available:
Copies:
794. 
Cover image for Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Author 
Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2381-2
Format: 
Availability 
Online Library~1
Available:
Copies:
795. 
Cover image for Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings
Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings
Author 
Xiang, Yang. editor. Sun, Jingtao. editor. Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. Jung, Jason J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02738-4
Format: 
Availability 
Online Library~1
Available:
Copies:
796. 
Cover image for Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings
Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings
Author 
Simari, Guillermo R. editor. (orcid)0000-0001-6247-0428 Fermé, Eduardo. editor. (orcid)0000-0002-9618-2421 Gutiérrez Segura, Flabio. editor. Rodríguez Melquiades, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03928-8
Format: 
Availability 
Online Library~1
Available:
Copies:
797. 
Cover image for Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I
Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91238-7
Format: 
Availability 
Online Library~1
Available:
Copies:
798. 
Cover image for Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I
Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. (orcid)0000-0001-7670-7756 Rodriguez-Molano, José Ignacio. editor. (orcid)0000-0003-2581-277X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00350-0
Format: 
Availability 
Online Library~1
Available:
Copies:
799. 
Cover image for Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73441-5
Format: 
Availability 
Online Library~1
Available:
Copies:
800. 
Cover image for Capability Management in Digital Enterprises
Capability Management in Digital Enterprises
Author 
Sandkuhl, Kurt. editor. Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
801. 
Cover image for Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings
Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings
Author 
Au, Man Ho. editor. (orcid)0000-0003-2068-9530 Yiu, Siu Ming. editor. Li, Jin. editor. Luo, Xiapu. editor. Wang, Cong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02744-5
Format: 
Availability 
Online Library~1
Available:
Copies:
802. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04224-0
Format: 
Availability 
Online Library~1
Available:
Copies:
803. 
Cover image for Towards Extensible and Adaptable Methods in Computing
Towards Extensible and Adaptable Methods in Computing
Author 
Chakraverty, Shampa. editor. Goel, Anil. editor. Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2348-5
Format: 
Availability 
Online Library~1
Available:
Copies:
804. 
Cover image for Web Content Credibility
Web Content Credibility
Author 
Wierzbicki, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77794-8
Format: 
Availability 
Online Library~1
Available:
Copies:
805. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05054-2
Format: 
Availability 
Online Library~1
Available:
Copies:
806. 
Cover image for Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence
Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence
Author 
Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90059-9
Format: 
Availability 
Online Library~1
Available:
Copies:
807. 
Cover image for Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Author 
Li, Kang. editor. Fei, Minrui. editor. Du, Dajun. editor. Yang, Zhile. editor. Yang, Dongsheng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2384-3
Format: 
Availability 
Online Library~1
Available:
Copies:
808. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Demazeau, Yves. editor. An, Bo. editor. (orcid)0000-0002-7064-7438 Bajo, Javier. editor. Fernández-Caballero, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94580-4
Format: 
Availability 
Online Library~1
Available:
Copies:
809. 
Cover image for Wireless Indoor Localization A Crowdsourcing Approach
Wireless Indoor Localization A Crowdsourcing Approach
Author 
Wu, Chenshu. author. Yang, Zheng. author. Liu, Yunhao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0356-2
Format: 
Availability 
Online Library~1
Available:
Copies:
810. 
Cover image for Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Author 
Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Véronique. editor. Goré, Rajeev. editor. Hapsara, Manik. editor. (orcid)0000-0002-8653-063X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00419-4
Format: 
Availability 
Online Library~1
Available:
Copies:
811. 
Cover image for Learning Technology for Education Challenges 7th International Workshop, LTEC 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings
Learning Technology for Education Challenges 7th International Workshop, LTEC 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings
Author 
Uden, Lorna. editor. Liberona, Dario. editor. Ristvej, Jozef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95522-3
Format: 
Availability 
Online Library~1
Available:
Copies:
812. 
Cover image for Refinement Semantics, Languages and Applications
Refinement Semantics, Languages and Applications
Author 
Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92711-4
Format: 
Availability 
Online Library~1
Available:
Copies:
813. 
Cover image for New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Author 
Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02852-7
Format: 
Availability 
Online Library~1
Available:
Copies:
814. 
Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Author 
McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99154-2
Format: 
Availability 
Online Library~1
Available:
Copies:
815. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII Special Issue on Database- and Expert-Systems Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII Special Issue on Database- and Expert-Systems Applications
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Hartmann, Sven. editor. Ma, Hui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58384-5
Format: 
Availability 
Online Library~1
Available:
Copies:
816. 
Cover image for Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications
Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications
Author 
Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94054-0
Format: 
Availability 
Online Library~1
Available:
Copies:
817. 
Cover image for Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses
Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses
Author 
H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
818. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
819. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
820. 
Cover image for Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
821. 
Cover image for Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Author 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95930-6
Format: 
Availability 
Online Library~1
Available:
Copies:
822. 
Cover image for Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings
Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings
Author 
Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01141-3
Format: 
Availability 
Online Library~1
Available:
Copies:
823. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Author 
Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
824. 
Cover image for Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Author 
Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73721-8
Format: 
Availability 
Online Library~1
Available:
Copies:
825. 
Cover image for OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings
OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings
Author 
Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01201-4
Format: 
Availability 
Online Library~1
Available:
Copies:
826. 
Cover image for Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI
Author 
Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01270-0
Format: 
Availability 
Online Library~1
Available:
Copies:
827. 
Cover image for Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Author 
Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
828. 
Cover image for Advances in Conceptual Modeling ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings
Advances in Conceptual Modeling ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings
Author 
Woo, Carson. editor. Lu, Jiaheng. editor. (orcid)0000-0003-2067-454X Li, Zhanhuai. editor. Ling, Tok Wang. editor. Li, Guoliang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01391-2
Format: 
Availability 
Online Library~1
Available:
Copies:
829. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
Author 
Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03232-6
Format: 
Availability 
Online Library~1
Available:
Copies:
830. 
Cover image for GNSS for Rail Transportation Challenges and Opportunities
GNSS for Rail Transportation Challenges and Opportunities
Author 
Lo Presti, Letizia. editor. Sabina, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-79084-8
Format: 
Availability 
Online Library~1
Available:
Copies:
831. 
Cover image for Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Author 
Cuppens, Nora. editor. Cuppens, Frédéric. editor. Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Legay, Axel. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76687-4
Format: 
Availability 
Online Library~1
Available:
Copies:
832. 
Cover image for TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution
TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution
Author 
Ruiz, Marcela. author. (orcid)0000-0002-0592-1779 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89716-5
Format: 
Availability 
Online Library~1
Available:
Copies:
833. 
Cover image for Smartphone-Based Indoor Map Construction Principles and Applications
Smartphone-Based Indoor Map Construction Principles and Applications
Author 
Gao, Ruipeng. author. Ye, Fan. author. Luo, Guojie. author. Cong, Jason. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8378-5
Format: 
Availability 
Online Library~1
Available:
Copies:
834. 
Cover image for Software Languages Syntax, Semantics, and Metaprogramming
Software Languages Syntax, Semantics, and Metaprogramming
Author 
Lämmel, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90800-7
Format: 
Availability 
Online Library~1
Available:
Copies:
835. 
Cover image for Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers
Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers
Author 
Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91593-7
Format: 
Availability 
Online Library~1
Available:
Copies:
836. 
Cover image for Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I
Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91253-0
Format: 
Availability 
Online Library~1
Available:
Copies:
837. 
Cover image for Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II
Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91262-2
Format: 
Availability 
Online Library~1
Available:
Copies:
838. 
Cover image for Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings
Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings
Author 
Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91662-0
Format: 
Availability 
Online Library~1
Available:
Copies:
839. 
Cover image for Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings
Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings
Author 
Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71440-0
Format: 
Availability 
Online Library~1
Available:
Copies:
840. 
Cover image for New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
Author 
Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91632-3
Format: 
Availability 
Online Library~1
Available:
Copies:
841. 
Cover image for Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
Author 
Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Stapleton, Gem. editor. Moktefi, Amirouche. editor. Perez-Kriz, Sarah. editor. Bellucci, Francesco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91376-6
Format: 
Availability 
Online Library~1
Available:
Copies:
842. 
Cover image for Advanced Information Systems Engineering Workshops CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings
Advanced Information Systems Engineering Workshops CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings
Author 
Matulevičius, Raimundas. editor. Dijkman, Remco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92898-2
Format: 
Availability 
Online Library~1
Available:
Copies:
843. 
Cover image for Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I
Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I
Author 
Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93445-7
Format: 
Availability 
Online Library~1
Available:
Copies:
844. 
Cover image for Information Systems in the Big Data Era CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
Information Systems in the Big Data Era CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
Author 
Mendling, Jan. editor. (orcid)0000-0002-7260-524X Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92901-9
Format: 
Availability 
Online Library~1
Available:
Copies:
845. 
Cover image for Managing Software Crisis: A Smart Way to Enterprise Agility
Managing Software Crisis: A Smart Way to Enterprise Agility
Author 
Zykov, Sergey V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77917-1
Format: 
Availability 
Online Library~1
Available:
Copies:
846. 
Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
847. 
Cover image for Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings
Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings
Author 
Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78574-5
Format: 
Availability 
Online Library~1
Available:
Copies:
848. 
Cover image for Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Author 
Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94361-9
Format: 
Availability 
Online Library~1
Available:
Copies:
849. 
Cover image for Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Author 
Georgakopoulos, Dimitrios. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94370-1
Format: 
Availability 
Online Library~1
Available:
Copies:
850. 
Cover image for Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Author 
Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94295-7
Format: 
Availability 
Online Library~1
Available:
Copies:
851. 
Cover image for Information Technology for Management. Ongoing Research and Development 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers
Information Technology for Management. Ongoing Research and Development 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers
Author 
Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77721-4
Format: 
Availability 
Online Library~1
Available:
Copies:
852. 
Cover image for Thinking-Driven Testing The Most Reasonable Approach to Quality Control
Thinking-Driven Testing The Most Reasonable Approach to Quality Control
Author 
Roman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73195-7
Format: 
Availability 
Online Library~1
Available:
Copies:
853. 
Cover image for Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Author 
Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94301-5
Format: 
Availability 
Online Library~1
Available:
Copies:
854. 
Cover image for e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings
e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings
Author 
Bissyande, Tegawendé F. editor. Sie, Oumarou. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66742-3
Format: 
Availability 
Online Library~1
Available:
Copies:
855. 
Cover image for Cloud Infrastructures, Services, and IoT Systems for Smart Cities Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings
Cloud Infrastructures, Services, and IoT Systems for Smart Cities Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings
Author 
Longo, Antonella. editor. Zappatore, Marco. editor. Villari, Massimo. editor. Rana, Omer. editor. Bruneo, Dario. editor. (orcid)0000-0002-6080-9077
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67636-4
Format: 
Availability 
Online Library~1
Available:
Copies:
856. 
Cover image for Low Earth Orbit Satellite Design
Low Earth Orbit Satellite Design
Author 
Sebestyen, George. author. Fujikawa, Steve. author. Galassi, Nicholas. author. Chuchra, Alex. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68315-7
Format: 
Availability 
Online Library~1
Available:
Copies:
857. 
Cover image for Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers
Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers
Author 
Lazovik, Alexander. editor. Schulte, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72125-5
Format: 
Availability 
Online Library~1
Available:
Copies:
858. 
Cover image for Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings
Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings
Author 
Huang, Mengxing. editor. Zhang, Yan. editor. Jing, Weipeng. editor. Mehmood, Amjad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72998-5
Format: 
Availability 
Online Library~1
Available:
Copies:
859. 
Cover image for Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers
Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers
Author 
Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72817-9
Format: 
Availability 
Online Library~1
Available:
Copies:
860. 
Cover image for Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Author 
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74313-4
Format: 
Availability 
Online Library~1
Available:
Copies:
861. 
Cover image for Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets
Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets
Author 
Martin-Rodilla, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69188-6
Format: 
Availability 
Online Library~1
Available:
Copies:
862. 
Cover image for Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers
Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers
Author 
Peixoto, Nathalia. editor. Silveira, Margarida. editor. Ali, Hesham H. editor. Maciel, Carlos. editor. van den Broek, Egon L. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94806-5
Format: 
Availability 
Online Library~1
Available:
Copies:
863. 
Cover image for Future Access Enablers for Ubiquitous and Intelligent Infrastructures Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings
Future Access Enablers for Ubiquitous and Intelligent Infrastructures Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings
Author 
Fratu, Octavian. editor. Militaru, Nicolae. editor. Halunga, Simona. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92213-3
Format: 
Availability 
Online Library~1
Available:
Copies:
864. 
Cover image for Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Bernardino, Jorge. editor. Quix, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94809-6
Format: 
Availability 
Online Library~1
Available:
Copies:
865. 
Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Author 
Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94821-8
Format: 
Availability 
Online Library~1
Available:
Copies:
866. 
Cover image for Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95168-3
Format: 
Availability 
Online Library~1
Available:
Copies:
867. 
Cover image for Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95174-4
Format: 
Availability 
Online Library~1
Available:
Copies:
868. 
Cover image for MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I
MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I
Author 
Schoeffmann, Klaus. editor. Chalidabhongse, Thanarat H. editor. Ngo, Chong Wah. editor. Aramvith, Supavadee. editor. O’Connor, Noel E. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73603-7
Format: 
Availability 
Online Library~1
Available:
Copies:
869. 
Cover image for Data Warehouse Requirements Engineering A Decision Based Approach
Data Warehouse Requirements Engineering A Decision Based Approach
Author 
Prakash, Naveen. author. Prakash, Deepika. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7019-8
Format: 
Availability 
Online Library~1
Available:
Copies:
870. 
Cover image for Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Author 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Availability 
Online Library~1
Available:
Copies:
871. 
Cover image for Computing, Analytics and Networks First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers
Computing, Analytics and Networks First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers
Author 
Sharma, Rajnish. editor. Mantri, Archana. editor. Dua, Sumeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0755-3
Format: 
Availability 
Online Library~1
Available:
Copies:
872. 
Cover image for Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings
Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings
Author 
Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Halloy, José. editor. Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Lepora, Nathan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95972-6
Format: 
Availability 
Online Library~1
Available:
Copies:
873. 
Cover image for Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I
Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I
Author 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95270-3
Format: 
Availability 
Online Library~1
Available:
Copies:
874. 
Cover image for Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
Author 
Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Campegiani, Paolo. editor. Czachórski, Tadeusz. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Komnios, Ioannis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95189-8
Format: 
Availability 
Online Library~1
Available:
Copies:
875. 
Cover image for Software Development Measurement Programs Development, Management and Evolution
Software Development Measurement Programs Development, Management and Evolution
Author 
Staron, Miroslaw. author. Meding, Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91836-5
Format: 
Availability 
Online Library~1
Available:
Copies:
876. 
Cover image for Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers
Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers
Author 
Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94568-2
Format: 
Availability 
Online Library~1
Available:
Copies:
877. 
Cover image for SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Author 
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73117-9
Format: 
Availability 
Online Library~1
Available:
Copies:
878. 
Cover image for Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Author 
Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89719-6
Format: 
Availability 
Online Library~1
Available:
Copies:
879. 
Cover image for Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Author 
Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90104-6
Format: 
Availability 
Online Library~1
Available:
Copies:
880. 
Cover image for Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers
Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers
Author 
Wannous, Hazem. editor. Pala, Pietro. editor. Daoudi, Mohamed. editor. Flórez-Revuelta, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91863-1
Format: 
Availability 
Online Library~1
Available:
Copies:
881. 
Cover image for Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers
Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74521-3
Format: 
Availability 
Online Library~1
Available:
Copies:
882. 
Cover image for Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings
Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings
Author 
Qing, Sihan. editor. Mitchell, Chris. editor. Chen, Liqun. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89500-0
Format: 
Availability 
Online Library~1
Available:
Copies:
883. 
Cover image for Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlab
Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlab
Author 
Gopi, E. S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57430-1
Format: 
Availability 
Online Library~1
Available:
Copies:
884. 
Cover image for Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
885. 
Cover image for Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers
Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers
Author 
Li, Jianzhong. editor. Ma, Huadong. editor. Li, Keqiu. editor. Cui, Li. editor. Sun, Limin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8123-1
Format: 
Availability 
Online Library~1
Available:
Copies:
886. 
Cover image for Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings
Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings
Author 
Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74439-1
Format: 
Availability 
Online Library~1
Available:
Copies:
887. 
Cover image for Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
Author 
Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78139-6
Format: 
Availability 
Online Library~1
Available:
Copies:
888. 
Cover image for Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings
Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings
Author 
Hu, Jiankun. editor. Khalil, Ibrahim. editor. Tari, Zahir. editor. Wen, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90775-8
Format: 
Availability 
Online Library~1
Available:
Copies:
889. 
Cover image for Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings
Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings
Author 
Liu, Chengfei. editor. Zou, Lei. editor. Li, Jianxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91455-8
Format: 
Availability 
Online Library~1
Available:
Copies:
890. 
Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Author 
Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
891. 
Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Author 
Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
892. 
Cover image for Handbook of Model Checking
Handbook of Model Checking
Author 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
893. 
Cover image for Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers
Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers
Author 
Clemmensen, Torkil. editor. (orcid)0000-0002-0934-2336 Rajamanickam, Venkatesh. editor. Dannenmann, Peter. editor. (orcid)0000-0002-9720-926X Petrie, Helen. editor. (orcid)0000-0002-0100-9846 Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
894. 
Cover image for Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Author 
Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93767-0
Format: 
Availability 
Online Library~1
Available:
Copies:
895. 
Cover image for Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
Author 
Kaczorowski, Jerzy. editor. Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
896. 
Cover image for Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices
Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices
Author 
Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
897. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
898. 
Cover image for Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Author 
Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57669-4
Format: 
Availability 
Online Library~1
Available:
Copies:
899. 
Cover image for Articulated Motion and Deformable Objects 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings
Articulated Motion and Deformable Objects 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings
Author 
Perales, Francisco José. editor. Kittler, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94544-6
Format: 
Availability 
Online Library~1
Available:
Copies:
900. 
Cover image for Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action