|
|
|
Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem.
by Biere, Armin [editor.] | Bloem, Roderick [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
|
|
|
|
Video over Cognitive Radio Networks [electronic resource] : When Quality of Service Meets Spectrum / by Shiwen Mao.
by Mao, Shiwen [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptology and Network Security [electronic resource] : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings / edited by Sara Foresti, Giuseppe Persiano.
by Foresti, Sara [editor.] | Persiano, Giuseppe [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
|
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, Jos�e Gabriel de Figueiredo Coutinho, Pedro C. Diniz.
by Brisk, Philip [editor.] | Figueiredo Coutinho, Jos�e Gabriel de [editor.] | Diniz, Pedro C [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 and Computing Technologies in Agriculture VI [electronic resource] : 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part I / edited by Daoliang Li, Yingyi Chen.
by Li, Daoliang [editor.] | Chen, Yingyi [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti.
by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, 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
|
|
|
|
Network and System Security [electronic resource] : 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings / edited by Meikang Qiu, Shouhuai Xu, Moti Yung, Haibo Zhang.
by Qiu, Meikang [editor.] | Xu, Shouhuai [editor.] | Yung, Moti [editor.] | Zhang, Haibo [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
|
|
|
|
Research in Attacks, Intrusions and Defenses [electronic resource] : 17th International Symposium, RAID 2014, Gothenburg, Sweden, September 17-19, 2014. Proceedings / edited by Angelos Stavrou, Herbert Bos, Georgios Portokalidis.
by Stavrou, Angelos [editor.] | Bos, Herbert [editor.] | Portokalidis, Georgios [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 for Sensor Systems [electronic resource] : 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers / edited by Jie Gao, Alon Efrat, S�andor P. Fekete, Yanyong Zhang.
by Gao, Jie [editor.] | Efrat, Alon [editor.] | Fekete, S�andor P [editor.] | Zhang, Yanyong [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Building Dialogue POMDPs from Expert Dialogues [electronic resource] : An end-to-end approach / by Hamidreza Chinaei, Brahim Chaib-draa.
by Chinaei, Hamidreza [author.] | Chaib-draa, Brahim [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I / 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
|
|
|
|
Pervasive Computing and the Networked World [electronic resource] : Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013. Revised Selected Papers / edited by Qiaohong Zu, Maria Vargas-Vera, Bo Hu.
by Zu, Qiaohong [editor.] | Vargas-Vera, Maria [editor.] | Hu, Bo [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
|
|
|
|
Signals and Transforms in Linear Systems Analysis [electronic resource] / by Wasyl Wasylkiwskyj.
by Wasylkiwskyj, Wasyl [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Content Distribution for Mobile Internet: A Cloud-based Approach [electronic resource] / by Zhenhua Li, Yafei Dai, Guihai Chen, Yunhao Liu.
by Li, Zhenhua [author.] | Dai, Yafei [author.] | Chen, Guihai [author.] | Liu, Yunhao [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Computing and Communication Technologies [electronic resource] : Proceedings of the 9th ICACCT, 2015 / edited by Ramesh K. Choudhary, Jyotsna Kumar Mandal, Nitin Auluck, H A Nagarajaram.
by Choudhary, Ramesh K [editor.] | Mandal, Jyotsna Kumar [editor.] | Auluck, Nitin [editor.] | Nagarajaram, H A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Dense Image Correspondences for Computer Vision [electronic resource] / edited by Tal Hassner, Ce Liu.
by Hassner, Tal [editor.] | Liu, Ce [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Optimum Cooling of Data Centers [electronic resource] : Application of Risk Assessment and Mitigation Techniques / by Jun Dai, Michael M. Ohadi, Diganta Das, Michael G. Pecht.
by Dai, Jun [author.] | Ohadi, Michael M [author.] | Das, Diganta [author.] | Pecht, Michael G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Innovations in Computer Science and Engineering [electronic resource] : Proceedings of the Third ICICSE, 2015 / edited by H. S. Saini, Rishi Sayal, Sandeep Singh Rawat.
by Saini, H. S [editor.] | Sayal, Rishi [editor.] | Rawat, Sandeep Singh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
High Efficiency Video Coding [electronic resource] : Coding Tools and Specification / by Mathias Wien.
by Wien, Mathias [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Topics in Cryptology - CT-RSA 2016 [electronic resource] : The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings / edited by Kazue Sako.
by Sako, Kazue [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
