Limit Search Results
Author
SpringerLink (Online service)
(30)
Khachay, Michael. editor. (orcid)
(3)
Blumenfeld, Dennis., author.
(2)
Eremeev, Anton. editor. (orcid)
(2)
Kall, Peter. author.
(2)
Language
Publication Date
-
Subject
Mathematical optimization.
(12)
Mathematics.
(9)
Operations research.
(8)
Distribution (Probability theory).
(6)
Dynamic programming.
(5)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
55 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Author 
Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers
Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers
Author 
Singer, Jeremy. editor. Elkhatib, Yehia. editor. Blanco Heras, Dora. editor. Diehl, Patrick. editor. (orcid) Brown, Nick. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31209-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Dynamic system modelling and analysis with MATLAB and Python : for control engineers
Dynamic system modelling and analysis with MATLAB and Python : for control engineers
Author 
Kim, Jongrae, author.
Preferred Shelf Number 
QA76.9 .S88 K54 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119801658
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Optimization for learning and control
Optimization for learning and control
Author 
Hansson, Anders, author. Andersen, Martin S., author.
Preferred Shelf Number 
T57.62 .H43 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119809180
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reinforcement learning and stochastic optimization : a unified framework for sequential decisions
Reinforcement learning and stochastic optimization : a unified framework for sequential decisions
Author 
Powell, Warren B., 1955- author.
Preferred Shelf Number 
Q325.6 .P69 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119815068
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Using R for Numerical Analysis in Science and Engineering
Using R for Numerical Analysis in Science and Engineering
Author 
Bloomfield, Victor A., author. Taylor and Francis.
Preferred Shelf Number 
 Q183.9
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Non-cooperative Stochastic Differential Game Theory of Generalized Markov Jump Linear Systems
Non-cooperative Stochastic Differential Game Theory of Generalized Markov Jump Linear Systems
Author 
Zhang, Cheng-ke. author. Zhou, Hai-ying. author. Zhu, Huai-nian. author. Bin, Ning. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40587-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers
Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers
Author 
Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802 Fujishige, Satoru. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45587-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets