|
|
|
Machine Learning and Knowledge Extraction [electronic resource] : 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25-28, 2020, Proceedings / edited by Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl.
by Holzinger, Andreas [editor.] | Kieseberg, Peter [editor.] | Tjoa, A Min [editor.] | Weippl, Edgar [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
|
|
|
|
Linking Theory and Practice of Digital Libraries [electronic resource] : 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20-23, 2022, Proceedings / edited by Gianmaria Silvello, Oscar Corcho, Paolo Manghi, Giorgio Maria Di Nunzio, Koraljka Golub, Nicola Ferro, Antonella Poggi.
by Silvello, Gianmaria [editor.] | Corcho, Oscar [editor.] | Manghi, Paolo [editor.] | Di Nunzio, Giorgio Maria [editor.] | Golub, Koraljka [editor.] | Ferro, Nicola [editor.] | Poggi, Antonella [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
|
|
|
|
Euro-Par 2021: Parallel Processing [electronic resource] : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings / edited by Leonel Sousa, Nuno Roma, Pedro Tomás.
by Sousa, Leonel [editor.] | Roma, Nuno [editor.] | Tomás, Pedro [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
|
|
|
|
Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings / edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov.
by Lin, Anthony W [editor.] | Zetzsche, Georg [editor.] | Potapov, Igor [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings / edited by Silvia Lizeth Tapia Tarifa, José Proença.
by Tapia Tarifa, Silvia Lizeth [editor.] | Proença, José [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
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : Proceedings of PDCAT 2023 / edited by Ji Su Park, Hiroyuki Takizawa, Hong Shen, James J. Park.
by Park, Ji Su [editor.] | Takizawa, Hiroyuki [editor.] | Shen, Hong [editor.] | Park, James J [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings / edited by Haniel Barbosa, Yoni Zohar.
by Barbosa, Haniel [editor.] | Zohar, Yoni [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II / edited by Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, Xiaozhou Li.
by Kadgien, Regine [editor.] | Jedlitschka, Andreas [editor.] | Janes, Andrea [editor.] | Lenarduzzi, Valentina [editor.] | Li, Xiaozhou [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I / edited by Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, Xiaozhou Li.
by Kadgien, Regine [editor.] | Jedlitschka, Andreas [editor.] | Janes, Andrea [editor.] | Lenarduzzi, Valentina [editor.] | Li, Xiaozhou [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
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2022 [electronic resource] : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence of Things [electronic resource] : First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part I / edited by Rama Krishna Challa, Gagangeet Singh Aujla, Lini Mathew, Amod Kumar, Mala Kalra, S. L. Shimi, Garima Saini, Kanika Sharma.
by Challa, Rama Krishna [editor.] | Aujla, Gagangeet Singh [editor.] | Mathew, Lini [editor.] | Kumar, Amod [editor.] | Kalra, Mala [editor.] | Shimi, S. L [editor.] | Saini, Garima [editor.] | Sharma, Kanika [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I / edited by Xiang-he Sun, Wenyu Qu, Ivan Stojmenovic, Wanlei Zhou, Zhiyang Li, Hua Guo, Geyong Min, Tingting Yang, Yulei Wu, Lei Liu.
by Sun, Xiang-he [editor.] | Qu, Wenyu [editor.] | Stojmenovic, Ivan [editor.] | Zhou, Wanlei [editor.] | Li, Zhiyang [editor.] | Guo, Hua [editor.] | Min, Geyong [editor.] | Yang, Tingting [editor.] | Wu, Yulei [editor.] | Liu, Lei [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
|
|
|
|
Advances in Visual Computing [electronic resource] : Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I / edited by Richard Boyle, Bahram Parvin, Darko Koracin, Nikos Paragios, Syeda-Mahmood Tanveer, Tao Ju, Zicheng Liu, Sabine Coquillart, Carolina Cruz-Neira, Torsten Möller, Tom Malzbender.
by Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Paragios, Nikos [editor.] | Tanveer, Syeda-Mahmood [editor.] | Ju, Tao [editor.] | Liu, Zicheng [editor.] | Coquillart, Sabine [editor.] | Cruz-Neira, Carolina [editor.] | Möller, Torsten [editor.] | Malzbender, Tom [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.
by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falcão, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman.
by Ábrahám, Erika [editor.] | Huisman, Marieke [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
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / edited by Xipeng Shen, Frank Mueller, James Tuck.
by Shen, Xipeng [editor.] | Mueller, Frank [editor.] | Tuck, James [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
|
|
|
|
Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / edited by Martina Seidl, Nikolai Tillmann.
by Seidl, Martina [editor.] | Tillmann, Nikolai [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
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [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
|
|
|
|
Search-Based Software Engineering [electronic resource] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings / edited by Paolo Arcaini, Tao Yue, Erik M. Fredericks.
by Arcaini, Paolo [editor.] | Yue, Tao [editor.] | Fredericks, Erik M [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
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings / edited by John Krogstie, Andreas L. Opdahl, Guttorm Sindre.
by Krogstie, John [editor.] | Opdahl, Andreas L [editor.] | Sindre, Guttorm [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
|
