Limit Search Results
Author
SpringerLink (Online service)
(1722)
Wiley InterScience (Online service)
(80)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(37)
Murgante, Beniamino. editor.
(27)
Language
Publication Date
-
Subject
Computer simulation.
(1192)
Computer science.
(766)
Artificial intelligence.
(366)
Software engineering.
(328)
Engineering.
(297)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
2664 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
901. 
Cover image for Proceedings
Proceedings
Author 
European Simulation Symposium (1994 : İstanbul) Kaylan, Ali Rıza, ed. by Lehmann, Axel, ed. by Ören, Tuncer İ., ed. by Society for Computer Simulation.
Preferred Shelf Number 
QA 76.9.C65 E97 1994 V.1
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
902. 
Cover image for ERP tools, techniques, and applications for integrating the supply chain
ERP tools, techniques, and applications for integrating the supply chain
Author 
Ptak, Carol A. Schragenheim, Eli. Simulation CD ROM.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
903. 
Cover image for Macromolecular theory and simulations .
Macromolecular theory and simulations .
Author 
Wiley
Preferred Shelf Number 
ALFABETİK V.4 1995
Electronic Access 
Elektronik erişim
Format: 
Availability 
Beytepe Library~7 ~0
Available:
Copies:
904. 
Cover image for Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management
Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management
Author 
Watzenig, Daniel. editor. Brandstätter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57445-5
Format: 
Availability 
Online Library~1
Available:
Copies:
905. 
Cover image for Automotive Battery Technology
Automotive Battery Technology
Author 
Thaler, Alexander. editor. Watzenig, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02523-0
Format: 
Availability 
Online Library~1
Available:
Copies:
906. 
Cover image for Dynamics On and Of Complex Networks, Volume 2 Applications to Time-Varying Dynamical Systems
Dynamics On and Of Complex Networks, Volume 2 Applications to Time-Varying Dynamical Systems
Author 
Mukherjee, Animesh. editor. Choudhury, Monojit. editor. Peruani, Fernando. editor. Ganguly, Niloy. editor. Mitra, Bivas. editor.
Preferred Shelf Number 
ONLINE(332100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6729-8
Format: 
Availability 
Online Library~1
Available:
Copies:
907. 
Cover image for VLSI Analog Filters Active RC, OTA-C, and SC
VLSI Analog Filters Active RC, OTA-C, and SC
Author 
Mohan, P.V. Ananda. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330555.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8358-0
Format: 
Availability 
Online Library~1
Available:
Copies:
908. 
Cover image for Bounded Noises in Physics, Biology, and Engineering
Bounded Noises in Physics, Biology, and Engineering
Author 
d'Onofrio, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332275.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7385-5
Format: 
Availability 
Online Library~1
Available:
Copies:
909. 
Cover image for The Mathematical Structure of Classical and Relativistic Physics A General Classification Diagram
The Mathematical Structure of Classical and Relativistic Physics A General Classification Diagram
Author 
Tonti, Enzo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332283.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7422-7
Format: 
Availability 
Online Library~1
Available:
Copies:
910. 
Cover image for An Introduction to Continuous-Time Stochastic Processes Theory, Models, and Applications to Finance, Biology, and Medicine
An Introduction to Continuous-Time Stochastic Processes Theory, Models, and Applications to Finance, Biology, and Medicine
Author 
Capasso, Vincenzo. author. Bakstein, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8346-7
Format: 
Availability 
Online Library~1
Available:
Copies:
911. 
Cover image for Classical Mechanics with Mathematica®
Classical Mechanics with Mathematica®
Author 
Antonio, Romano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8352-8
Format: 
Availability 
Online Library~1
Available:
Copies:
912. 
Cover image for Fuzzy Cognitive Maps Advances in Theory, Methodologies, Tools and Applications
Fuzzy Cognitive Maps Advances in Theory, Methodologies, Tools and Applications
Author 
Glykas, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03220-2
Format: 
Availability 
Online Library~1
Available:
Copies:
913. 
Cover image for Continuum Mechanics Advanced Topics and Research Trends
Continuum Mechanics Advanced Topics and Research Trends
Author 
Romano, Antonio. author. Marasco, Addolorata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4870-1
Format: 
Availability 
Online Library~1
Available:
Copies:
914. 
Cover image for Geometric Optics Theory and Design of Astronomical Optical Systems Using Mathematica®
Geometric Optics Theory and Design of Astronomical Optical Systems Using Mathematica®
Author 
Romano, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4872-5
Format: 
Availability 
Online Library~1
Available:
Copies:
915. 
Cover image for Mathematical Modeling of Collective Behavior in Socio-Economic and Life Sciences
Mathematical Modeling of Collective Behavior in Socio-Economic and Life Sciences
Author 
Naldi, Giovanni. editor. Pareschi, Lorenzo. editor. Toscani, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4946-3
Format: 
Availability 
Online Library~1
Available:
Copies:
916. 
Cover image for Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences
Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences
Author 
Ganguly, Niloy. editor. Deutsch, Andreas. editor. Mukherjee, Animesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4751-3
Format: 
Availability 
Online Library~1
Available:
Copies:
917. 
Cover image for Data Modeling for Metrology and Testing in Measurement Science
Data Modeling for Metrology and Testing in Measurement Science
Author 
Pavese, Franco. editor. Forbes, Alistair B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4804-6
Format: 
Availability 
Online Library~1
Available:
Copies:
918. 
Cover image for Mathematical Modeling of Biological Systems, Volume II Epidemiology, Evolution and Ecology,Immunology, Neural Systems and the Brain, and Innovative Mathematical Methods
Mathematical Modeling of Biological Systems, Volume II Epidemiology, Evolution and Ecology,Immunology, Neural Systems and the Brain, and Innovative Mathematical Methods
Author 
Deutsch, Andreas. editor. Parra, Rafael Bravo de la. editor. Boer, Rob J. de. editor. Diekmann, Odo. editor. Jagers, Peter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4556-4
Format: 
Availability 
Online Library~1
Available:
Copies:
919. 
Cover image for Modeling Complex Living Systems
Modeling Complex Living Systems
Author 
Bellomo, Nicola. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4600-4
Format: 
Availability 
Online Library~1
Available:
Copies:
920. 
Cover image for Generalized Collocation Methods Solutions to Nonlinear Problems
Generalized Collocation Methods Solutions to Nonlinear Problems
Author 
Bellomo, Nicola. editor. Lods, Bertrand. editor. Revelli, Roberto. editor. Ridolfi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4610-3
Format: 
Availability 
Online Library~1
Available:
Copies:
921. 
Cover image for Selected Topics in Cancer Modeling Genesis, Evolution, Immune Competition, and Therapy
Selected Topics in Cancer Modeling Genesis, Evolution, Immune Competition, and Therapy
Author 
Angelis, Elena. editor. Chaplain, Mark A. J. editor. Bellomo, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4713-1
Format: 
Availability 
Online Library~1
Available:
Copies:
922. 
Cover image for Transport Phenomena and Kinetic Theory Applications to Gases, Semiconductors, Photons, and Biological Systems
Transport Phenomena and Kinetic Theory Applications to Gases, Semiconductors, Photons, and Biological Systems
Author 
Cercignani, Carlo. editor. Gabetta, Ester. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4554-0
Format: 
Availability 
Online Library~1
Available:
Copies:
923. 
Cover image for Mathematical Modeling of Biological Systems, Volume I Cellular Biophysics, Regulatory Networks, Development, Biomedicine, and Data Analysis
Mathematical Modeling of Biological Systems, Volume I Cellular Biophysics, Regulatory Networks, Development, Biomedicine, and Data Analysis
Author 
Deutsch, Andreas. editor. Brusch, Lutz. editor. Byrne, Helen. editor. Vries, Gerda de. editor. Herzel, Hanspeter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4558-8
Format: 
Availability 
Online Library~1
Available:
Copies:
924. 
Cover image for Molecular Gas Dynamics Theory, Techniques, and Applications
Molecular Gas Dynamics Theory, Techniques, and Applications
Author 
Sone, Yoshio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4573-1
Format: 
Availability 
Online Library~1
Available:
Copies:
925. 
Cover image for Modeling of Biological Materials
Modeling of Biological Materials
Author 
Mollica, Francesco. editor. Preziosi, Luigi. editor. Rajagopal, K. R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138320
Format: 
Availability 
Online Library~1
Available:
Copies:
926. 
Cover image for Continuum Mechanics using Mathematica® Fundamentals, Applications and Scientific Computing
Continuum Mechanics using Mathematica® Fundamentals, Applications and Scientific Computing
Author 
Romano, Antonio. author. Lancellotta, Renato. author. Marasco, Addolorata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-8176-4458-X
Format: 
Availability 
Online Library~1
Available:
Copies:
927. 
Cover image for Neural Networks and Sea Time Series Reconstruction and Extreme-Event Analysis
Neural Networks and Sea Time Series Reconstruction and Extreme-Event Analysis
Author 
Tirozzi, Brunello. author. Puca, Silvia. author. Pittalis, Stefano. author. Bruschi, Antonello. author. Morucci, Sara. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-8176-4459-8
Format: 
Availability 
Online Library~1
Available:
Copies:
928. 
Cover image for Statistics and Analysis of Shapes
Statistics and Analysis of Shapes
Author 
Krim, Hamid. editor. Yezzi, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-8176-4481-4
Format: 
Availability 
Online Library~1
Available:
Copies:
929. 
Cover image for Mathematical Modeling of Complex Biological Systems A Kinetic Theory Approach
Mathematical Modeling of Complex Biological Systems A Kinetic Theory Approach
Author 
Bellouquid, Abdelghani. author. Delitala, Marcello. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4503-8
Format: 
Availability 
Online Library~1
Available:
Copies:
930. 
Cover image for An Introduction to Continuous-Time Stochastic Processes Theory, Models, and Applications to Finance, Biology, and Medicine
An Introduction to Continuous-Time Stochastic Processes Theory, Models, and Applications to Finance, Biology, and Medicine
Author 
Capasso, Vincenzo. author. Bakstein, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138900
Format: 
Availability 
Online Library~1
Available:
Copies:
931. 
Cover image for Cellular Automaton Modeling of Biological Pattern Formation Characterization, Applications, and Analysis
Cellular Automaton Modeling of Biological Pattern Formation Characterization, Applications, and Analysis
Author 
Deutsch, Andreas. author. Dormann, Sabine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138451
Format: 
Availability 
Online Library~1
Available:
Copies:
932. 
Cover image for The modelling of human behaviour
The modelling of human behaviour
Author 
Schmidt, B. (SCS)The Society for Computer Simulation International. (ASIM)Arbeitsgemeinschaft Simulation.
Preferred Shelf Number 
HM 271 S51 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
933. 
Cover image for Robotics, mechatronics and manufacturing systems transactions of the IMACS/SICE International Symposium on Robotics, Mechatronics, and Manufacturing Systems, Kobe, Japan, 16-20 September, 1992
Robotics, mechatronics and manufacturing systems transactions of the IMACS/SICE International Symposium on Robotics, Mechatronics, and Manufacturing Systems, Kobe, Japan, 16-20 September, 1992
Author 
IMACS/SICE International Symposium on Robotics, Mechatronics, and Manufacturing Systems (1992 : Kōbe-shi, Japan) Takamori, Toshi, 1940- Tsuchiya, Kazuo, 1943- International Association for Mathematics and Computers in Simulation. Keisoku Jidō Seigyo Gakkai (Japan)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444897008
Format: 
Availability 
Online Library~1
Available:
Copies:
934. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520319.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2446-2
Format: 
Availability 
Online Library~1
Available:
Copies:
935. 
Cover image for Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers
Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers
Author 
Taratukhin, Victor. editor. Levchenko, Artem. editor. Kupriyanov, Yury. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520348.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32092-7
Format: 
Availability 
Online Library~1
Available:
Copies:
936. 
Cover image for Computer Aided Engineering of Batteries
Computer Aided Engineering of Batteries
Author 
Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520358.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-17607-4
Format: 
Availability 
Online Library~1
Available:
Copies:
937. 
Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Author 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520370.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28787-9
Format: 
Availability 
Online Library~1
Available:
Copies:
938. 
Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part II
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part II
Author 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520371.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
939. 
Cover image for Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings
Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings
Author 
Gao, Feifei. editor. Wu, Jun. editor. Li, Yun. editor. Gao, Honghao. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520456.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34790-0
Format: 
Availability 
Online Library~1
Available:
Copies:
940. 
Cover image for Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Author 
Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520457.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34899-0
Format: 
Availability 
Online Library~1
Available:
Copies:
941. 
Cover image for Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Author 
Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520459.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
942. 
Cover image for Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks
Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks
Author 
Tran-Dang, Hoa. author. Kim, Dong-Seong. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520469.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33920-2
Format: 
Availability 
Online Library~1
Available:
Copies:
943. 
Cover image for Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Author 
Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520477.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34896-9
Format: 
Availability 
Online Library~1
Available:
Copies:
944. 
Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III
Author 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number 
XX(520612.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43670-3
Format: 
Availability 
Online Library~1
Available:
Copies:
945. 
Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV
Author 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number 
XX(520613.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43688-8
Format: 
Availability 
Online Library~1
Available:
Copies:
946. 
Cover image for Handbook of Dynamic Data Driven Applications Systems Volume 2
Handbook of Dynamic Data Driven Applications Systems Volume 2
Author 
Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520614.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27986-7
Format: 
Availability 
Online Library~1
Available:
Copies:
947. 
Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management 14th International Joint Conference, IC3K 2022, Valletta, Malta, October 24-26, 2022, Revised Selected Papers
Knowledge Discovery, Knowledge Engineering and Knowledge Management 14th International Joint Conference, IC3K 2022, Valletta, Malta, October 24-26, 2022, Revised Selected Papers
Author 
Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. (orcid) Dietz, Jan. editor. Bernardino, Jorge. editor.
Preferred Shelf Number 
XX(520620.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43471-6
Format: 
Availability 
Online Library~1
Available:
Copies:
948. 
Cover image for 6GN for Future Wireless Networks 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part I
6GN for Future Wireless Networks 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part I
Author 
Li, Ao. editor. Shi, Yao. editor. Xi, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520490.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36011-4
Format: 
Availability 
Online Library~1
Available:
Copies:
949. 
Cover image for 6GN for Future Wireless Networks 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part II
6GN for Future Wireless Networks 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part II
Author 
Li, Ao. editor. Shi, Yao. editor. Xi, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520491.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36014-5
Format: 
Availability 
Online Library~1
Available:
Copies:
950. 
Cover image for Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection International Workshops of PAAMS 2023, Guimaraes, Portugal, July 12-14, 2023, Proceedings
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection International Workshops of PAAMS 2023, Guimaraes, Portugal, July 12-14, 2023, Proceedings
Author 
Durães, Dalila. editor. González-Briones, Alfonso. editor. (orcid) Lujak, Marin. editor. El Bolock, Alia. editor. Carneiro, João. editor.
Preferred Shelf Number 
XX(520494.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37593-4
Format: 
Availability 
Online Library~1
Available:
Copies:
951. 
Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers
Smart Cities, Green Technologies, and Intelligent Transport Systems 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers
Author 
Klein, Cornel. editor. Jarke, Matthias. editor. Ploeg, Jeroen. editor. Helfert, Markus. editor. Berns, Karsten. editor.
Preferred Shelf Number 
XX(520497.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37470-8
Format: 
Availability 
Online Library~1
Available:
Copies:
952. 
Cover image for Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
Author 
Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.
Preferred Shelf Number 
XX(520668.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29126-5
Format: 
Availability 
Online Library~1
Available:
Copies:
953. 
Cover image for Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers
Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers
Author 
Fill, Hans-Georg. editor. van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520513.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37231-5
Format: 
Availability 
Online Library~1
Available:
Copies:
954. 
Cover image for Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Author 
Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Preferred Shelf Number 
XX(520919.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
955. 
Cover image for Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Author 
Pérez Cáceres, Leslie. editor. Stützle, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520921.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30035-6
Format: 
Availability 
Online Library~1
Available:
Copies:
956. 
Cover image for Human-Centered Artificial Intelligence Advanced Lectures
Human-Centered Artificial Intelligence Advanced Lectures
Author 
Chetouani, Mohamed. editor. (orcid) Dignum, Virginia. editor. Lukowicz, Paul. editor. (orcid) Sierra, Carles. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520925.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24349-3
Format: 
Availability 
Online Library~1
Available:
Copies:
957. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520797.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
958. 
Cover image for Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(520800.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23492-7
Format: 
Availability 
Online Library~1
Available:
Copies:
959. 
Cover image for RoboCup 2022: Robot World Cup XXV
RoboCup 2022: Robot World Cup XXV
Author 
Eguchi, Amy. editor. Lau, Nuno. editor. Paetzel-Prüsmann, Maike. editor. Wanichanon, Thanapat. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520910.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28469-4
Format: 
Availability 
Online Library~1
Available:
Copies:
960. 
Cover image for Machine Learning for Networking 5th International Conference, MLN 2022, Paris, France, November 28-30, 2022, Revised Selected Papers
Machine Learning for Networking 5th International Conference, MLN 2022, Paris, France, November 28-30, 2022, Revised Selected Papers
Author 
Renault, Éric. editor. Mühlethaler, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521021.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36183-8
Format: 
Availability 
Online Library~1
Available:
Copies:
961. 
Cover image for Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Author 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521025.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34411-4
Format: 
Availability 
Online Library~1
Available:
Copies:
962. 
Cover image for Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Author 
Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521072.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40960-8
Format: 
Availability 
Online Library~1
Available:
Copies:
963. 
Cover image for Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I
Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.
Preferred Shelf Number 
XX(521016.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36805-9
Format: 
Availability 
Online Library~1
Available:
Copies:
964. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IX
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IX
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521018.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37129-5
Format: 
Availability 
Online Library~1
Available:
Copies:
965. 
Cover image for Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Author 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521095.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
966. 
Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(521309.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42505-9
Format: 
Availability 
Online Library~1
Available:
Copies:
967. 
Cover image for The Airway Manual Practical Approach to Airway Management
The Airway Manual Practical Approach to Airway Management
Author 
Ubaradka, Raveendra Shankaranarayana. editor. Gupta, Nishkarsh. editor. Bidkar, Prasanna Udupi. editor. Tripathy, Debendra Kumar. editor. Gupta, Anju. editor.
Preferred Shelf Number 
XX(521538.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-4747-6
Format: 
Availability 
Online Library~1
Available:
Copies:
968. 
Cover image for The High-risk Surgical Patient
The High-risk Surgical Patient
Author 
Aseni, Paolo. editor. Grande, Antonino Massimiliano. editor. Leppäniemi, Ari. editor. Chiara, Osvaldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521568.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-17273-1
Format: 
Availability 
Online Library~1
Available:
Copies:
969. 
Cover image for Global Surgery How to Work and Teach in Low- and Middle-Income Countries
Global Surgery How to Work and Teach in Low- and Middle-Income Countries
Author 
Hardy, Mark A. editor. Hochman, Beth R. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521856.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28127-3
Format: 
Availability 
Online Library~1
Available:
Copies:
970. 
Cover image for Design Automation of Quantum Computers
Design Automation of Quantum Computers
Author 
Topaloglu, Rasit O. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520174.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-15699-1
Format: 
Availability 
Online Library~1
Available:
Copies:
971. 
Cover image for Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings
Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings
Author 
Damşa, Crina. editor. Barany, Amanda. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520223.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31726-2
Format: 
Availability 
Online Library~1
Available:
Copies:
972. 
Cover image for Artificial Life and Evolutionary Computation 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022, Revised Selected Papers
Artificial Life and Evolutionary Computation 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022, Revised Selected Papers
Author 
De Stefano, Claudio. editor. Fontanella, Francesco. editor. Vanneschi, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520227.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31183-3
Format: 
Availability 
Online Library~1
Available:
Copies:
973. 
Cover image for Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers
Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers
Author 
Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520232.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30648-8
Format: 
Availability 
Online Library~1
Available:
Copies:
974. 
Cover image for Smart Grid and Internet of Things 6th EAI International Conference, SGIoT 2022, TaiChung, Taiwan, November 19-20, 2022, Proceedings
Smart Grid and Internet of Things 6th EAI International Conference, SGIoT 2022, TaiChung, Taiwan, November 19-20, 2022, Proceedings
Author 
Deng, Der-Jiunn. editor. Chao, Han-Chieh. editor. Chen, Jyh-Cheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520233.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31275-5
Format: 
Availability 
Online Library~1
Available:
Copies:
975. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520194.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23950-2
Format: 
Availability 
Online Library~1
Available:
Copies:
976. 
Cover image for Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Author 
Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520200.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
977. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520246.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2449-3
Format: 
Availability 
Online Library~1
Available:
Copies:
978. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520264.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23947-2
Format: 
Availability 
Online Library~1
Available:
Copies:
979. 
Cover image for Modelling and Development of Intelligent Systems 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers
Modelling and Development of Intelligent Systems 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers
Author 
Simian, Dana. editor. Stoica, Laura Florentina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520284.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27034-5
Format: 
Availability 
Online Library~1
Available:
Copies:
980. 
Cover image for Machine Learning and Mechanics Based Soft Computing Applications
Machine Learning and Mechanics Based Soft Computing Applications
Author 
Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520290.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-6450-3
Format: 
Availability 
Online Library~1
Available:
Copies:
981. 
Cover image for Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Author 
Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Preferred Shelf Number 
XX(520315.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2356-4
Format: 
Availability 
Online Library~1
Available:
Copies:
982. 
Cover image for The Digital Twin
The Digital Twin
Author 
Crespi, Noel. editor. Drobot, Adam T. editor. Minerva, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520427.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21343-4
Format: 
Availability 
Online Library~1
Available:
Copies:
983. 
Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520526.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
984. 
Cover image for Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Author 
Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520558.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25182-5
Format: 
Availability 
Online Library~1
Available:
Copies:
985. 
Cover image for High Performance Computing in Clouds Moving HPC Applications to a Scalable and Cost-Effective Environment
High Performance Computing in Clouds Moving HPC Applications to a Scalable and Cost-Effective Environment
Author 
Borin, Edson. editor. Drummond, Lúcia Maria A. editor. Gaudiot, Jean-Luc. editor. Melo, Alba. editor. Melo Alves, Maicon. editor.
Preferred Shelf Number 
XX(520593.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29769-4
Format: 
Availability 
Online Library~1
Available:
Copies:
986. 
Cover image for Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers
Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers
Author 
Turrin, Michela. editor. Andriotis, Charalampos. editor. Rafiee, Azarakhsh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520482.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37189-9
Format: 
Availability 
Online Library~1
Available:
Copies:
987. 
Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520625.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
988. 
Cover image for Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Author 
Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number 
XX(520629.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43257-6
Format: 
Availability 
Online Library~1
Available:
Copies:
989. 
Cover image for Bio-inspired Information and Communications Technologies 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings
Bio-inspired Information and Communications Technologies 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings
Author 
Chen, Yifan. editor. Yao, Dezhong. editor. Nakano, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520635.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43135-7
Format: 
Availability 
Online Library~1
Available:
Copies:
990. 
Cover image for Emerging Technology Trends in Electronics, Communication and Networking Select Proceedings of the Fourth International Conference, ET2ECN 2021
Emerging Technology Trends in Electronics, Communication and Networking Select Proceedings of the Fourth International Conference, ET2ECN 2021
Author 
Dhavse, Rasika. editor. Kumar, Vinay. editor. Monteleone, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520651.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-6737-5
Format: 
Availability 
Online Library~1
Available:
Copies:
991. 
Cover image for Intelligent Computing and Communication for the Internet of Vehicles
Intelligent Computing and Communication for the Internet of Vehicles
Author 
Li, Mushu. author. Gao, Jie. author. Shen, Xuemin (Sherman). author. Zhao, Lian. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520652.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22860-5
Format: 
Availability 
Online Library~1
Available:
Copies:
992. 
Cover image for Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part II
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part II
Author 
Botto-Tobar, Miguel. editor. Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number 
XX(520655.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24971-6
Format: 
Availability 
Online Library~1
Available:
Copies:
993. 
Cover image for Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers
Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers
Author 
Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520500.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36833-2
Format: 
Availability 
Online Library~1
Available:
Copies:
994. 
Cover image for Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Author 
Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520676.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34497-8
Format: 
Availability 
Online Library~1
Available:
Copies:
995. 
Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Author 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number 
XX(520682.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
996. 
Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Author 
Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number 
XX(520688.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5968-6
Format: 
Availability 
Online Library~1
Available:
Copies:
997. 
Cover image for Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Author 
Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520698.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44668-9
Format: 
Availability 
Online Library~1
Available:
Copies:
998. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520752.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23944-1
Format: 
Availability 
Online Library~1
Available:
Copies:
999. 
Cover image for Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Author 
Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520756.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25088-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1000. 
Cover image for Cognitive Systems and Information Processing 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers
Cognitive Systems and Information Processing 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers
Author 
Sun, Fuchun. editor. Cangelosi, Angelo. editor. Zhang, Jianwei. editor. Yu, Yuanlong. editor. Liu, Huaping. editor.
Preferred Shelf Number 
XX(520758.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-0617-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1001. 
Cover image for Artificial Intelligence and Digitalization for Sustainable Development 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings
Artificial Intelligence and Digitalization for Sustainable Development 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings
Author 
Woldegiorgis, Bereket H. editor. Mequanint, Kibret. editor. Bitew, Mekuanint A. editor. Beza, Teketay B. editor. Yibre, Abdulkerim M. editor.
Preferred Shelf Number 
XX(520759.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28725-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1002. 
Cover image for Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Author 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520854.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1003. 
Cover image for High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
Author 
Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520857.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32041-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1004. 
Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers
Author 
Dudin, Alexander. editor. (orcid) Nazarov, Anatoly. editor. (orcid) Moiseev, Alexander. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520767.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32990-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1005. 
Cover image for Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings
Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings
Author 
Hou, Rui. editor. Huang, Huan. editor. Zeng, Deze. editor. Xia, Guisong. editor. A. Ghany, Kareem Kamal. editor.
Preferred Shelf Number 
XX(520770.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33614-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1006. 
Cover image for Job Scheduling Strategies for Parallel Processing 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers
Author 
Klusáček, Dalibor. editor. Julita, Corbalán. editor. Rodrigo, Gonzalo P. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520792.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1007. 
Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Author 
Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.
Preferred Shelf Number 
XX(520812.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26236-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1008. 
Cover image for Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Author 
Katsikas, Sokratis. editor. (orcid) Cuppens, Frédéric. editor. Kalloniatis, Christos. editor. (orcid) Mylopoulos, John. editor. Pallas, Frank. editor.
Preferred Shelf Number 
XX(520983.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25460-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1009. 
Cover image for Information Processing in Medical Imaging 28th International Conference, IPMI 2023, San Carlos de Bariloche, Argentina, June 18-23, 2023, Proceedings
Information Processing in Medical Imaging 28th International Conference, IPMI 2023, San Carlos de Bariloche, Argentina, June 18-23, 2023, Proceedings
Author 
Frangi, Alejandro. editor. de Bruijne, Marleen. editor. Wassermann, Demian. editor. Navab, Nassir. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520988.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34048-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1010. 
Cover image for Pattern Recognition 15th Mexican Conference, MCPR 2023, Tepic, Mexico, June 21-24, 2023, Proceedings
Pattern Recognition 15th Mexican Conference, MCPR 2023, Tepic, Mexico, June 21-24, 2023, Proceedings
Author 
Rodríguez-González, Ansel Yoan. editor. Pérez-Espinosa, Humberto. editor. Martínez-Trinidad, José Francisco. editor. (orcid) Carrasco-Ochoa, Jesús Ariel. editor. Olvera-López, José Arturo. editor. (orcid)
Preferred Shelf Number 
XX(520991.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1011. 
Cover image for Web Engineering 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings
Web Engineering 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings
Author 
Garrigós, Irene. editor. Murillo Rodríguez, Juan Manuel. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520996.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34444-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1012. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
XX(521001.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1013. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521073.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1014. 
Cover image for Bioinformatics Research and Applications 19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9-12, 2023, Proceedings
Bioinformatics Research and Applications 19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9-12, 2023, Proceedings
Author 
Guo, Xuan. editor. Mangul, Serghei. editor. Patterson, Murray. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521230.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7074-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1015. 
Cover image for Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Author 
Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521209.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1016. 
Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Author 
Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number 
XX(521216.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1017. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VI
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VI
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521218.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6480-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1018. 
Cover image for Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Author 
Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521322.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1019. 
Cover image for Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings
Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings
Author 
Blanc-Talon, Jaques. editor. Delmas, Patrice. editor. Philips, Wilfried. editor. Scheunders, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521326.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45382-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1020. 
Cover image for Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
Author 
Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Preferred Shelf Number 
XX(521353.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47969-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1021. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
XX(521363.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1022. 
Cover image for Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers
Author 
Fornara, Nicoletta. editor. Cheriyan, Jithin. editor. Mertzani, Asimina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521374.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49133-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1023. 
Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
Author 
Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521380.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1024. 
Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II
Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II
Author 
Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521381.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49435-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1025. 
Cover image for Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings
Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings
Author 
Emmerich, Michael. editor. Deutz, André. editor. Wang, Hao. editor. Kononova, Anna V. editor. Naujoks, Boris. editor.
Preferred Shelf Number 
XX(521385.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27250-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1026. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521295.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1027. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
Author 
Mathieu, Philippe. editor. Dignum, Frank. editor. Novais, Paulo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521300.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37616-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1028. 
Cover image for Financial Cryptography and Data Security. FC 2022 International Workshops CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers
Financial Cryptography and Data Security. FC 2022 International Workshops CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers
Author 
Matsuo, Shin'ichiro. editor. Gudgeon, Lewis. editor. Klages-Mundt, Ariah. editor. Perez Hernandez, Daniel. editor. Werner, Sam. editor.
Preferred Shelf Number 
XX(521301.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32415-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1029. 
Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
Author 
Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521305.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1030. 
Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Author 
García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Preferred Shelf Number 
XX(521307.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1031. 
Cover image for Drug Discovery and Design Using Natural Products
Drug Discovery and Design Using Natural Products
Author 
Cruz, Jorddy Neves. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521714.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35205-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1032. 
Cover image for Surgically Facilitated Orthodontic Therapy An Interdisciplinary Approach
Surgically Facilitated Orthodontic Therapy An Interdisciplinary Approach
Author 
Mandelaris, George A. editor. Vence, Brian S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521716.1)
Electronic Access 
https://doi.org/10.1007/978-3-030-90099-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1033. 
Cover image for Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings
Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings
Author 
Conte, Donatello. editor. Fred, Ana. editor. Gusikhin, Oleg. editor. Sansone, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520436.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39059-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1034. 
Cover image for Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6-7, 2023, Revised Selected Papers
Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6-7, 2023, Revised Selected Papers
Author 
Chaubey, Nirbhay. editor. Thampi, Sabu M. editor. Jhanjhi, Noor Zaman. editor. Parikh, Satyen. editor. Amin, Kiran. editor.
Preferred Shelf Number 
XX(520447.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40564-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1035. 
Cover image for Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Author 
Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Preferred Shelf Number 
XX(520586.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1036. 
Cover image for Optimization Methods for Product and System Design
Optimization Methods for Product and System Design
Author 
Kulkarni, Anand J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520587.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1521-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1037. 
Cover image for Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers
Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers
Author 
Pan, Linqiang. editor. Zhao, Dongming. editor. Li, Lianghao. editor. Lin, Jianqing. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520407.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1549-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1038. 
Cover image for Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Author 
Hyytiä, Esa. editor. Kavitha, Veeraruna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520408.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31234-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1039. 
Cover image for Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings
Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings
Author 
Yang, Hongming. editor. Fei, Jiang. editor. Qiang, Tang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520410.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31733-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1040. 
Cover image for Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings
Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings
Author 
Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520720.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-46739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1041. 
Cover image for Telematics and Computing 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023, Proceedings
Telematics and Computing 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023, Proceedings
Author 
Mata-Rivera, Miguel Félix. editor. Zagal-Flores, Roberto. editor. Barria-Huidobro, Cristian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520728.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45316-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1042. 
Cover image for Intelligent Reflecting Surface-Aided Physical-Layer Security
Intelligent Reflecting Surface-Aided Physical-Layer Security
Author 
Shu, Feng. author. Wang, Jiangzhou. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520702.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41812-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1043. 
Cover image for Image and Graphics Technologies and Applications 18th Chinese Conference, IGTA 2023, Beijing, China, August 17-19, 2023, Revised Selected Papers
Image and Graphics Technologies and Applications 18th Chinese Conference, IGTA 2023, Beijing, China, August 17-19, 2023, Revised Selected Papers
Author 
Yongtian, Wang. editor. Lifang, Wu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520718.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7549-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1044. 
Cover image for Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Author 
Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520822.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26553-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1045. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Author 
Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520839.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1046. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520840.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1047. 
Cover image for Numerical Methods and Applications 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings
Numerical Methods and Applications 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings
Author 
Georgiev, Ivan. editor. Datcheva, Maria. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520863.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32412-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1048. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Author 
Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number 
XX(520931.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29927-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1049. 
Cover image for Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers
Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers
Author 
Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520933.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27199-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1050. 
Cover image for Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers
Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers
Author 
Sleptchenko, Andrei. editor. Sifaleras, Angelo. editor. Hansen, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520951.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34500-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1051. 
Cover image for Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings
Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings
Author 
Genova, Daniela. editor. Kari, Jarkko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520956.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34034-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1052. 
Cover image for Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I
Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I
Author 
Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.
Preferred Shelf Number 
XX(520963.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38857-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1053. 
Cover image for Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part II
Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part II
Author 
Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.
Preferred Shelf Number 
XX(520964.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39504-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1054. 
Cover image for Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Author 
Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520965.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1055. 
Cover image for Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Author 
Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521122.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41620-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1056. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part III
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521009.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1057. 
Cover image for Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I
Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I
Author 
De Paolis, Lucio Tommaso. editor. Arpaia, Pasquale. editor. Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521124.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43401-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1058. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521127.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1059. 
Cover image for Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Author 
Iida, Fumiya. editor. Maiolino, Perla. editor. Abdulali, Arsen. editor. Wang, Mingfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521131.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43360-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1060. 
Cover image for Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings
Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings
Author 
Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521132.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42697-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1061. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Author 
Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521144.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42921-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1062. 
Cover image for Social, Cultural, and Behavioral Modeling 16th International Conference, SBP-BRiMS 2023, Pittsburgh, PA, USA, September 20-22, 2023, Proceedings
Social, Cultural, and Behavioral Modeling 16th International Conference, SBP-BRiMS 2023, Pittsburgh, PA, USA, September 20-22, 2023, Proceedings
Author 
Thomson, Robert. editor. (orcid) Al-khateeb, Samer. editor. Burger, Annetta. editor. Park, Patrick. editor. A. Pyke, Aryn. editor.
Preferred Shelf Number 
XX(521145.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43129-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1063. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Author 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521180.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1064. 
Cover image for Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings
Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings
Author 
Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521187.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32883-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1065. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part II
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part II
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521232.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6486-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1066. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521240.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1067. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VIII
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VIII
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521241.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1068. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521247.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1069. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521252.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6483-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1070. 
Cover image for Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers
Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers
Author 
Sellmann, Meinolf. editor. Tierney, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521260.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44505-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1071. 
Cover image for Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II
Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II
Author 
Xu, Yuan. editor. Yan, Hongyang. editor. Teng, Huang. editor. Cai, Jun. editor. Li, Jin. editor.
Preferred Shelf Number 
XX(521284.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-20099-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1072. 
Cover image for Workplace Wellness: From Resiliency to Suicide Prevention and Grief Management A Practical Guide to Supporting Healthcare Professionals
Workplace Wellness: From Resiliency to Suicide Prevention and Grief Management A Practical Guide to Supporting Healthcare Professionals
Author 
Davidson, Judy E. editor. Richardson, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521501.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-16983-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1073. 
Cover image for Explosive Blast Injuries Principles and Practices
Explosive Blast Injuries Principles and Practices
Author 
Wang, Zhengguo. editor. Jiang, Jianxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521636.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-2856-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1074. 
Cover image for Computational Biomechanics for Medicine Towards Automation and Robustness of Computations in the Clinic
Computational Biomechanics for Medicine Towards Automation and Robustness of Computations in the Clinic
Author 
Nash, Martyn P. editor. Wittek, Adam. editor. Nielsen, Poul M. F. editor. Kobielarz, Magdalena. editor. Babu, Anju R. editor.
Preferred Shelf Number 
XX(521800.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34906-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1075. 
Cover image for Character Building and Competence Development in Medical and Health Professions Education The First Biennial Indonesian Medical and Health Professions Education Conference
Character Building and Competence Development in Medical and Health Professions Education The First Biennial Indonesian Medical and Health Professions Education Conference
Author 
Claramita, Mora. editor. Soemantri, Diantha. editor. Hidayah, Rachmadya Nur. editor. Findyartini, Ardi. editor. Samarasekera, Dujeepa D. editor.
Preferred Shelf Number 
XX(521950.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-4573-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1076. 
Cover image for Functional Anatomy of the Brain: A View from the Surgeon's Eye
Functional Anatomy of the Brain: A View from the Surgeon's Eye
Author 
Shah, Abhidha. editor. Goel, Atul. editor. Kato, Yoko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521997.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-3412-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1077. 
Cover image for Percutaneous Renal Surgery
Percutaneous Renal Surgery
Author 
Denstedt, John D. editor. Liatsikos, Evangelos N. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(522043.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40542-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1078. 
Cover image for NX simcenter yapısal analiz modelleme simülasyon ve uygulamaları
NX simcenter yapısal analiz modelleme simülasyon ve uygulamaları
Author 
Atagün, Cahit.
Preferred Shelf Number 
TA640 A834 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
1079. 
Cover image for Benzetim ve modelleme : Simülasyon-model kuram-sistem simülasyonu
Benzetim ve modelleme : Simülasyon-model kuram-sistem simülasyonu
Author 
Ersöz, Filiz.
Preferred Shelf Number 
T57.6 E776 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
1080. 
Cover image for Computational modelling of nanoparticles
Computational modelling of nanoparticles
Author 
Bromley, Stefan T., 1971- editor. Woodley, Scott M., editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/bookseries/18762778/12
Format: 
Availability 
Online Library~1
Available:
Copies:
1081. 
Cover image for Computational methods and algorithms for medicine and optimized clinical practice
Computational methods and algorithms for medicine and optimized clinical practice
Author 
Chui, Kwok Tai, editor. Lytras, Miltiadis D., 1973- editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8244-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1082. 
Cover image for Ray Tracing: A Tool for All
Ray Tracing: A Tool for All
Author 
Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17490-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1083. 
Cover image for Effective Model-Based Systems Engineering
Effective Model-Based Systems Engineering
Author 
Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95669-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1084. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1085. 
Cover image for Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
Author 
Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37262-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1086. 
Cover image for Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings
Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings
Author 
Jin, Jiyu. editor. Li, Peng. editor. Fan, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21730-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1087. 
Cover image for Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II
Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II
Author 
Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36405-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1088. 
Cover image for Recent Trends in Signal and Image Processing ISSIP 2017
Recent Trends in Signal and Image Processing ISSIP 2017
Author 
Bhattacharyya, Siddhartha. editor. Mukherjee, Anirban. editor. Bhaumik, Hrishikesh. editor. Das, Swagatam. editor. Yoshida, Kaori. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8863-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1089. 
Cover image for Pervasive Computing: A Networking Perspective and Future Directions
Pervasive Computing: A Networking Perspective and Future Directions
Author 
Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3462-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1090. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1091. 
Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1092. 
Cover image for Handbook of Model Predictive Control
Handbook of Model Predictive Control
Author 
Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77489-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1093. 
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:
1094. 
Cover image for Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings
Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings
Author 
Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1095. 
Cover image for BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties
BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties
Author 
Cacuci, Dan Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58395-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1096. 
Cover image for Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
Author 
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 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-23703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1097. 
Cover image for New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
Author 
Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93488-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1098. 
Cover image for Mathematical Insights into Advanced Computer Graphics Techniques
Mathematical Insights into Advanced Computer Graphics Techniques
Author 
Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2850-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1099. 
Cover image for New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
Author 
Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23073-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1100. 
Cover image for Transient Effects in Simulations of Hybrid Electric Drivetrains
Transient Effects in Simulations of Hybrid Electric Drivetrains
Author 
Winke, Florian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-22554-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1101. 
Cover image for Global algorithmic capital markets : high frequency trading, dark pools, and regulatory challenges
Global algorithmic capital markets : high frequency trading, dark pools, and regulatory challenges
Author 
Mattli, Walter.
Preferred Shelf Number 
HG4523 G555 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
1102. 
Cover image for Exploring the cognitive, social, cultural, and psychological aspects of gaming and simulations
Exploring the cognitive, social, cultural, and psychological aspects of gaming and simulations
Author 
Dubbels, Brock Randall, editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7461-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1103. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
Author 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27538-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1104. 
Cover image for Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering
Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering
Author 
Wang, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6484-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1105. 
Cover image for Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II
Author 
Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19156-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1106. 
Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1107. 
Cover image for Practice of Optimisation Theory in Geotechnical Engineering
Practice of Optimisation Theory in Geotechnical Engineering
Author 
Yin, Zhen-Yu. author. Jin, Yin-Fu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1108. 
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:
1109. 
Cover image for Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
Author 
Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12203-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1110. 
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:
1111. 
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1112. 
Cover image for IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings
IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings
Author 
Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14657-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1113. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1114. 
Cover image for The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
Author 
Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-9802-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1115. 
Cover image for Modeling and Application of Flexible Electronics Packaging
Modeling and Application of Flexible Electronics Packaging
Author 
Huang, YongAn. author. Yin, Zhouping. author. Wan, Xiaodong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1116. 
Cover image for MATLAB-based finite element programming in electromagnetic modeling
MATLAB-based finite element programming in electromagnetic modeling
Author 
Özgün, Özlem. Kuzuoğlu, Mustafa.
Preferred Shelf Number 
QC760 O94 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
1117. 
Cover image for Handbook of research on immersive digital games in educational environments
Handbook of research on immersive digital games in educational environments
Author 
Krassmann, Aliane Loureiro, 1985- editor. Amaral, Erico Marcelo Hoff do, editor. Nunes, Felipe Becker, editor. Voss, Gleizer Bierhalz, editor. Zunguze, Manuel Constantino, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5790-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1118. 
Cover image for Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering
Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering
Author 
Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02399-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1119. 
Cover image for Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I
Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I
Author 
Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22968-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1120. 
Cover image for Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
Author 
Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19153-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1121. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI
Author 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27529-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1122. 
Cover image for Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
Author 
Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23597-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1123. 
Cover image for VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
Author 
Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05819-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1124. 
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:
1125. 
Cover image for Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018
Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018
Author 
Bhattacharyya, Siddhartha. editor. Pal, Sankar K. editor. Pan, Indrajit. editor. Das, Abhijit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6783-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1126. 
Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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 
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1127. 
Cover image for Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret
Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret
Author 
Warnow, Tandy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1128. 
Cover image for The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
Author 
Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6194-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1129. 
Cover image for Neural Modeling of Speech Processing and Speech Learning An Introduction
Neural Modeling of Speech Processing and Speech Learning An Introduction
Author 
Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15853-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1130. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1131. 
Cover image for Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA
Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA
Author 
Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94196-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1132. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V
Author 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27541-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1133. 
Cover image for Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany
Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany
Author 
Behrisch, Michael. editor. Weber, Melanie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33616-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1134. 
Cover image for Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers
Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers
Author 
Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14273-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1135. 
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:
1136. 
Cover image for Bioinformatics: Sequences, Structures, Phylogeny
Bioinformatics: Sequences, Structures, Phylogeny
Author 
Shanker, Asheesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1562-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1137. 
Cover image for Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
Author 
Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90802-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1138. 
Cover image for Reliability Aspect of Cloud Computing Environment
Reliability Aspect of Cloud Computing Environment
Author 
Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3023-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1139. 
Cover image for Honeypot Frameworks and Their Applications: A New Framework
Honeypot Frameworks and Their Applications: A New Framework
Author 
NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7739-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1140. 
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:
1141. 
Cover image for VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
Author 
Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68195-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1142. 
Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Author 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1143. 
Cover image for Systems Analysis Approach for Complex Global Challenges
Systems Analysis Approach for Complex Global Challenges
Author 
Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71486-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1144. 
Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Author 
Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1145. 
Cover image for Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield
Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield
Author 
Stepney, Susan. author. Polack, Fiona A.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1146. 
Cover image for 5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Author 
Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72823-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1147. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1148. 
Cover image for Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17
Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17
Author 
Zhu, Quanmin. editor. Na, Jing. editor. Wu, Xing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7212-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1149. 
Cover image for Nature Inspired Computing Proceedings of CSI 2015
Nature Inspired Computing Proceedings of CSI 2015
Author 
Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1150. 
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:
1151. 
Cover image for Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach
Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach
Author 
Fernández de Cañete, J. author. Galindo, C. author. Barbancho, J. author. Luque, A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75717-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1152. 
Cover image for Fuzzy Graph Theory with Applications to Human Trafficking
Fuzzy Graph Theory with Applications to Human Trafficking
Author 
Mordeson, John N. author. Mathew, Sunil. author. Malik, Davender S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76454-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1153. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74718-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1154. 
Cover image for Multi-layer Pavement System under Blast Load
Multi-layer Pavement System under Blast Load
Author 
Wu, Jun. author. Wu, Hao. author. Tan, Hong Wei Andy. author. Chew, Soon Hoe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5001-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1155. 
Cover image for Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016
Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016
Author 
Singh, Sanjay. editor. Raj, Pushkar. editor. Tambe, Samir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5849-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1156. 
Cover image for Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Author 
Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1157. 
Cover image for Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
Author 
Deng, Xiaotie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99660-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1158. 
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 I
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 I
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-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1159. 
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:
1160. 
Cover image for Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
Author 
Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66628-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1161. 
Cover image for Finite Element Applications A Practical Guide to the FEM Process
Finite Element Applications A Practical Guide to the FEM Process
Author 
Okereke, Michael. author. Keates, Simeon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67125-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1162. 
Cover image for Neural Networks for Cooperative Control of Multiple Robot Arms
Neural Networks for Cooperative Control of Multiple Robot Arms
Author 
Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7037-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1163. 
Cover image for New Perspectives on Applied Industrial Tools and Techniques
New Perspectives on Applied Industrial Tools and Techniques
Author 
García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56871-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1164. 
Cover image for Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050
Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050
Author 
Le Mouël, Chantal. editor. Schmitt, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-024-1563-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1165. 
Cover image for Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia
Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia
Author 
Kryzhanovsky, Boris. editor. Dunin-Barkowski, Witali. editor. Redko, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66604-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1166. 
Cover image for Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
Author 
Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1167. 
Cover image for The Test and Launch Control Technology for Launch Vehicles
The Test and Launch Control Technology for Launch Vehicles
Author 
Song, Zhengyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8712-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1168. 
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:
1169. 
Cover image for Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Hoffman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60747-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1170. 
Cover image for Encyclopedia of Social Network Analysis and Mining
Encyclopedia of Social Network Analysis and Mining
Author 
Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-7131-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1171. 
Cover image for Exploring Occupant Behavior in Buildings Methods and Challenges
Exploring Occupant Behavior in Buildings Methods and Challenges
Author 
Wagner, Andreas. editor. O’Brien, William. editor. Dong, Bing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61464-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1172. 
Cover image for Stochastic Finite Element Methods An Introduction
Stochastic Finite Element Methods An Introduction
Author 
Papadopoulos, Vissarion. author. Giovanis, Dimitris G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64528-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1173. 
Cover image for Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
Author 
Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54490-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1174. 
Cover image for Automatic Tuning of Compilers Using Machine Learning
Automatic Tuning of Compilers Using Machine Learning
Author 
Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71489-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1175. 
Cover image for Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
Author 
Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66625-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1176. 
Cover image for Bone Adaptation In Silico Approach
Bone Adaptation In Silico Approach
Author 
Kameo, Yoshitaka. author. Tsubota, Ken-ichi. author. Adachi, Taiji. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-56514-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1177. 
Cover image for Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480
Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480
Author 
Biermann, D. editor. Hollmann, F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57120-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1178. 
Cover image for Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I
Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I
Author 
Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73564-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1179. 
Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Author 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1180. 
Cover image for Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Author 
Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72652-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1181. 
Cover image for Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II
Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II
Author 
Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73447-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1182. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Author 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1183. 
Cover image for Computer Simulations of Space Societies
Computer Simulations of Space Societies
Author 
Bainbridge, William Sims. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90560-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1184. 
Cover image for Modeling Discrete-Event Systems with GPenSIM An Introduction
Modeling Discrete-Event Systems with GPenSIM An Introduction
Author 
Davidrajuh, Reggie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73102-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1185. 
Cover image for Applied Scientific Computing With Python
Applied Scientific Computing With Python
Author 
Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1186. 
Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94779-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1187. 
Cover image for 3D Kinematics
3D Kinematics
Author 
Haslwanter, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75277-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1188. 
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:
1189. 
Cover image for Handbook of Dynamic Data Driven Applications Systems
Handbook of Dynamic Data Driven Applications Systems
Author 
Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95504-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1190. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1191. 
Cover image for Real-Time Modelling and Processing for Communication Systems Applications and Practices
Real-Time Modelling and Processing for Communication Systems Applications and Practices
Author 
Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72215-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1192. 
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:
1193. 
Cover image for Simulations for Design and Manufacturing Select Papers from AIMTDR 2016
Simulations for Design and Manufacturing Select Papers from AIMTDR 2016
Author 
Dixit, Uday S. editor. Kant, Ravi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8518-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1194. 
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:
1195. 
Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Author 
de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90089-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1196. 
Cover image for New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)
New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)
Author 
Doroftei, Ioan. editor. Oprisan, Cezar. editor. Pisla, Doina. editor. Lovasz, Erwin Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-79111-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1197. 
Cover image for Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
Author 
Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93764-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1198. 
Cover image for Computational Models of Rhythm and Meter
Computational Models of Rhythm and Meter
Author 
Boenn, Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76285-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1199. 
Cover image for Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I
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-78130-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1200. 
Cover image for Probability and Statistics for Computer Science
Probability and Statistics for Computer Science
Author 
Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets