|
|
|
Trusted Systems [electronic resource] : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers / edited by Moti Yung, Liehuang Zhu, Yanjiang Yang.
by Yung, Moti [editor.] | Zhu, Liehuang [editor.] | Yang, Yanjiang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Knowledge Representation for Health Care [electronic resource] : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers / edited by Silvia Miksch, David Ria�no, Annette ten Teije.
by Miksch, Silvia [editor.] | Ria�no, David [editor.] | ten Teije, Annette [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
|
|
|
|
Specifying Big Data Benchmarks [electronic resource] : First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012, and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers / edited by Tilmann Rabl, Meikel Poess, Chaitanya Baru, Hans-Arno Jacobsen.
by Rabl, Tilmann [editor.] | Poess, Meikel [editor.] | Baru, Chaitanya [editor.] | Jacobsen, Hans-Arno [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Research and Development in Intelligent Systems XXXI [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XXII / edited by Max Bramer, Miltos Petridis.
by Bramer, Max [editor.] | Petridis, Miltos [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
|
|
|
|
Efficiency and Logistics [electronic resource] / edited by Uwe Clausen, Michael ten Hompel, Matthias Klumpp.
by Clausen, Uwe [editor.] | Hompel, Michael ten [editor.] | Klumpp, Matthias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / edited by Adrian-Horia Dediu, Carlos Mart�in-Vide, Jos�e-Luis Sierra-Rodr�iguez, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Mart�in-Vide, Carlos [editor.] | Sierra-Rodr�iguez, Jos�e-Luis [editor.] | Truthe, Bianca [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
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl.
by Muscholl, Anca [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / edited by Markus M�uller-Olm, Helmut Seidl.
by M�uller-Olm, Markus [editor.] | Seidl, Helmut [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
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang.
by Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Information Systems Security [electronic resource] : 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings / edited by Sushil Jajoda, Chandan Mazumdar.
by Jajoda, Sushil [editor.] | Mazumdar, Chandan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Automatic Processing of Natural-Language Electronic Texts with NooJ [electronic resource] : 9th International Conference, NooJ 2015, Minsk, Belarus, June 11-13, 2015, Revised Selected Papers / edited by Tatsiana Okrut, Yuras Hetsevich, Max Silberztein, Hanna Stanislavenka.
by Okrut, Tatsiana [editor.] | Hetsevich, Yuras [editor.] | Silberztein, Max [editor.] | Stanislavenka, Hanna [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Wireless Network Security [electronic resource] : Theories and Applications / by Lei Chen, Jiahuang Ji, Zihong Zhang.
by Chen, Lei [author.] | Ji, Jiahuang [author.] | Zhang, Zihong [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII [electronic resource] : Special Issue on Big Data for Complex Urban Systems / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Amin Anjomshoaa, Patrick C. K. Hung, Dominik Kalisch, Stanislav Sobolevsky.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Anjomshoaa, Amin [editor.] | Hung, Patrick C. K [editor.] | Kalisch, Dominik [editor.] | Sobolevsky, Stanislav [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings / edited by Dan Brown, Burkhard Morgenstern.
by Brown, Dan [editor.] | Morgenstern, Burkhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Link�oping, Sweden, November 24-28, 2014. Revised Selected Papers. / edited by Patrick Lambrix, Eero Hyv�onen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini.
by Lambrix, Patrick [editor.] | Hyv�onen, Eero [editor.] | Blomqvist, Eva [editor.] | Presutti, Valentina [editor.] | Qi, Guilin [editor.] | Sattler, Uli [editor.] | Ding, Ying [editor.] | Ghidini, Chiara [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Adaptive Multimedia Retrieval. Large-Scale Multimedia Retrieval and Evaluation [electronic resource] : 9th International Workshop, AMR 2011, Barcelona, Spain, July 18-19, 2011, Revised Selected Papers / edited by Marcin Detyniecki, Ana Garc�ia-Serrano, Andreas N�urnberger, Sebastian Stober.
by Detyniecki, Marcin [editor.] | Garc�ia-Serrano, Ana [editor.] | N�urnberger, Andreas [editor.] | Stober, Sebastian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Symmetric Cryptographic Protocols [electronic resource] / by Mahalingam Ramkumar.
by Ramkumar, Mahalingam [author.] | 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
|
|
|
|
Transactions on Aspect-Oriented Software Development X [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, �Eric Tanter.
by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Tanter, �Eric [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Web Services and Formal Methods [electronic resource] : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers / edited by Emilio Tuosto, Chun Ouyang.
by Tuosto, Emilio [editor.] | Ouyang, Chun [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
|
|
|
|
Web Technologies and Applications [electronic resource] : APWeb 2014 Workshops, SNA, NIS, and IoTS, Changsha, China, September 5, 2014. Proceedings / edited by Weihong Han, Zi Huang, Changjun Hu, Hongli Zhang, Li Guo.
by Han, Weihong [editor.] | Huang, Zi [editor.] | Hu, Changjun [editor.] | Zhang, Hongli [editor.] | Guo, Li [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
|
