|
|
|
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
|
|
|
|
Machines, Computations, and Universality [electronic resource] : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
by Durand-Lose, Jérôme [editor.] | Verlan, Sergey [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
|
|
|
|
Informatics in Schools. Fundamentals of Computer Science and Software Engineering [electronic resource] : 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings / edited by Sergei N. Pozdniakov, Valentina Dagienė.
by Pozdniakov, Sergei N [editor.] | Dagienė, Valentina [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
|
|
|
|
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
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II / edited by Félix Castro, Sabino Miranda-Jiménez, Miguel González-Mendoza.
by Castro, Félix [editor.] | Miranda-Jiménez, Sabino [editor.] | González-Mendoza, Miguel [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
|
|
|
|
Smart Blockchain [electronic resource] : First International Conference, SmartBlock 2018, Tokyo, Japan, December 10-12, 2018, Proceedings / edited by Meikang Qiu.
by Qiu, Meikang [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
|
|
|
|
Quantum Technology and Optimization Problems [electronic resource] : First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings / edited by Sebastian Feld, Claudia Linnhoff-Popien.
by Feld, Sebastian [editor.] | Linnhoff-Popien, Claudia [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
|
|
|
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings / edited by Ruben Vera-Rodriguez, Julian Fierrez, Aythami Morales.
by Vera-Rodriguez, Ruben [editor.] | Fierrez, Julian [editor.] | Morales, Aythami [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
|
|
|
|
Machine Learning for Networking [electronic resource] : First International Conference, MLN 2018, Paris, France, November 27-29, 2018, Revised Selected Papers / edited by Éric Renault, Paul Mühlethaler, Selma Boumerdassi.
by Renault, Éric [editor.] | Mühlethaler, Paul [editor.] | Boumerdassi, Selma [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
|
|
|
|
Computational Data and Social Networks [electronic resource] : 8th International Conference, CSoNet 2019, Ho Chi Minh City, Vietnam, November 18-20, 2019, Proceedings / edited by Andrea Tagarelli, Hanghang Tong.
by Tagarelli, Andrea [editor.] | Tong, Hanghang [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
|
|
|
|
Computing and Software Science [electronic resource] : State of the Art and Perspectives / edited by Bernhard Steffen, Gerhard Woeginger.
by Steffen, Bernhard [editor.] | Woeginger, Gerhard [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
|
|
|
|
Interactive Collaborative Robotics [electronic resource] : 4th International Conference, ICR 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings / edited by Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov.
by Ronzhin, Andrey [editor.] | Rigoll, Gerhard [editor.] | Meshcheryakov, Roman [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
|
|
|
|
Information Security Practice and Experience [electronic resource] : 15th International Conference, ISPEC 2019, Kuala Lumpur, Malaysia, November 26-28, 2019, Proceedings / edited by Swee-Huay Heng, Javier Lopez.
by Heng, Swee-Huay [editor.] | Lopez, Javier [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
|
|
|
|
Artificial Intelligence and Security [electronic resource] : 6th International Conference, ICAIS 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part I / edited by Xingming Sun, Jinwei Wang, Elisa Bertino.
by Sun, Xingming [editor.] | Wang, Jinwei [editor.] | Bertino, Elisa [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
|
|
|
|
Neural Information Processing [electronic resource] : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part III / edited by Tom Gedeon, Kok Wai Wong, Minho Lee.
by Gedeon, Tom [editor.] | Wong, Kok Wai [editor.] | Lee, Minho [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
|
|
|
|
Neural Information Processing [electronic resource] : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part II / edited by Tom Gedeon, Kok Wai Wong, Minho Lee.
by Gedeon, Tom [editor.] | Wong, Kok Wai [editor.] | Lee, Minho [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
|
