Search Results for Integer programming.

1.

Cover image for Integer Programming and Combinatorial Optimization 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

Integer Programming and Combinatorial Optimization 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

Author

Del Pia, Alberto. editor. Kaibel, Volker. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520869.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32726-1

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

Cover image for Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

Author

Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520720.1)

Electronic Access

https://doi.org/10.1007/978-3-031-46739-4

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

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:

6.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part III

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521009.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37111-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

XX(521260.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44505-7

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

XX(521275.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47115-5

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

XX(521307.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40725-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

XX(521411.1)

Electronic Access

https://doi.org/10.1007/978-3-031-52038-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Linear Programming Computation

Author

PAN, Ping-Qi. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520554.1)

Electronic Access

https://doi.org/10.1007/978-981-19-0147-8

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}