|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu.
by Brodman, James [editor.] | Tu, Peng [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
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / edited by Eran Yahav.
by Yahav, Eran [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
|
|
|
|
A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Mikhail Kovalev, Silvia M. M�uller, Wolfgang J. Paul.
by Kovalev, Mikhail [author.] | M�uller, Silvia M [author.] | Paul, Wolfgang J [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
|
|
|
|
Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / edited by Jo�el Ouaknine, Igor Potapov, James Worrell.
by Ouaknine, Jo�el [editor.] | Potapov, Igor [editor.] | Worrell, James [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 Computing in Bioinformatics [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings / edited by De-Shuang Huang, Kyungsook Han, Michael Gromiha.
by Huang, De-Shuang [editor.] | Han, Kyungsook [editor.] | Gromiha, Michael [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
|
|
|
|
Social Semantics [electronic resource] : The Search for Meaning on the Web / by Harry Halpin.
by Halpin, Harry [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Security and Privacy in Communication Networks [electronic resource] : 9th International ICST Conference, SecureComm 2013, Sydney, NSW, Australia, September 25-28, 2013, Revised Selected Papers / edited by Tanveer Zia, Albert Zomaya, Vijay Varadharajan, Morley Mao.
by Zia, Tanveer [editor.] | Zomaya, Albert [editor.] | Varadharajan, Vijay [editor.] | Mao, Morley [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
|
|
|
|
Small-Scale Robotics. From Nano-to-Millimeter-Sized Robotic Systems and Applications [electronic resource] : First International Workshop at ICRA 2013, Karlsruhe, Germany, May 6, 2013, Revised and Extended Papers / edited by Igor Paprotny, Sarah Bergbreiter.
by Paprotny, Igor [editor.] | Bergbreiter, Sarah [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 Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimar�aes, Portugal, March 29 --April 1, 2015. Proceedings, Part I / edited by Ant�onio Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello.
by Gaspar-Cunha, Ant�onio [editor.] | Henggeler Antunes, Carlos [editor.] | Coello, Carlos Coello [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
|
|
|
|
Beyond Interpretivism? New Encounters with Technology and Organization [electronic resource] : IFIP WG 8.2 Working Conference on Information Systems and Organizations, IS&O 2016, Dublin, Ireland, December 9-10, 2016, Proceedings / edited by Lucas Introna, Donncha Kavanagh, S�eamas Kelly, Wanda Orlikowski, Susan Scott.
by Introna, Lucas [editor.] | Kavanagh, Donncha [editor.] | Kelly, S�eamas [editor.] | Orlikowski, Wanda [editor.] | Scott, Susan [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
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte.
by Schulte, Christian [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
|
|
|
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings / edited by Costin Bǎdicǎ, Ngoc Thanh Nguyen, Marius Brezovan.
by Bǎdicǎ, Costin [editor.] | Nguyen, Ngoc Thanh [editor.] | Brezovan, Marius [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
|
|
|
|
International Communities of Invention and Innovation [electronic resource] : IFIP WG 9.7 International Conference on the History of Computing, HC 2016, Brooklyn, NY, USA, May 25-29, 2016, Revised Selected Papers / edited by Arthur Tatnall, Christopher Leslie.
by Tatnall, Arthur [editor.] | Leslie, Christopher [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
|
|
|
|
Information Literacy: Key to an Inclusive Society [electronic resource] : 4th European Conference, ECIL 2016, Prague, Czech Republic, October 10-13, 2016, Revised Selected Papers / edited by Serap Kurbanoğlu, Joumana Boustany, Sonja Špiranec, Esther Grassian, Diane Mizrachi, Loriene Roy, Tolga �Cakmak.
by Kurbanoğlu, Serap [editor.] | Boustany, Joumana [editor.] | Špiranec, Sonja [editor.] | Grassian, Esther [editor.] | Mizrachi, Diane [editor.] | Roy, Loriene [editor.] | �Cakmak, Tolga [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
|
|
|
|
Entertainment Computing - ICEC 2016 [electronic resource] : 15th IFIP TC 14 International Conference, Vienna, Austria, September 28-30, 2016, Proceedings / edited by G�unter Wallner, Simone Kriglstein, Helmut Hlavacs, Rainer Malaka, Artur Lugmayr, Hyun-Seung Yang.
by Wallner, G�unter [editor.] | Kriglstein, Simone [editor.] | Hlavacs, Helmut [editor.] | Malaka, Rainer [editor.] | Lugmayr, Artur [editor.] | Yang, Hyun-Seung [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
|
|
|
|
Computer Security - ESORICS 2016 [electronic resource] : 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I / edited by Ioannis Askoxylakis, Sotiris Ioannidis, Sokratis Katsikas, Catherine Meadows.
by Askoxylakis, Ioannis [editor.] | Ioannidis, Sotiris [editor.] | Katsikas, Sokratis [editor.] | Meadows, Catherine [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
|
|
|
|
Security of Industrial Control Systems and Cyber Physical Systems [electronic resource] : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers / edited by Adrien B�ecue, Nora Cuppens-Boulahia, Fr�ed�eric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis.
by B�ecue, Adrien [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Fr�ed�eric [editor.] | Katsikas, Sokratis [editor.] | Lambrinoudakis, Costas [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
|
|
|
|
Digital-Forensics and Watermarking [electronic resource] : 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers / edited by Yun-Qing Shi, Hyoung Joong Kim, Fernando P�erez-Gonz�alez, Isao Echizen.
by Shi, Yun-Qing [editor.] | Kim, Hyoung Joong [editor.] | P�erez-Gonz�alez, Fernando [editor.] | Echizen, Isao [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 World in 2050 and Beyond: A Window into the Future! [electronic resource] / edited by Ramjee Prasad, Sudhir Dixit.
by Prasad, Ramjee [editor.] | Dixit, Sudhir [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
|
|
|
|
Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems [electronic resource] : 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014, Revised Selected Papers / edited by Igor Bisio.
by Bisio, Igor [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
|
