|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / edited by Martin Steffen, Gianluigi Zavattaro.
by Steffen, Martin [editor.] | Zavattaro, Gianluigi [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
|
|
|
|
Pervasive Computing [electronic resource] : Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings / edited by Hans W. Gellersen, Roy Want, Albrecht Schmidt.
by Gellersen, Hans W [editor.] | Want, Roy [editor.] | Schmidt, Albrecht [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
|
|
|
|
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi.
by Havelund, Klaus [editor.] | Holzmann, Gerard [editor.] | Joshi, Rajeev [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
|
|
|
|
Information Systems Security [electronic resource] : First International conference, ICISS 2005, Kolkata, India, December 19-21, 2005, Proceedings / edited by Sushil Jajodia, Chandan Mazumdar.
by Jajodia, Sushil [editor.] | Mazumdar, Chandan [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
|
|
|
|
Formal Aspects in Security and Trust [electronic resource] : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, Steve Schneider.
by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | Ryan, Peter Y.A [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust.
by Rust, Heinrich [author.] | 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
|
|
|
|
Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / edited by Nabanita Das, Arunabha Sen, Sajal K. Das, Bhabani P. Sinha.
by Das, Nabanita [editor.] | Sen, Arunabha [editor.] | Das, Sajal K [editor.] | Sinha, Bhabani P [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
|
|
|
|
Search-Based Software Engineering [electronic resource] : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / edited by Thelma Elita Colanzi, Phil McMinn.
by Colanzi, Thelma Elita [editor.] | McMinn, Phil [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
|
|
|
|
Applied Reconfigurable Computing [electronic resource] : 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings / edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger Woods, Pedro Diniz.
by Hochberger, Christian [editor.] | Nelson, Brent [editor.] | Koch, Andreas [editor.] | Woods, Roger [editor.] | Diniz, Pedro [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
|
|
|
|
Distributed Computing by Mobile Entities [electronic resource] : Current Research in Moving and Computing / edited by Paola Flocchini, Giuseppe Prencipe, Nicola Santoro.
by Flocchini, Paola [editor.] | Prencipe, Giuseppe [editor.] | Santoro, Nicola [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
|
|
|
|
Genetic Programming [electronic resource] : 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Ting Hu, Nuno Lourenço, Eric Medvet.
by Hu, Ting [editor.] | Lourenço, Nuno [editor.] | Medvet, Eric [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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn.
by Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [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
|
|
|
|
Grid and Pervasive Computing [electronic resource] : 8th International Conference, GPC 2013, and Colocated Workshops, Seoul, Korea, May 9-11, 2013, Proceedings / edited by James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil.
by Park, James J. (Jong Hyuk) [editor.] | Arabnia, Hamid R [editor.] | Kim, Cheonshik [editor.] | Shi, Weisong [editor.] | Gil, Joon-Min [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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019, Proceedings / edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
by Martinez-Hernandez, Uriel [editor.] | Vouloutsi, Vasiliki [editor.] | Mura, Anna [editor.] | Mangan, Michael [editor.] | Asada, Minoru [editor.] | Prescott, Tony J [editor.] | Verschure, Paul F.M.J [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
|
|
|
|
Massively Multi-Agent Systems II [electronic resource] : International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers / edited by Donghui Lin, Toru Ishida, Franco Zambonelli, Itsuki Noda.
by Lin, Donghui [editor.] | Ishida, Toru [editor.] | Zambonelli, Franco [editor.] | Noda, Itsuki [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
|
|
|
|
Distributed Computing and Internet Technology [electronic resource] : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings / edited by Dang Van Hung, Meenakshi D´Souza.
by Hung, Dang Van [editor.] | D´Souza, Meenakshi [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / edited by Zvi Lotker, Boaz Patt-Shamir.
by Lotker, Zvi [editor.] | Patt-Shamir, Boaz [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
|
|
|
|
Advances in Information and Computer Security [electronic resource] : First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings / edited by Hiroshi Yoshiura, Kouichi Sakurai, Kai Rannenberg, Yuko Murayama.
by Yoshiura, Hiroshi [editor.] | Sakurai, Kouichi [editor.] | Rannenberg, Kai [editor.] | Murayama, Yuko [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II / edited by Sheng Wen, Albert Zomaya, Laurence T. Yang.
by Wen, Sheng [editor.] | Zomaya, Albert [editor.] | Yang, Laurence T [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
|
|
|
|
Euro-Par 2013: Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings / edited by Felix Wolf, Bernd Mohr, Dieter an Mey.
by Wolf, Felix [editor.] | Mohr, Bernd [editor.] | an Mey, Dieter [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
|
