Limit Search Results
Author
SpringerLink (Online service)
(61)
Taylor and Francis.
(3)
Garau, Chiara. editor. (orcid)
(2)
Gervasi, Osvaldo. editor. (orcid)
(2)
Jünger, Michael. editor.
(2)
Language
Publication Date
-
Subject
Mathematical optimization.
(15)
Computational complexity.
(12)
Computer science.
(12)
Electronic books.
(11)
Mathematics.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
123 Results Found Subscribe to search results
000000000000DEFAULT
Print
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Combinatorial Algorithms 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings
Combinatorial Algorithms 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings
Author 
Hsieh, Sun-Yuan. editor. Hung, Ling-Ju. editor. Lee, Chia-Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34347-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings
Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings
Author 
Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34671-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for KI 2023: Advances in Artificial Intelligence 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings
KI 2023: Advances in Artificial Intelligence 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings
Author 
Seipel, Dietmar. editor. Steen, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42608-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I
Author 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44207-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers
Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers
Author 
Sellmann, Meinolf. editor. Tierney, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44505-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Author 
García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings
Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings
Author 
Emmerich, Michael. editor. Deutz, André. editor. Wang, Hao. editor. Kononova, Anna V. editor. Naujoks, Boris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27250-9
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Author 
Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52038-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for 2021 International Conference on Security and Information Technologies with AI, Internet Computing and Big-data Applications
2021 International Conference on Security and Information Technologies with AI, Internet Computing and Big-data Applications
Author 
Tsihrintzis, George A. editor. Wang, Shiuh-Jeng. editor. Lin, Iuon-Chang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-05491-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Advanced, Contemporary Control Proceedings of the XXI Polish Control Conference, Gliwice, Poland, 2023. Volume 1
Advanced, Contemporary Control Proceedings of the XXI Polish Control Conference, Gliwice, Poland, 2023. Volume 1
Author 
Pawelczyk, Marek. editor. Bismor, Dariusz. editor. Ogonowski, Szymon. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35170-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action