Your search returned 30125 results. Subscribe to this search

|
Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings / edited by Jasmin Fisher.

by Fisher, Jasmin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Modeling and Retrieval of Context [electronic resource] : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers / edited by Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake.

by Roth-Berghofer, Thomas R [editor.] | Schulz, Stefan [editor.] | Leake, David B [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 Proceedings / edited by Jürgen Dix, Cees Witteveen.

by Dix, Jürgen [editor.] | Witteveen, Cees [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Haptics: Perception, Devices, Mobility, and Communication [electronic resource] : 8th International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012 Proceedings, Part II / edited by Poika Isokoski, Jukka Springare.

by Isokoski, Poika [editor.] | Springare, Jukka [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Communications and Multimedia Security [electronic resource] : 9th IFIP TC-6 TC-11 International Conference, CMS 2005, Salzburg, Austria, September 19-21, 2005, Proceedings / edited by Jana Dittmann, Stefan Katzenbeisser, Andreas Uhl.

by Dittmann, Jana [editor.] | Katzenbeisser, Stefan [editor.] | Uhl, Andreas [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Software Engineering Education in the Modern Age [electronic resource] : Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / edited by Paola Inverardi, Mehdi Jazayeri.

by Inverardi, Paola [editor.] | Jazayeri, Mehdi [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Algorithmic Game Theory [electronic resource] : 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings / edited by Martin Gairing, Rahul Savani.

by Gairing, Martin [editor.] | Savani, Rahul [editor.] | SpringerLink (Online service).

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

Advances in Artificial Intelligence [electronic resource] : 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I / edited by Ildar Batyrshin, Grigori Sidorov.

by Batyrshin, Ildar [editor.] | Sidorov, Grigori [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Research in Computational Molecular Biology [electronic resource] : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings / edited by Vineet Bafna, S. Cenk Sahinalp.

by Bafna, Vineet [editor.] | Sahinalp, S. Cenk [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Human Interface and the Management of Information. Interacting in Information Environments [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Michael J. Smith, Gavriel Salvendy.

by Smith, Michael J [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Advanced Intelligent Computing [electronic resource] : 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers / edited by De-Shuang Huang, Yong Gan, Vitoantonio Bevilacqua, Juan Carlos Figueroa.

by Huang, De-Shuang [editor.] | Gan, Yong [editor.] | Bevilacqua, Vitoantonio [editor.] | Figueroa, Juan Carlos [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Web Technologies and Applications [electronic resource] : 13th Asia-Pacific Web Conference, APWeb 2011, Beijing, Chiina, April 18-20, 2011. Proceedings / edited by Xiaoyong Du, Wenfei Fan, Jianmin Wang, Zhiyong Peng, Mohamed A. Sharaf.

by Du, Xiaoyong [editor.] | Fan, Wenfei [editor.] | Wang, Jianmin [editor.] | Peng, Zhiyong [editor.] | Sharaf, Mohamed A [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Theory of Quantum Computation, Communication and Cryptography [electronic resource] : 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13. Revised Selected Papers / edited by Andrew Childs, Michele Mosca.

by Childs, Andrew [editor.] | Mosca, Michele [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings / edited by Richard F. Paige, Alan Hartman, Arend Rensink.

by Paige, Richard F [editor.] | Hartman, Alan [editor.] | Rensink, Arend [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Design, User Experience, and Usability: User Experience in Novel Technological Environments [electronic resource] : Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III / edited by Aaron Marcus.

by Marcus, Aaron [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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 Interface and the Management of Information [electronic resource] : Information and Interaction Design, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Sakae Yamamoto.

by Yamamoto, Sakae [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / edited by Armin Biere, Carla P. Gomes.

by Biere, Armin [editor.] | Gomes, Carla P [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings / edited by Raoul Medina, Sergei Obiedkov.

by Medina, Raoul [editor.] | Obiedkov, Sergei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Agents and Peer-to-Peer Computing [electronic resource] : Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers / edited by Gianluca Moro, Sonia Bergamaschi, Karl Aberer.

by Moro, Gianluca [editor.] | Bergamaschi, Sonia [editor.] | Aberer, Karl [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / edited by Erzsebet Csuhaj-Varju, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil.

by Csuhaj-Varju, Erzsebet [editor.] | Gheorghe, Marian [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Vaszil, György [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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