Limit Search Results
Author
SpringerLink (Online service)
(157)
Li, Daoliang. editor.
(4)
Fei, Minrui. editor.
(3)
Gavrilova, Marina L. editor.
(3)
Gervasi, Osvaldo. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(90)
Software engineering.
(46)
Artificial intelligence.
(45)
Computer Communication Networks.
(24)
Computer software.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
186 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022
Author 
Sahni, Manoj. editor. Merigó, José M. editor. Hussain, Walayat. editor. León-Castro, Ernesto. editor. Verma, Raj Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9906-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Exscalate4CoV High-Performance Computing for COVID Drug Discovery
Exscalate4CoV High-Performance Computing for COVID Drug Discovery
Author 
Coletti, Silvano. editor. Bernardi, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30691-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Power-Based Study of Boundary Layer Ingestion for Aircraft Application
Power-Based Study of Boundary Layer Ingestion for Aircraft Application
Author 
Lv, Peijian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5497-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Application of Gray System Theory in Fishery Science
Application of Gray System Theory in Fishery Science
Author 
Chen, Xinjun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0635-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computational Methods for Biological Models
Computational Methods for Biological Models
Author 
Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5001-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Author 
Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70766-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
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:
10. 
Cover image for Modeling, Simulation, and Optimization
Modeling, Simulation, and Optimization
Author 
Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70542-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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:
Select an Action