|
|
|
Foundations and Practice of Security [electronic resource] : 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers / edited by Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood.
by Danger, Jean Luc [editor.] | Debbabi, Mourad [editor.] | Marion, Jean-Yves [editor.] | Garcia-Alfaro, Joaquin [editor.] | Zincir Heywood, Nur [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel N�u�nez.
by Counsell, Steve [editor.] | N�u�nez, Manuel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Trustworthy Global Computing [electronic resource] : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / edited by Mart�in Abadi, Alberto Lluch Lafuente.
by Abadi, Mart�in [editor.] | Lluch Lafuente, Alberto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Algorithms and Computation [electronic resource] : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings / edited by Sudebkumar Prasant Pal, Kunihiko Sadakane.
by Pal, Sudebkumar Prasant [editor.] | Sadakane, Kunihiko [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings / edited by Jan J�urjens, Frank Piessens, Nataliia Bielova.
by J�urjens, Jan [editor.] | Piessens, Frank [editor.] | Bielova, Nataliia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Intelligent Strategies for Pathway Mining [electronic resource] : Model and Pattern Identification / edited by Qingfeng Chen, Baoshan Chen, Chengqi Zhang.
by Chen, Qingfeng [editor.] | Chen, Baoshan [editor.] | Zhang, Chengqi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Applied Algorithms [electronic resource] : First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings / edited by Prosenjit Gupta, Christos Zaroliagis.
by Gupta, Prosenjit [editor.] | Zaroliagis, Christos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / edited by Gregory Gutin, Stefan Szeider.
by Gutin, Gregory [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
MultiMedia Modeling [electronic resource] : 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings, Part I / edited by Cathal Gurrin, Frank Hopfgartner, Wolfgang Hurst, H�avard Johansen, Hyowon Lee, Noel O'Connor.
by Gurrin, Cathal [editor.] | Hopfgartner, Frank [editor.] | Hurst, Wolfgang [editor.] | Johansen, H�avard [editor.] | Lee, Hyowon [editor.] | O'Connor, Noel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash.
by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | Dash, Shubhransu Sekhar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings / edited by Peter Widmayer, Yinfeng Xu, Binhai Zhu.
by Widmayer, Peter [editor.] | Xu, Yinfeng [editor.] | Zhu, Binhai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Process Support and Knowledge Representation in Health Care [electronic resource] : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers / edited by David Ria�no, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, Annette ten Teije.
by Ria�no, David [editor.] | Lenz, Richard [editor.] | Miksch, Silvia [editor.] | Peleg, Mor [editor.] | Reichert, Manfred [editor.] | Teije, Annette ten [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen.
by Baldoni, Roberto [editor.] | Nisse, Nicolas [editor.] | Steen, Maarten van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Behavior and Social Computing [electronic resource] : International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers / edited by Longbing Cao, Hiroshi Motoda, Jaideep Srivastava, Ee-Peng Lim, Irwin King, Philip S. Yu, Wolfgang Nejdl, Guandong Xu, Gang Li, Ya Zhang.
by Cao, Longbing [editor.] | Motoda, Hiroshi [editor.] | Srivastava, Jaideep [editor.] | Lim, Ee-Peng [editor.] | King, Irwin [editor.] | Yu, Philip S [editor.] | Nejdl, Wolfgang [editor.] | Xu, Guandong [editor.] | Li, Gang [editor.] | Zhang, Ya [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II / edited by Rocco Aversa, Joanna Ko�odziej, Jun Zhang, Flora Amato, Giancarlo Fortino.
by Aversa, Rocco [editor.] | Ko�odziej, Joanna [editor.] | Zhang, Jun [editor.] | Amato, Flora [editor.] | Fortino, Giancarlo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Ambient Intelligence [electronic resource] : 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings / edited by Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert Ali Salah, Ah-Hwee Tan.
by Augusto, Juan Carlos [editor.] | Wichert, Reiner [editor.] | Collier, Rem [editor.] | Keyson, David [editor.] | Salah, Albert Ali [editor.] | Tan, Ah-Hwee [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Big Data Analytics [electronic resource] : Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings / edited by Vasudha Bhatnagar, Srinath Srinivasa.
by Bhatnagar, Vasudha [editor.] | Srinivasa, Srinath [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan.
by Shan, Chung-chieh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Social Informatics [electronic resource] : 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings / edited by Adam Jatowt, Ee-Peng Lim, Ying Ding, Asako Miura, Taro Tezuka, Ga�el Dias, Katsumi Tanaka, Andrew Flanagin, Bing Tian Dai.
by Jatowt, Adam [editor.] | Lim, Ee-Peng [editor.] | Ding, Ying [editor.] | Miura, Asako [editor.] | Tezuka, Taro [editor.] | Dias, Ga�el [editor.] | Tanaka, Katsumi [editor.] | Flanagin, Andrew [editor.] | Dai, Bing Tian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio.
by Baldoni, Matteo [editor.] | Baroglio, Cristina [editor.] | Boella, Guido [editor.] | Micalizio, Roberto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
