|
|
|
Web and Internet Economics [electronic resource] : 18th International Conference, WINE 2022, Troy, NY, USA, December 12-15, 2022, Proceedings / edited by Kristoffer Arnsfelt Hansen, Tracy Xiao Liu, Azarakhsh Malekian.
by Hansen, Kristoffer Arnsfelt [editor.] | Liu, Tracy Xiao [editor.] | Malekian, Azarakhsh [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
|
|
|
|
Advances in Neural Networks - ISNN 2024 [electronic resource] : 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings / edited by Xinyi Le, Zhijun Zhang.
by Le, Xinyi [editor.] | Zhang, Zhijun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmics of Wireless Networks [electronic resource] : 18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, Potsdam, Germany, September 8-9, 2022, Proceedings / edited by Thomas Erlebach, Michael Segal.
by Erlebach, Thomas [editor.] | Segal, Michael [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
|
|
|
|
Guide to Software Verification with Frama-C [electronic resource] : Core Components, Usages, and Applications / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles.
by Kosmatov, Nikolai [editor.] | Prevosto, Virgile [editor.] | Signoles, Julien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Optimization [electronic resource] : Principles, Algorithms and Applications / by Changhe Li, Shoufei Han, Sanyou Zeng, Shengxiang Yang.
by Li, Changhe [author.] | Han, Shoufei [author.] | Zeng, Sanyou [author.] | Yang, Shengxiang [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Rough Sets and Knowledge Technology [electronic resource] : 10th International Conference, RSKT 2015, Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin, China, November 20-23, 2015, Proceedings / edited by Davide Ciucci, Guoyin Wang, Sushmita Mitra, Wei-Zhi Wu.
by Ciucci, Davide [editor.] | Wang, Guoyin [editor.] | Mitra, Sushmita [editor.] | Wu, Wei-Zhi [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
|
|
|
|
SOFSEM 2023: Theory and Practice of Computer Science [electronic resource] : 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings / edited by Leszek Gąsieniec.
by Gąsieniec, Leszek [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
|
|
|
|
High Performance Computing in Science and Engineering [electronic resource] : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / edited by Tomáš Kozubek, Radim Blaheta, Jakub Šístek, Miroslav Rozložník, Martin Čermák.
by Kozubek, Tomáš [editor.] | Blaheta, Radim [editor.] | Šístek, Jakub [editor.] | Rozložník, Miroslav [editor.] | Čermák, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings / edited by Sheung-Hung Poon, Md. Saidur Rahman, Hsu-Chun Yen.
by Poon, Sheung-Hung [editor.] | Rahman, Md. Saidur [editor.] | Yen, Hsu-Chun [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
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022, Proceedings / edited by Karen Aardal, Laura Sanità.
by Aardal, Karen [editor.] | Sanità, Laura [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings / edited by Weizhi Meng, Rongxing Lu, Geyong Min, Jaideep Vaidya.
by Meng, Weizhi [editor.] | Lu, Rongxing [editor.] | Min, Geyong [editor.] | Vaidya, Jaideep [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings / edited by Domenico Salvagnin, Michele Lombardi.
by Salvagnin, Domenico [editor.] | Lombardi, Michele [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
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings / edited by Jules Desharnais, Walter Guttmann, Stef Joosten.
by Desharnais, Jules [editor.] | Guttmann, Walter [editor.] | Joosten, Stef [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
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / edited by Andrea Lodi, Viswanath Nagarajan.
by Lodi, Andrea [editor.] | Nagarajan, Viswanath [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
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings / edited by Alonso Castillo-Ramirez, Pedro P. B. de Oliveira.
by Castillo-Ramirez, Alonso [editor.] | de Oliveira, Pedro P. B [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
|
|
|
|
Combinatorial Algorithms [electronic resource] : 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, Proceedings / edited by Cristina Bazgan, Henning Fernau.
by Bazgan, Cristina [editor.] | Fernau, Henning [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
|
|
|
|
The Semantic Web [electronic resource] : 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings / edited by Paul Groth, Maria-Esther Vidal, Fabian Suchanek, Pedro Szekley, Pavan Kapanipathi, Catia Pesquita, Hala Skaf-Molli, Minna Tamper.
by Groth, Paul [editor.] | Vidal, Maria-Esther [editor.] | Suchanek, Fabian [editor.] | Szekley, Pedro [editor.] | Kapanipathi, Pavan [editor.] | Pesquita, Catia [editor.] | Skaf-Molli, Hala [editor.] | Tamper, Minna [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
|
|
|
|
Modular Algorithms in Symbolic Summation and Symbolic Integration [electronic resource] / by Jürgen Gerhard.
by Gerhard, Jürgen [author.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Frontiers of Algorithmics [electronic resource] : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings / edited by Minming Li, Xiaoming Sun, Xiaowei Wu.
by Li, Minming [editor.] | Sun, Xiaoming [editor.] | Wu, Xiaowei [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
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz.
by Aceto, Luca [editor.] | Damgaard, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldorsson, Magnus M [editor.] | Ingolfsdottir, Anna [editor.] | Walukiewicz, Igor [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
|
