Limit Search Results
Author
SpringerLink (Online service)
(64)
Dragan, Vasile. author.
(3)
Morozan, Toader. author.
(3)
Pardalos, Panos. editor.
(3)
Stoica, Adrian-Mihail. author.
(3)
Language
Publication Date
-
Subject
Distribution (Probability theory).
(15)
Mathematics.
(13)
Systems theory.
(13)
Engineering.
(10)
Stochastic systems.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
105 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
Cover image for Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings
Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings
Author 
Fang, Fei. editor. Xu, Haifeng. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520809.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26369-9
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I
Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I
Author 
Nicosia, Giuseppe. editor. Ojha, Varun. editor. La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos. editor.
Preferred Shelf Number 
XX(520891.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25599-1
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part II
Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part II
Author 
Nicosia, Giuseppe. editor. Ojha, Varun. editor. La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos. editor.
Preferred Shelf Number 
XX(520894.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25891-6
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings
Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings
Author 
Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. (orcid) Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number 
XX(521398.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35305-5
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520344.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
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 
XX(520949.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
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 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings
Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings
Author 
Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521118.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42250-8
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
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:
70. 
Cover image for Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Author 
Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521142.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43835-6
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
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:
72. 
Cover image for Guide to Simulation and Modeling for Biosciences
Guide to Simulation and Modeling for Biosciences
Author 
Barnes, David J. author. Chu, Dominique. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518671.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6762-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action