Limit Search Results
Author
SpringerLink (Online service)
(61)
Wiley InterScience (Online service)
(5)
Taylor and Francis.
(4)
Blumenfeld, Dennis., author.
(2)
Kall, Peter. author.
(2)
Language
Publication Date
-
Subject
DOĞRUSAL PROGRAMLAMA.
(33)
Linear programming.
(30)
Electronic books.
(28)
Mathematical optimization.
(28)
Operations research.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
205 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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 II
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 II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-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 Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Author 
Pérez Cáceres, Leslie. editor. Stützle, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30035-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Author 
Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29927-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings
Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings
Author 
Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7254-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
Author 
Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
Cover image for Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)
Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)
Author 
Wagner, Gerd. editor. Werner, Frank. editor. Oren, Tuncer. editor. De Rango, Floriano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23149-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Recent Advances in Materials Processing and Characterization Select Proceedings of ICMPC 2021
Recent Advances in Materials Processing and Characterization Select Proceedings of ICMPC 2021
Author 
Arockiarajan, A. editor. Duraiselvam, M. editor. Raju, Ramesh. editor. Reddy, N. Subba. editor. Satyanarayana, K. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5347-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action