|
|
|
Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers / edited by Kyungmin Bae.
by Bae, Kyungmin [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4-7, 2022, Proceedings, Part VI / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Garau, Chiara [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2022 [electronic resource] : 22nd International Conference, Malaga, Spain, July 4-7, 2022, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Eligius M. T. Hendrix, David Taniar, Bernady O. Apduhan.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Hendrix, Eligius M. T [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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 Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker.
by Chechik, Marsha [editor.] | Katoen, Joost-Pieter [editor.] | Leucker, Martin [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
|
|
|
|
Machines, Computations, and Universality [electronic resource] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings / edited by Jérôme Durand-Lose, György Vaszil.
by Durand-Lose, Jérôme [editor.] | Vaszil, György [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part III / edited by Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren.
by Liu, Honghai [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Jiang, Li [editor.] | Gu, Guoying [editor.] | Wu, Xinyu [editor.] | Ren, Weihong [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
|
|
|
|
Design and Architecture for Signal and Image Processing [electronic resource] : 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20-22, 2022, Proceedings / edited by Karol Desnos, Sergio Pertuz.
by Desnos, Karol [editor.] | Pertuz, Sergio [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
|
|
|
|
Service-Oriented Computing--ICSOC 2013 Workshops [electronic resource] : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers / edited by Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić.
by Lomuscio, Alessio [editor.] | Nepal, Surya [editor.] | Patrizi, Fabio [editor.] | Benatallah, Boualem [editor.] | Brandić, Ivona [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
|
|
|
|
Parallel and Distributed Computing: Applications and Technologies [electronic resource] : 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings / edited by Kim-Meow Liew, Hong Shen, Simon See, Wentong Cai, Pingzhi Fan, Susumu Horiguchi.
by Liew, Kim-Meow [editor.] | Shen, Hong [editor.] | See, Simon [editor.] | Cai, Wentong [editor.] | Fan, Pingzhi [editor.] | Horiguchi, Susumu [editor.] | 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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I / edited by Sang-Soo Yeo, Jong Hyuk Park, Laurence Tianruo Yang, Ching-Hsien Hsu.
by Yeo, Sang-Soo [editor.] | Park, Jong Hyuk [editor.] | Yang, Laurence Tianruo [editor.] | Hsu, Ching-Hsien [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
|
|
|
|
Architecture of Computing Systems -- ARCS 2016 [electronic resource] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / edited by Frank Hannig, João M.P. Cardoso, Thilo Pionteck, Dietmar Fey, Wolfgang Schröder-Preikschat, Jürgen Teich.
by Hannig, Frank [editor.] | Cardoso, João M.P [editor.] | Pionteck, Thilo [editor.] | Fey, Dietmar [editor.] | Schröder-Preikschat, Wolfgang [editor.] | Teich, Jürgen [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
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos.
by Vallecillo, Antonio [editor.] | Tolvanen, Juha-Pekka [editor.] | Kindler, Ekkart [editor.] | Störrle, Harald [editor.] | Kolovos, Dimitris [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz.
by Giese, Holger [editor.] | Karsai, Gabor [editor.] | Lee, Edward A [editor.] | Rumpe, Bernhard [editor.] | Schätz, Bernhard [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
|
|
|
|
Web Information Systems Engineering - WISE 2016 [electronic resource] : 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I / edited by Wojciech Cellary, Mohamed F. Mokbel, Jianmin Wang, Hua Wang, Rui Zhou, Yanchun Zhang.
by Cellary, Wojciech [editor.] | Mokbel, Mohamed F [editor.] | Wang, Jianmin [editor.] | Wang, Hua [editor.] | Zhou, Rui [editor.] | Zhang, Yanchun [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
|
|
|
|
Ambient Assisted Living and Daily Activities [electronic resource] : 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014, Proceedings / edited by Leandro Pecchia, Liming Chen, Chris Nugent, Jose Bravo.
by Pecchia, Leandro [editor.] | Chen, Liming [editor.] | Nugent, Chris [editor.] | Bravo, Jose [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
|
|
|
|
Smart Sensing and Context [electronic resource] : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings / edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem.
by Lukowicz, Paul [editor.] | Kunze, Kai [editor.] | Kortuem, Gerd [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
|
|
|
|
Architecture of Computing Systems - ARCS 2009 [electronic resource] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / edited by Mladen Berekovic, Christian Müller-Schloer, Christian Hochberger, Stephan Wong.
by Berekovic, Mladen [editor.] | Müller-Schloer, Christian [editor.] | Hochberger, Christian [editor.] | Wong, Stephan [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
|
|
|
|
Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009, Revised Selected Papers / edited by Tanja Zseby, Reijo Savola, Marco Pistore.
by Zseby, Tanja [editor.] | Savola, Reijo [editor.] | Pistore, Marco [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings / edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
by Voros, Nikolaos [editor.] | Huebner, Michael [editor.] | Keramidas, Georgios [editor.] | Goehringer, Diana [editor.] | Antonopoulos, Christos [editor.] | Diniz, Pedro C [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
|
|
|
|
NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz.
by Dutle, Aaron [editor.] | Muñoz, César [editor.] | Narkawicz, Anthony [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
|
