|
|
|
Transactions on Petri Nets and Other Models of Concurrency XVII [electronic resource] / edited by Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo.
by Koutny, Maciej [editor.] | Bergenthum, Robin [editor.] | Ciardo, Gianfranco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Bioinspired Computation in Artificial Systems [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Fco. Javier Toledo-Moreo, Hojjat Adeli.
by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo-Moreo, Fco. Javier [editor.] | Adeli, Hojjat [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 Cryptology -- ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I / edited by Tetsu Iwata, Jung Hee Cheon.
by Iwata, Tetsu [editor.] | Cheon, Jung Hee [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
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann.
by Sheng, Bin [editor.] | Bi, Lei [editor.] | Kim, Jinman [editor.] | Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [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
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann.
by Sheng, Bin [editor.] | Bi, Lei [editor.] | Kim, Jinman [editor.] | Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [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
|
|
|
|
NASA Formal Methods [electronic resource] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier.
by Badger, Julia M [editor.] | Rozier, Kristin Yvonne [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
|
|
|
|
Advances in Computational Intelligence. MICAI 2023 International Workshops [electronic resource] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings / edited by Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, Efrén Mezura-Montes.
by Calvo, Hiram [editor.] | Martínez-Villaseñor, Lourdes [editor.] | Ponce, Hiram [editor.] | Zatarain Cabada, Ramón [editor.] | Montes Rivera, Martín [editor.] | Mezura-Montes, Efrén [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
|
|
|
|
Topics in Theoretical Computer Science [electronic resource] : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings / edited by Luís S. Barbosa, Mohammad Ali Abam.
by S. Barbosa, Luís [editor.] | Ali Abam, Mohammad [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
|
|
|
|
Parallel Problem Solving from Nature - PPSN XVI [electronic resource] : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I / edited by Thomas Bäck, Mike Preuss, André Deutz, Hao Wang, Carola Doerr, Michael Emmerich, Heike Trautmann.
by Bäck, Thomas [editor.] | Preuss, Mike [editor.] | Deutz, André [editor.] | Wang, Hao [editor.] | Doerr, Carola [editor.] | Emmerich, Michael [editor.] | Trautmann, Heike [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
|
|
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11-13, 2020, Proceedings / edited by Van-Nam Huynh, Tomoe Entani, Chawalit Jeenanunta, Masahiro Inuiguchi, Pisal Yenradee.
by Huynh, Van-Nam [editor.] | Entani, Tomoe [editor.] | Jeenanunta, Chawalit [editor.] | Inuiguchi, Masahiro [editor.] | Yenradee, Pisal [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings / edited by Marco Gribaudo, David N. Jansen, Anne Remke.
by Gribaudo, Marco [editor.] | Jansen, David N [editor.] | Remke, Anne [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
|
|
|
|
SOFSEM 2024: Theory and Practice of Computer Science [electronic resource] : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings / edited by Henning Fernau, Serge Gaspers, Ralf Klasing.
by Fernau, Henning [editor.] | Gaspers, Serge [editor.] | Klasing, Ralf [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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017, Proceedings / edited by Michael Mangan, Mark Cutkosky, Anna Mura, Paul F.M.J. Verschure, Tony Prescott, Nathan Lepora.
by Mangan, Michael [editor.] | Cutkosky, Mark [editor.] | Mura, Anna [editor.] | Verschure, Paul F.M.J [editor.] | Prescott, Tony [editor.] | Lepora, Nathan [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
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings / edited by Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Raś.
by Kryszkiewicz, Marzena [editor.] | Appice, Annalisa [editor.] | Ślęzak, Dominik [editor.] | Rybinski, Henryk [editor.] | Skowron, Andrzej [editor.] | Raś, Zbigniew W [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
|
|
|
|
Advances in Bioinformatics and Computational Biology [electronic resource] : Third Brazilian Symposium on Bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, Proceedings / edited by Ana L.C. Bazzan, Mark Craven, Natalia F. Martins.
by Bazzan, Ana L.C [editor.] | Craven, Mark [editor.] | Martins, Natalia F [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
|
|
|
|
End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / edited by Volkmar Pipek, Mary-Beth Rosson, Volker Wulf.
by Pipek, Volkmar [editor.] | Rosson, Mary-Beth [editor.] | Wulf, Volker [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings / edited by Bin Xiao, Laurence T. Yang, Christian Muller-Schloer, Yu Hua.
by Xiao, Bin [editor.] | Yang, Laurence T [editor.] | Muller-Schloer, Christian [editor.] | Hua, Yu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / edited by Bor-Yuh Evan Chang.
by Chang, Bor-Yuh Evan [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
|
|
|
|
Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke.
by Bennaceur, Amel [editor.] | Hähnle, Reiner [editor.] | Meinke, Karl [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
|
|
|
|
Explainable Artificial Intelligence and Process Mining Applications for Healthcare [electronic resource] : Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings / edited by Jose M. Juarez, Carlos Fernandez-Llatas, Concha Bielza, Owen Johnson, Primoz Kocbek, Pedro Larrañaga, Niels Martin, Jorge Munoz-Gama, Gregor Štiglic, Marcos Sepulveda, Alfredo Vellido.
by Juarez, Jose M [editor.] | Fernandez-Llatas, Carlos [editor.] | Bielza, Concha [editor.] | Johnson, Owen [editor.] | Kocbek, Primoz [editor.] | Larrañaga, Pedro [editor.] | Martin, Niels [editor.] | Munoz-Gama, Jorge [editor.] | Štiglic, Gregor [editor.] | Sepulveda, Marcos [editor.] | Vellido, Alfredo [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
|
