Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(35)
Jünger, Michael. editor.
(2)
Kaibel, Volker. editor.
(2)
Lee, Jon. editor.
(2)
Rinaldi, Giovanni. editor.
(2)
Dil
Yayın Yılı
-
Konu
Mathematical optimization.
(11)
Computational complexity.
(10)
Electronic books.
(10)
Integer programming.
(10)
Computer science.
(9)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
73 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings için kapak resmi
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Yazar 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings için kapak resmi
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Yazar 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Yazar 
Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52038-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023) için kapak resmi
Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)
Yazar 
Barolli, Leonard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35734-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023 için kapak resmi
Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023
Yazar 
Galizia, Francesco Gabriele. editor. Bortolini, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34821-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Handbook of intelligent computing and optimization for sustainable development için kapak resmi
Handbook of intelligent computing and optimization for sustainable development
Yazar 
Manshahia, Mukhdeep Singh, editor.
Yer Numarası 
Q335
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792642
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Probabilistic power system expansion planning with renewable energy resources and energy storage systems için kapak resmi
Probabilistic power system expansion planning with renewable energy resources and energy storage systems
Yazar 
Choi, Jaeseok, author. Lee, Kwang Y., author.
Yer Numarası 
TK3001 .C46 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119819042
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Multi-parametric optimization and control için kapak resmi
Multi-parametric optimization and control
Yazar 
Pistikopoulos, Efstratios N., author. Diangelakis, Nikolaos A., author. Oberdieck, Richard, author.
Yer Numarası 
QA402.5 .P57 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119265245
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Linear and convex optimization : a mathematical approach için kapak resmi
Linear and convex optimization : a mathematical approach
Yazar 
Veatch, Michael H., author. John Wiley & Sons, Ltd., publisher.
Yer Numarası 
A402.5 .V395 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119664079
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Optimizations and programming : linear, nonlinear, dynamic, stochastic and applications with Matlab için kapak resmi
Optimizations and programming : linear, nonlinear, dynamic, stochastic and applications with Matlab
Yazar 
El Hami, Abdelkhalak. Radi, Bouchaïb.
Yer Numarası 
QA402.5
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119818243
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Mathematical programming for power systems operation with Python applications için kapak resmi
Mathematical programming for power systems operation with Python applications
Yazar 
Garces, Alejandro, author.
Yer Numarası 
TK1005 .G37 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119747291
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
CAD of circuits and integrated systems için kapak resmi
CAD of circuits and integrated systems
Yazar 
Mahdoum, Ali.
Yer Numarası 
TK7874
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119751595
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç