|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010, Proceedings / edited by Christian Kreibich, Marko Jahnke.
by Kreibich, Christian [editor.] | Jahnke, Marko [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
|
|
|
|
Modeling Communication with Robots and Virtual Humans [electronic resource] : Second ZiF Research Group 2005/2006 International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers / edited by Ipke Wachsmuth, Günther Knoblich.
by Wachsmuth, Ipke [editor.] | Knoblich, Günther [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data [electronic resource] : Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings / edited by Andreas Holzinger, Gabriella Pasi.
by Holzinger, Andreas [editor.] | Pasi, Gabriella [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
|
|
|
|
Human-Computer Interaction -- INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II / edited by Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler.
by Campos, Pedro [editor.] | Graham, Nicholas [editor.] | Jorge, Joaquim [editor.] | Nunes, Nuno [editor.] | Palanque, Philippe [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Future Generation Information Technology [electronic resource] : First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009, Proceedings / edited by Young Hoon Lee, Dominik Slezak.
by Lee, Young Hoon [editor.] | Slezak, Dominik [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
|
|
|
|
Ubiquitous Intelligence and Computing [electronic resource] : 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011, Proceedings / edited by Ching-Hsien Hsu, Laurence T. Yang, Jianhua Ma, Chunsheng Zhu.
by Hsu, Ching-Hsien [editor.] | Yang, Laurence T [editor.] | Ma, Jianhua [editor.] | Zhu, Chunsheng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Game Theory [electronic resource] : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings / edited by Giuseppe Persiano.
by Persiano, Giuseppe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligence and Security Informatics [electronic resource] : 11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings / edited by Michael Chau, G. Alan Wang, Hsinchun Chen.
by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Chen, Hsinchun [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
|
|
|
|
Social Robotics [electronic resource] : Third International Conference on Social Robotics, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings / edited by Bilge Mutlu, Christoph Bartneck, Jaap Ham, Vanessa Evers, Takayuki Kanda.
by Mutlu, Bilge [editor.] | Bartneck, Christoph [editor.] | Ham, Jaap [editor.] | Evers, Vanessa [editor.] | Kanda, Takayuki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers / edited by David Martin, Andrei Serjantov.
by Martin, David [editor.] | Serjantov, Andrei [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings / edited by Alessandro Cimatti, Marjan Sirjani.
by Cimatti, Alessandro [editor.] | Sirjani, Marjan [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
|
|
|
|
Embedded Software and Systems [electronic resource] : Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin.
by Yang, Laurence T [editor.] | Zhou, Xingshe [editor.] | Zhao, Wei [editor.] | Wu, Zhaohui [editor.] | Zhu, Yian [editor.] | Lin, Man [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 Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.
by Leue, Stefan [editor.] | Merino, Pedro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009, Revised Papers / edited by Erich Rome, Robin Bloomfield.
by Rome, Erich [editor.] | Bloomfield, Robin [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
|
|
|
|
Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers / edited by Sebastian Moedersheim, Catuscia Palamidessi.
by Moedersheim, Sebastian [editor.] | Palamidessi, Catuscia [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
|
|
|
|
The Semantic Web -- ISWC 2011 [electronic resource] : 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part II / edited by Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist.
by Aroyo, Lora [editor.] | Welty, Chris [editor.] | Alani, Harith [editor.] | Taylor, Jamie [editor.] | Bernstein, Abraham [editor.] | Kagal, Lalana [editor.] | Noy, Natasha [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / edited by Peter Van Roy.
by Van Roy, Peter [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings / edited by Paris Avgeriou.
by Avgeriou, Paris [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
|
|
|
|
Information Systems Security [electronic resource] : Third International Conference, ICISS 2007, Delhi, India, December 16-20, 2007, Proceedings / edited by Patrick McDaniel, Shyam K. Gupta.
by McDaniel, Patrick [editor.] | Gupta, Shyam K [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
|
|
|
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / edited by Marco Bernardo, Alessandro Cimatti.
by Bernardo, Marco [editor.] | Cimatti, Alessandro [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
|
