Your search returned 637 results. Subscribe to this search

|
Knowledge Science, Engineering and Management [electronic resource] : 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings / edited by Mingzheng Wang.

by Wang, Mingzheng [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

Network and Parallel Computing [electronic resource] : 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014. Proceedings / edited by Ching-Hsien Hsu, Xuanhua Shi, Valentina Salapura.

by Hsu, Ching-Hsien [editor.] | Shi, Xuanhua [editor.] | Salapura, Valentina [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

Distributed Applications and Interoperable Systems [electronic resource] : 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by M�ark Jelasity, Evangelia Kalyvianaki.

by Jelasity, M�ark [editor.] | Kalyvianaki, Evangelia [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

Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko.

by Gorbenko, Anatoliy [editor.] | Romanovsky, Alexander [editor.] | Kharchenko, Vyacheslav [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

Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn.

by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [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

Transactions on Modularity and Composition I [electronic resource] / edited by Shigeru Chiba, Mario S�udholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens.

by Chiba, Shigeru [editor.] | S�udholt, Mario [editor.] | Eugster, Patrick [editor.] | Ziarek, Lukasz [editor.] | Leavens, Gary T [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

Introduction to Cryptography with Maple [electronic resource] / by Jos�e Luis G�omez Pardo.

by G�omez Pardo, Jos�e Luis [author.] | 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

NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi.

by Havelund, Klaus [editor.] | Holzmann, Gerard [editor.] | Joshi, Rajeev [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

Programming with Python [electronic resource] / by T R Padmanabhan.

by Padmanabhan, T R [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Architecture of Computing Systems - ARCS 2014 [electronic resource] : 27th International Conference, L�ubeck, Germany, February 25-28, 2014. Proceedings / edited by Erik Maehle, Kay R�omer, Wolfgang Karl, Eduardo Tovar.

by Maehle, Erik [editor.] | R�omer, Kay [editor.] | Karl, Wolfgang [editor.] | Tovar, Eduardo [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

Analyzing Time Interval Data [electronic resource] : Introducing an Information System for Time Interval Data Analysis / by Philipp Meisen.

by Meisen, Philipp [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available

Coordination of Complex Sociotechnical Systems [electronic resource] : Self-organisation of Knowledge in MoK / by Stefano Mariani.

by Mariani, Stefano [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, 2016Online access: Click here to access online Availability: No items available

Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa.

by Hung, Dang Van [editor.] | Ogawa, Mizuhito [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

Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Krak�ow, Poland, October 27-28, 2016, Proceedings / edited by Tadeusz Czach�orski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent.

by Czach�orski, Tadeusz [editor.] | Gelenbe, Erol [editor.] | Grochla, Krzysztof [editor.] | Lent, Ricardo [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

Science Gateways for Distributed Computing Infrastructures [electronic resource] : Development Framework and Exploitation by Scientific User Communities / edited by P�eter Kacsuk.

by Kacsuk, P�eter [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

History and Philosophy of Computing [electronic resource] : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / edited by Fabio Gadducci, Mirko Tavosanis.

by Gadducci, Fabio [editor.] | Tavosanis, Mirko [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

Variation Based Dense 3D Reconstruction [electronic resource] : Application on Monocular Mini-Laparoscopic Sequences / by Sven Painer.

by Painer, Sven [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available

Innovative Technologies for Dependable OTS-Based Critical Systems [electronic resource] : Challenges and Achievements of the CRITICAL STEP Project / edited by Domenico Cotroneo.

by Cotroneo, Domenico [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Milano : Springer Milan : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.

by Falaschi, Moreno [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

Python for Signal Processing [electronic resource] : Featuring IPython Notebooks / by Jos�e Unpingco.

by Unpingco, Jos�e [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