|
|
|
Advances in Cryptology - ASIACRYPT 2014 [electronic resource] : 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014, Proceedings, Part II / edited by Palash Sarkar, Tetsu Iwata.
by Sarkar, Palash [editor.] | Iwata, Tetsu [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
|
|
|
|
Mechanical Properties of Materials [electronic resource] / by Joshua Pelleg.
by Pelleg, Joshua [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
AsiaSim 2014 [electronic resource] : 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings / edited by Satoshi Tanaka, Kyoko Hasegawa, Rui Xu, Naohisa Sakamoto, Stephen John Turner.
by Tanaka, Satoshi [editor.] | Hasegawa, Kyoko [editor.] | Xu, Rui [editor.] | Sakamoto, Naohisa [editor.] | Turner, Stephen John [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings / edited by Jacques Garrigue.
by Garrigue, Jacques [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
|
|
|
|
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter.
by Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [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
|
|
|
|
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures / edited by Anne Remke, Mari�elle Stoelinga.
by Remke, Anne [editor.] | Stoelinga, Mari�elle [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
|
|
|
|
Cloud Networking for Big Data [electronic resource] / by Deze Zeng, Lin Gu, Song Guo.
by Zeng, Deze [author.] | Gu, Lin [author.] | Guo, Song [author.] | 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
|
|
|
|
Intelligent Computing in Smart Grid and Electrical Vehicles [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014 Shanghai, China, September 20-23, 2014 Proceedings, Part III / edited by Kang Li, Yusheng Xue, Shumei Cui, Qun Niu.
by Li, Kang [editor.] | Xue, Yusheng [editor.] | Cui, Shumei [editor.] | Niu, Qun [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
|
|
|
|
The Semantic Web and Web Science [electronic resource] : 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers / edited by Dongyan Zhao, Jianfeng Du, Haofen Wang, Peng Wang, Donghong Ji, Jeff Z. Pan.
by Zhao, Dongyan [editor.] | Du, Jianfeng [editor.] | Wang, Haofen [editor.] | Wang, Peng [editor.] | Ji, Donghong [editor.] | Pan, Jeff Z [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
|
|
|
|
Evolution of Semantic Systems [electronic resource] / edited by Bernd-Olaf K�uppers, Udo Hahn, Stefan Artmann.
by K�uppers, Bernd-Olaf [editor.] | Hahn, Udo [editor.] | Artmann, Stefan [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
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 13th IFIP TC8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014. Proceedings / edited by Khalid Saeed, V�aclav Sn�ašel.
by Saeed, Khalid [editor.] | Sn�ašel, V�aclav [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
|
|
|
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Leonardo Vanneschi, William S. Bush, Mario Giacobini.
by Vanneschi, Leonardo [editor.] | Bush, William S [editor.] | Giacobini, Mario [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
|
|
|
|
Persuasive Technology [electronic resource] : 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings / edited by Shlomo Berkovsky, Jill Freyne.
by Berkovsky, Shlomo [editor.] | Freyne, Jill [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
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II / edited by Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias.
by Esparza, Javier [editor.] | Fraigniaud, Pierre [editor.] | Husfeldt, Thore [editor.] | Koutsoupias, Elias [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
|
|
|
|
Fundamentals of NeuroIS [electronic resource] : Information Systems and the Brain / by Ren�e Riedl, Pierre-Majorique L�eger.
by Riedl, Ren�e [author.] | L�eger, Pierre-Majorique [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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
The Hash Function BLAKE [electronic resource] / by Jean-Philippe Aumasson, Willi Meier, Raphael C.-W. Phan, Luca Henzen.
by Aumasson, Jean-Philippe [author.] | Meier, Willi [author.] | Phan, Raphael C.-W [author.] | Henzen, Luca [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Human Behavior Understanding in Networked Sensing [electronic resource] : Theory and Applications of Networks of Sensors / edited by Paolo Spagnolo, Pier Luigi Mazzeo, Cosimo Distante.
by Spagnolo, Paolo [editor.] | Mazzeo, Pier Luigi [editor.] | Distante, Cosimo [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
|
|
|
|
Data and Applications Security and Privacy XXVIII [electronic resource] : 28th Annual IFIP WG 11.3 Working Conference, DBSec 2014, Vienna, Austria, July 14-16, 2014. Proceedings / edited by Vijay Atluri, G�unther Pernul.
by Atluri, Vijay [editor.] | Pernul, G�unther [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
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings / edited by Erika �Abrah�am, Catuscia Palamidessi.
by �Abrah�am, Erika [editor.] | Palamidessi, Catuscia [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
|
|
|
|
Requirements Engineering [electronic resource] : First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings / edited by Didar Zowghi, Zhi Jin.
by Zowghi, Didar [editor.] | Jin, Zhi [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
|
