Limit Search Results
Author
SpringerLink (Online service)
(38)
Pardalos, Panos M. author.
(3)
Du, Ding-Zhu. author.
(2)
Eremeev, Anton. editor. (orcid)0000-0001-5289-7874
(2)
Khachay, Michael. editor. (orcid)0000-0003-3555-0080
(2)
Language
Publication Date
-
Subject
Computer software.
(26)
Mathematics.
(16)
Computer science.
(15)
Algorithms.
(10)
Artificial intelligence.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Arithmetic Optimization Techniques for Hardware and Software Design
Arithmetic Optimization Techniques for Hardware and Software Design
Author 
Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Evolutionary large-scale multi-objective optimization and applications : integrating evolutionary computation, machine learning, and data science
Evolutionary large-scale multi-objective optimization and applications : integrating evolutionary computation, machine learning, and data science
Author 
Zhang, Xingyi (Software engineer), author. Cheng, Ran (Computer scientist), author. Tian, Ye (Associate professor), author. Jin, Yaochu, 1966- author.
Preferred Shelf Number 
QA402.5 .Z4193 2024 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394178445
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Proceedings of the International Conferences on Digital Technology Driven Engineering 2024 2nd International Conference on Optimization Driven Architectural Design (OPTARCH)
Proceedings of the International Conferences on Digital Technology Driven Engineering 2024 2nd International Conference on Optimization Driven Architectural Design (OPTARCH)
Author 
Lagaros, Nikos D. editor. (orcid)0000-0001-6114-9632 Alrousan, Rajai Z. editor. Abdalla, Khairedin M. editor. Phocas, Marios C. editor. Marano, Giuseppe Carlo. editor. (orcid)0000-0001-8472-2956
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92754-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings
Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings
Author 
Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97077-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings
Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings
Author 
Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Mazalov, Vladimir. editor. (orcid)0000-0003-2262-2620 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62792-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Optimization of Chemical Processes A Sustainable Perspective
Optimization of Chemical Processes A Sustainable Perspective
Author 
Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57270-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Hybrid Modeling and Simulation Conceptualizations, Methods and Applications
Hybrid Modeling and Simulation Conceptualizations, Methods and Applications
Author 
Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Hybrid genetic optimization for IC chips thermal control : with MATLAB applications
Hybrid genetic optimization for IC chips thermal control : with MATLAB applications
Author 
Karvinkoppa, Mathew, author. Hotta, Tapano Kumar, author.
Preferred Shelf Number 
TK7874
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781003188506
Taylor & Francis https://www.taylorfrancis.com/books/9781003188506
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Optimizations and programming : linear, nonlinear, dynamic, stochastic and applications with Matlab
Optimizations and programming : linear, nonlinear, dynamic, stochastic and applications with Matlab
Author 
El Hami, Abdelkhalak. Radi, Bouchaïb.
Preferred Shelf Number 
QA402.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119818243
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Methods for Safety and Security Case Studies for Aerospace Applications
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Author 
Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4121-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Parameter Advising for Multiple Sequence Alignment
Parameter Advising for Multiple Sequence Alignment
Author 
DeBlasio, Dan. author. Kececioglu, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64918-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action