Your search returned 2403 results. Subscribe to this search

|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magn�us M. Halld�orsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.

by Halld�orsson, Magn�us M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [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, 2015Online access: Click here to access online Availability: No items available

Human-Centered Software Engineering [electronic resource] : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings / edited by Stefan Sauer, Cristian Bogdan, Peter Forbrig, Regina Bernhaupt, Marco Winckler.

by Sauer, Stefan [editor.] | Bogdan, Cristian [editor.] | Forbrig, Peter [editor.] | Bernhaupt, Regina [editor.] | Winckler, Marco [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

New Horizons in Web Based Learning [electronic resource] : ICWL 2011 International Workshops, KMEL, ELSM, and SPeL, Hong Kong, December 8-10, 2011, ICWL 2012 International Workshops, KMEL, SciLearn, and CCSTED,Sinaia, Romania, September 2-4, 2012. Revised Selected Papers / edited by Dickson K. W. Chiu, Minhong Wang, Elvira Popescu, Qing Li, Rynson Lau.

by Chiu, Dickson K. W [editor.] | Wang, Minhong [editor.] | Popescu, Elvira [editor.] | Li, Qing [editor.] | Lau, Rynson [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

Computer and Computing Technologies in Agriculture IX [electronic resource] : 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I / edited by Daoliang Li, Zhenbo Li.

by Li, Daoliang [editor.] | Li, Zhenbo [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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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 Legacy and Interaction [electronic resource] : Post-Mortem Issues / edited by Cristiano Maciel, Vin�icius Carvalho Pereira.

by Maciel, Cristiano [editor.] | Pereira, Vin�icius Carvalho [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

Concurrent Programming: Algorithms, Principles, and Foundations [electronic resource] : Algorithms, Principles, and Foundations / by Michel Raynal.

by Raynal, Michel [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

Open Source Software: Mobile Open Source Technologies [electronic resource] : 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San Jos�e, Costa Rica, May 6-9, 2014. Proceedings / edited by Luis Corral, Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko, Anthony I. Wasserman.

by Corral, Luis [editor.] | Sillitti, Alberto [editor.] | Succi, Giancarlo [editor.] | Vlasenko, Jelena [editor.] | Wasserman, Anthony I [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

Multilevel Business Processes [electronic resource] : Modeling and Data Analysis / by Christoph G. Schuetz.

by G. Schuetz, Christoph [author.] | SpringerLink (Online service).

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

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings / edited by Erika �Abrah�am, Klaus Havelund.

by �Abrah�am, Erika [editor.] | Havelund, Klaus [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

Knowledge Sharing through Technology [electronic resource] : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong, China, July 10-11, 2013, Revised Selected Papers / edited by Jeanne Lam, Kam Cheong Li, Simon K. S. Cheung, Fu Lee Wang.

by Lam, Jeanne [editor.] | Li, Kam Cheong [editor.] | Cheung, Simon K. S [editor.] | Wang, Fu Lee [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

Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf L�ammel, Jo�ao Saraiva, Joost Visser.

by L�ammel, Ralf [editor.] | Saraiva, Jo�ao [editor.] | Visser, Joost [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

Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil.

by Lee, Minho [editor.] | Hirose, Akira [editor.] | Hou, Zeng-Guang [editor.] | Kil, Rhee Man [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

Critical Infrastructure Protection VII [electronic resource] : 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, Revised Selected Papers / edited by Jonathan Butts, Sujeet Shenoi.

by Butts, Jonathan [editor.] | Shenoi, Sujeet [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

Human Work Interaction Design. Work Analysis and HCI [electronic resource] : Third IFIP WG 13.6 Working Conference, HWID 2012, Copenhagen, Denmark, December 5-6, 2012, Revised Selected Papers / edited by Pedro Campos, Torkil Clemmensen, Jos�e Abdelnour Nocera, Dinesh Katre, Arminda Lopes, Rikke �rngreen.

by Campos, Pedro [editor.] | Clemmensen, Torkil [editor.] | Nocera, Jos�e Abdelnour [editor.] | Katre, Dinesh [editor.] | Lopes, Arminda [editor.] | �rngreen, Rikke [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

Collaboration and Technology [electronic resource] : 19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 - November 1, 2013, Proceedings / edited by Pedro Antunes, Marco Aur�elio Gerosa, Allan Sylvester, Julita Vassileva, Gert-Jan de Vreede.

by Antunes, Pedro [editor.] | Gerosa, Marco Aur�elio [editor.] | Sylvester, Allan [editor.] | Vassileva, Julita [editor.] | Vreede, Gert-Jan de [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

Activities of Transport Telematics [electronic resource] : 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23-26, 2013, Selected Papers / edited by Jerzy Mikulski.

by Mikulski, Jerzy [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

Fundamentals of Computation Theory [electronic resource] : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / edited by Leszek Gąsieniec, Frank Wolter.

by Gąsieniec, Leszek [editor.] | Wolter, Frank [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

Information Search, Integration and Personalization [electronic resource] : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers / edited by Yuzuru Tanaka, Nicolas Spyratos, Tetsuya Yoshida, Carlo Meghini.

by Tanaka, Yuzuru [editor.] | Spyratos, Nicolas [editor.] | Yoshida, Tetsuya [editor.] | Meghini, Carlo [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

Advances in Brain Inspired Cognitive Systems [electronic resource] : 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings / edited by Derong Liu, Cesare Alippi, Dongbin Zhao, Amir Hussain.

by Liu, Derong [editor.] | Alippi, Cesare [editor.] | Zhao, Dongbin [editor.] | Hussain, Amir [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