Limit Search Results
Author
SpringerLink (Online service)
(64)
Meng, Weixiao. editor.
(4)
Ju, Zhaojie. editor.
(3)
Liu, Jinguo. editor.
(3)
Liu, Lianqing. editor.
(3)
Language
Subject
Computer simulation.
(62)
Computers.
(13)
Software engineering.
(13)
Artificial intelligence.
(10)
Computer communication systems.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
81 Results Found Subscribe to search results
000000000000DEFAULT
Print
781. 
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:
782. 
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:
783. 
Cover image for Simulation for Industry 4.0 Past, Present, and Future
Simulation for Industry 4.0 Past, Present, and Future
Author 
Gunal, Murat M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04137-3
Format: 
Availability 
Online Library~1
Available:
Copies:
784. 
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:
785. 
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:
786. 
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:
787. 
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:
788. 
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:
789. 
Cover image for Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
Author 
Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14984-0
Format: 
Availability 
Online Library~1
Available:
Copies:
790. 
Cover image for OPNET IoT Simulation
OPNET IoT Simulation
Author 
Chen, Min. author. Miao, Yiming. author. Humar, Iztok. author. (orcid)0000-0002-4940-3500 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-32-9170-6
Format: 
Availability 
Online Library~1
Available:
Copies:
791. 
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:
792. 
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:
Select an Action