|
|
Pervasive Computing [electronic resource] : 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010, Proceedings / edited by Patrik Floréen, Antonio Krüger, Mirjana Spasojevic.
by Floréen, Patrik [editor.] | Krüger, Antonio [editor.] | Spasojevic, Mirjana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
Artificial Neural Networks and Machine Learning - ICANN 2017 [electronic resource] : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II / edited by Alessandra Lintas, Stefano Rovetta, Paul F.M.J. Verschure, Alessandro E.P. Villa.
by Lintas, Alessandra [editor.] | Rovetta, Stefano [editor.] | Verschure, Paul F.M.J [editor.] | Villa, Alessandro E.P [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
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings / edited by Yingshu Li, Mihaela Cardei, Yan Huang.
by Li, Yingshu [editor.] | Cardei, Mihaela [editor.] | Huang, Yan [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
|
|
|
Aliasing in Object-Oriented Programming [electronic resource] : Types, Analysis and Verification / edited by David Clarke, Tobias Wrigstad, James Noble.
by Clarke, David [editor.] | Wrigstad, Tobias [editor.] | Noble, James [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
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers / edited by Louise A. Dennis, Rafael H. Bordini, Yves Lespérance.
by Dennis, Louise A [editor.] | Bordini, Rafael H [editor.] | Lespérance, Yves [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
|
|
|
Financial Cryptography and Data Security [electronic resource] : 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers / edited by Ittay Eyal, Juan Garay.
by Eyal, Ittay [editor.] | Garay, Juan [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
|
|
|
Applied Informatics [electronic resource] : 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings / edited by Hector Florez, Marcelo Leon.
by Florez, Hector [editor.] | Leon, Marcelo [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 Parallel Processing Technologies [electronic resource] : 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings / edited by Chao Li, Zhenhua Li, Li Shen, Fan Wu, Xiaoli Gong.
by Li, Chao [editor.] | Li, Zhenhua [editor.] | Shen, Li [editor.] | Wu, Fan [editor.] | Gong, Xiaoli [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
|
|
|
Blockchain and Trustworthy Systems [electronic resource] : 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part II / edited by Jiachi Chen, Bin Wen, Ting Chen.
by Chen, Jiachi [editor.] | Wen, Bin [editor.] | Chen, Ting [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
|
|
|
Blockchain and Trustworthy Systems [electronic resource] : 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part I / edited by Jiachi Chen, Bin Wen, Ting Chen.
by Chen, Jiachi [editor.] | Wen, Bin [editor.] | Chen, Ting [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
|
|
|
The Fundamental Research for Trustworthy Software [electronic resource] / edited by Jifeng He.
by He, Jifeng [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
|
|
|
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
|
|
|
Financial Cryptography and Data Security [electronic resource] : 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I / edited by Foteini Baldimtsi, Christian Cachin.
by Baldimtsi, Foteini [editor.] | Cachin, Christian [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
|
|
|
Financial Cryptography and Data Security [electronic resource] : 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II / edited by Foteini Baldimtsi, Christian Cachin.
by Baldimtsi, Foteini [editor.] | Cachin, Christian [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
|
|
|
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
|
|
|
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
|
|
|
Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster.
by Lukowicz, Paul [editor.] | Thiele, Lothar [editor.] | Tröster, Gerhard [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
|
|
|
Hard Real-Time Computing Systems [electronic resource] : Predictable Scheduling Algorithms and Applications / by Giorgio Buttazzo.
by Buttazzo, Giorgio [author.] | SpringerLink (Online service). Edition: 4th 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
|
|
|
OpenMP: Conquering the Full Hardware Spectrum [electronic resource] : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings / edited by Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman.
by Fan, Xing [editor.] | de Supinski, Bronis R [editor.] | Sinnen, Oliver [editor.] | Giacaman, Nasser [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
|