Limit Search Results
Author
Dragan, Vasile. author.
(3)
Morozan, Toader. author.
(3)
Pardalos, Panos. editor.
(3)
Stoica, Adrian-Mihail. author.
(3)
Alfnes, Erlend. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
64 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Interacting Stochastic Systems
Interacting Stochastic Systems
Author 
Deuschel, Jean-Dominique. editor. Greven, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138629
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Stochastic Reachability Analysis of Hybrid Systems
Stochastic Reachability Analysis of Hybrid Systems
Author 
Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Stochastic Systems Uncertainty Quantification and Propagation
Stochastic Systems Uncertainty Quantification and Propagation
Author 
Grigoriu, Mircea. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2327-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Stochastic Approaches for Systems Biology
Stochastic Approaches for Systems Biology
Author 
Ullah, Mukhtar. author. Wolkenhauer, Olaf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0478-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Linearization Methods for Stochastic Dynamic Systems
Linearization Methods for Stochastic Dynamic Systems
Author 
Socha, Leslaw. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72997-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Stochastic Switching Systems Analysis and Design
Stochastic Switching Systems Analysis and Design
Author 
Boukas, El-Kébir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-8176-4452-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Stochastic Discrete Event Systems Modeling, Evaluation, Applications
Stochastic Discrete Event Systems Modeling, Evaluation, Applications
Author 
Zimmermann, Armin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74173-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Linear Systems Control Deterministic and Stochastic Methods
Linear Systems Control Deterministic and Stochastic Methods
Author 
Hendricks, Elbert. author. Jannerup, Ole. author. Sørensen, Paul Haase. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78486-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Stochastic Control of Hereditary Systems and Applications
Stochastic Control of Hereditary Systems and Applications
Author 
Chang, Mou-Hsiung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75816-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Numerical Methods for Controlled Stochastic Delay Systems
Numerical Methods for Controlled Stochastic Delay Systems
Author 
Kushner, Harold J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4621-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Average—Cost Control of Stochastic Manufacturing Systems
Average—Cost Control of Stochastic Manufacturing Systems
Author 
Sethi, Suresh P. author. Zhang, Hanqin. author. Zhang, Qing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27615-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Stochastic Reactive Distributed Robotic Systems Design, Modeling and Optimization
Stochastic Reactive Distributed Robotic Systems Design, Modeling and Optimization
Author 
Mermoud, Gregory. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02609-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints
Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints
Author 
Yüksel, Serdar. author. Başar, Tamer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332202.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7085-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Mathematical Methods in Robust Control of Linear Stochastic Systems
Mathematical Methods in Robust Control of Linear Stochastic Systems
Author 
Dragan, Vasile. author. Morozan, Toader. author. Stoica, Adrian-Mihail. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332439.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8663-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Optimal Control and Optimization of Stochastic Supply Chain Systems
Optimal Control and Optimization of Stochastic Supply Chain Systems
Author 
Song, Dong-Ping. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331044.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4724-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Nonlinear Stochastic Systems with Incomplete Information Filtering and Control
Nonlinear Stochastic Systems with Incomplete Information Filtering and Control
Author 
Shen, Bo. author. Wang, Zidong. author. Shu, Huisheng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4914-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Structured Controllers for Uncertain Systems A Stochastic Optimization Approach
Structured Controllers for Uncertain Systems A Stochastic Optimization Approach
Author 
Toscano, Rosario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331169.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5188-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Optimization, Control, and Applications of Stochastic Systems In Honor of Onésimo Hernández-Lerma
Optimization, Control, and Applications of Stochastic Systems In Honor of Onésimo Hernández-Lerma
Author 
Hernández-Hernández, Daniel. editor. Minjárez-Sosa, J. Adolfo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8337-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Introduction to Modeling and Analysis of Stochastic Systems
Introduction to Modeling and Analysis of Stochastic Systems
Author 
Kulkarni, V. G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1772-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems
Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems
Author 
Dragan, Vasile. author. Morozan, Toader. author. Stoica, Adrian-Mihail. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0630-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Max-Plus Linear Stochastic Systems and Perturbation Analysis
Max-Plus Linear Stochastic Systems and Perturbation Analysis
Author 
Heidergott, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-38995-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Nonlinear Dynamics of Chaotic and Stochastic Systems Tutorial and Modern Developments
Nonlinear Dynamics of Chaotic and Stochastic Systems Tutorial and Modern Developments
Author 
Anishchenko, Vadim S. author. Astakhov, Vladimir. author. Vadivasova, Tatjana. author. Neiman, Alexander. author. Schimansky-Geier, Lutz. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-38168-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Stochastic Modeling of Manufacturing Systems Advances in Design, Performance Evaluation, and Control Issues
Stochastic Modeling of Manufacturing Systems Advances in Design, Performance Evaluation, and Control Issues
Author 
Liberopoulos, George. editor. Papadopoulos, Chrissoleon T. editor. Tan, Barış. editor. Smith, J. M. editor. Gershwin, Stanley B. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29057-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Stochastic Hybrid Systems Theory and Safety Critical Applications
Stochastic Hybrid Systems Theory and Safety Critical Applications
Author 
Blom, Henk A. P. editor. Lygeros, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11587392
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Stochastic Processes, Optimization, and Control Theory: Applications in Financial Engineering, Queueing Networks, and Manufacturing Systems A Volume in Honor of Suresh Sethi
Stochastic Processes, Optimization, and Control Theory: Applications in Financial Engineering, Queueing Networks, and Manufacturing Systems A Volume in Honor of Suresh Sethi
Author 
Yan, Houmin. editor. Yin, George. editor. Zhang, Qing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-33815-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Mathematical Methods in Robust Control of Linear Stochastic Systems
Mathematical Methods in Robust Control of Linear Stochastic Systems
Author 
Dragan, Vasile. author. Morozan, Toader. author. Stoica, Adrian-Mihail. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35924-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Distributed Optimization in Networked Systems Algorithms and Applications
Distributed Optimization in Networked Systems Algorithms and Applications
Author 
Lü, Qingguo. author. Liao, Xiaofeng. author. Li, Huaqing. author. Deng, Shaojiang. author. Gao, Shanfu. author.
Preferred Shelf Number 
XX(520208.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-8559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
Cover image for Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Author 
Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520457.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34899-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Author 
Hyytiä, Esa. editor. Kavitha, Veeraruna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520408.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31234-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
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:
32. 
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 
XX(520797.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
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:
35. 
Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II
Author 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number 
XX(520549.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5847-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Author 
Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521302.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39764-6
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
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:
38. 
Cover image for Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Author 
Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Preferred Shelf Number 
XX(520315.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2356-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part I
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part I
Author 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number 
XX(520610.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43662-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV
Author 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number 
XX(520613.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43688-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Handbook of Dynamic Data Driven Applications Systems Volume 2
Handbook of Dynamic Data Driven Applications Systems Volume 2
Author 
Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520614.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27986-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520851.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30442-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
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:
45. 
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 
XX(521293.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31209-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
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:
49. 
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:
50. 
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:
51. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
Author 
Mathieu, Philippe. editor. Dignum, Frank. editor. Novais, Paulo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521300.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37616-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
Cover image for Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
Author 
Maler, Oded. editor. Halász, Ádám. editor. Dang, Thao. editor. Piazza, Carla. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518877.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27656-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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 
XX(518878.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518917.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Author 
Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518831.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Mora, Antonio M. editor. Squillero, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519015.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16549-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519046.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Author 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519065.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Author 
Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519119.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part I
Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part I
Author 
Cao, Tru. editor. Lim, Ee-Peng. editor. Zhou, Zhi-Hua. editor. Ho, Tu-Bao. editor. Cheung, David. editor.
Preferred Shelf Number 
XX(519229.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18038-0
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Author 
Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519279.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25393-0
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Author 
Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519311.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23129-7
Format: 
Availability 
Online Library~1
Available:
Copies: