Your search returned 5976 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available