|
|
|
Theory and Applications of Satisfiability Testing - SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings / edited by Serge Gaspers, Toby Walsh.
by Gaspers, Serge [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Logistics [electronic resource] : 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1-3, 2018, Proceedings / edited by Raffaele Cerulli, Andrea Raiconi, Stefan Voß.
by Cerulli, Raffaele [editor.] | Raiconi, Andrea [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings / edited by T.V. Gopal, Junzo Watada.
by Gopal, T.V [editor.] | Watada, Junzo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Evolution [electronic resource] : 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers / edited by Pierrick Legrand, Marc-Michel Corsini, Jin-Kao Hao, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer.
by Legrand, Pierrick [editor.] | Corsini, Marc-Michel [editor.] | Hao, Jin-Kao [editor.] | Monmarché, Nicolas [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella.
by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Optimization [electronic resource] : 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers / edited by Jon Lee, Giovanni Rinaldi, A. Ridha Mahjoub.
by Lee, Jon [editor.] | Rinaldi, Giovanni [editor.] | Mahjoub, A. Ridha [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning and Knowledge Discovery in Databases. Research Track [electronic resource] : European Conference, ECML PKDD 2021, Bilbao, Spain, September 13-17, 2021, Proceedings, Part III / edited by Nuria Oliver, Fernando Pérez-Cruz, Stefan Kramer, Jesse Read, Jose A. Lozano.
by Oliver, Nuria [editor.] | Pérez-Cruz, Fernando [editor.] | Kramer, Stefan [editor.] | Read, Jesse [editor.] | Lozano, Jose A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Metaheuristics [electronic resource] : 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings / edited by Luca Di Gaspero, Paola Festa, Amir Nakib, Mario Pavone.
by Di Gaspero, Luca [editor.] | Festa, Paola [editor.] | Nakib, Amir [editor.] | Pavone, Mario [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Optimization [electronic resource] : 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers / edited by Ivana Ljubić, Francisco Barahona, Santanu S. Dey, A. Ridha Mahjoub.
by Ljubić, Ivana [editor.] | Barahona, Francisco [editor.] | Dey, Santanu S [editor.] | Mahjoub, A. Ridha [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings / edited by Alberto Del Pia, Volker Kaibel.
by Del Pia, Alberto [editor.] | Kaibel, Volker [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Rough Sets and Knowledge Technology [electronic resource] : 9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014, Proceedings / edited by Duoqian Miao, Witold Pedrycz, Dominik Ślȩzak, Georg Peters, Qinghua Hu, Ruizhi Wang.
by Miao, Duoqian [editor.] | Pedrycz, Witold [editor.] | Ślȩzak, Dominik [editor.] | Peters, Georg [editor.] | Hu, Qinghua [editor.] | Wang, Ruizhi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings / edited by Vicenc Torra, Torra Narukawa.
by Torra, Vicenc [editor.] | Narukawa, Torra [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings / edited by Laurent Perron, Michael A. Trick.
by Perron, Laurent [editor.] | Trick, Michael A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers / edited by Roberto Solis-Oba, Rudolf Fleischer.
by Solis-Oba, Roberto [editor.] | Fleischer, Rudolf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Algorithms [electronic resource] : 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers / edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
by Brankovic, Ljiljana [editor.] | Ryan, Joe [editor.] | Smyth, William F [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms for Computational Biology [electronic resource] : 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28-30, 2019, Proceedings / edited by Ian Holmes, Carlos Martín-Vide, Miguel A. Vega-Rodríguez.
by Holmes, Ian [editor.] | Martín-Vide, Carlos [editor.] | Vega-Rodríguez, Miguel A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings / edited by Sergio Rajsbaum, Alkida Balliu, Joshua J. Daymude, Dennis Olivetti.
by Rajsbaum, Sergio [editor.] | Balliu, Alkida [editor.] | Daymude, Joshua J [editor.] | Olivetti, Dennis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computers and Games [electronic resource] : International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers / edited by Cameron Browne, Akihiro Kishimoto, Jonathan Schaeffer.
by Browne, Cameron [editor.] | Kishimoto, Akihiro [editor.] | Schaeffer, Jonathan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part II / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
