|
|
|
Large-Scale Scientific Computations [electronic resource] : 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov.
by Lirkov, Ivan [editor.] | Margenov, Svetozar [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 Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Computing and Combinatorics [electronic resource] : 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022, Proceedings / edited by Yong Zhang, Dongjing Miao, Rolf Möhring.
by Zhang, Yong [editor.] | Miao, Dongjing [editor.] | Möhring, Rolf [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
|
|
|
|
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro Lopez-Ortiz, Venkatesh Raman, Alfredo Viola.
by Brodnik, Andrej [editor.] | Lopez-Ortiz, Alejandro [editor.] | Raman, Venkatesh [editor.] | Viola, Alfredo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Rough Sets and Current Trends in Computing [electronic resource] : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings / edited by Chris Cornelis, Marzena Kryszkiewicz, Dominik Slezak, Ernestina Menasalvas Ruiz, Rafael Bello, Lin Shang.
by Cornelis, Chris [editor.] | Kryszkiewicz, Marzena [editor.] | Slezak, Dominik [editor.] | Menasalvas Ruiz, Ernestina [editor.] | Bello, Rafael [editor.] | Shang, Lin [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
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [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
|
|
|
|
Artificial Intelligence for Knowledge Management, Energy and Sustainability [electronic resource] : 10th IFIP International Workshop on Artificial Intelligence for Knowledge Management, AI4KMES 2023, Krakow, Poland, September 30-October 1, 2023, Revised Selected Papers / edited by Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Abdul Wahid, Karl Mason.
by Mercier-Laurent, Eunika [editor.] | Kayakutlu, Gülgün [editor.] | Owoc, Mieczyslaw Lech [editor.] | Wahid, Abdul [editor.] | Mason, Karl [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 Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Metaheuristics [electronic resource] : 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I / edited by Marc Sevaux, Alexandru-Liviu Olteanu, Eduardo G. Pardo, Angelo Sifaleras, Salma Makboul.
by Sevaux, Marc [editor.] | Olteanu, Alexandru-Liviu [editor.] | Pardo, Eduardo G [editor.] | Sifaleras, Angelo [editor.] | Makboul, Salma [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 Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Algorithms [electronic resource] : 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings / edited by Adele Anna Rescigno, Ugo Vaccaro.
by Rescigno, Adele Anna [editor.] | Vaccaro, Ugo [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 Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II / edited by António Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello.
by Gaspar-Cunha, António [editor.] | Henggeler Antunes, Carlos [editor.] | Coello, Carlos Coello [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
|
|
|
|
Advances in Swarm and Computational Intelligence [electronic resource] : 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Fernando Buarque, Alexander Gelbukh, Swagatam Das, Andries Engelbrecht.
by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Buarque, Fernando [editor.] | Gelbukh, Alexander [editor.] | Das, Swagatam [editor.] | Engelbrecht, Andries [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
|
|
|
|
Metaheuristics [electronic resource] : 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II / edited by Marc Sevaux, Alexandru-Liviu Olteanu, Eduardo G. Pardo, Angelo Sifaleras, Salma Makboul.
by Sevaux, Marc [editor.] | Olteanu, Alexandru-Liviu [editor.] | Pardo, Eduardo G [editor.] | Sifaleras, Angelo [editor.] | Makboul, Salma [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 Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings / edited by Uli Fahrenberg, Peter Jipsen, Michael Winter.
by Fahrenberg, Uli [editor.] | Jipsen, Peter [editor.] | Winter, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online 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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
