Your search returned 10983 results. Subscribe to this search

|
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

Software, Services, and Systems [electronic resource] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / edited by Rocco De Nicola, Rolf Hennicker.

by Nicola, Rocco De [editor.] | Hennicker, Rolf [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

Advanced Applications of Natural Language Processing for Performing Information Extraction [electronic resource] / by M�ario Rodrigues, Ant�onio Teixeira.

by Rodrigues, M�ario [author.] | Teixeira, Ant�onio [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, 2015Online access: Click here to access online Availability: No items available

Violence in Nigeria [electronic resource] : Patterns and Trends / by Patricia Taft, Nate Haken.

by Taft, Patricia [author.] | Haken, Nate [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, 2015Online access: Click here to access online Availability: No items available

Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II / edited by Yu-Jin Zhang.

by Zhang, Yu-Jin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.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

New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki.

by Motomura, Yoichi [editor.] | Butler, Alastair [editor.] | Bekki, Daisuke [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

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction [electronic resource] : Third IAPR TC3 Workshop, MPRSS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / edited by Friedhelm Schwenker, Stefan Scherer, Louis-Philippe Morency.

by Schwenker, Friedhelm [editor.] | Scherer, Stefan [editor.] | Morency, Louis-Philippe [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

The Mobility Revolution in the Automotive Industry [electronic resource] : How not to miss the digital turnpike / by Dr. Sebastian Wedeniwski.

by Wedeniwski, Dr. Sebastian [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, 2015Online access: Click here to access online Availability: No items available

Advances in Visual Computing [electronic resource] : 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven M. Drucker, Chandra Kambhamettu, Maha El Choubassi, Zhigang Deng, Mark Carlson.

by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | McMahan, Ryan [editor.] | Jerald, Jason [editor.] | Zhang, Hui [editor.] | Drucker, Steven M [editor.] | Kambhamettu, Chandra [editor.] | Choubassi, Maha El [editor.] | Deng, Zhigang [editor.] | Carlson, Mark [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

Knowledge-Based Software Engineering [electronic resource] : 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings / edited by Alla Kravets, Maxim Shcherbakov, Marina Kultsova, Tadashi Iijima.

by Kravets, Alla [editor.] | Shcherbakov, Maxim [editor.] | Kultsova, Marina [editor.] | Iijima, Tadashi [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

Research and Development in Intelligent Systems XXXII [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XXIII / edited by Max Bramer, Miltos Petridis.

by Bramer, Max [editor.] | Petridis, Miltos [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

Ambient Assisted Living and Daily Activities [electronic resource] : 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014. Proceedings / edited by Leandro Pecchia, Liming Luke Chen, Chris Nugent, Jos�e Bravo.

by Pecchia, Leandro [editor.] | Chen, Liming Luke [editor.] | Nugent, Chris [editor.] | Bravo, Jos�e [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 Network Analysis in Predictive Policing [electronic resource] : Concepts, Models and Methods / by Mohammad A. Tayebi, Uwe Gl�asser.

by Tayebi, Mohammad A [author.] | Gl�asser, Uwe [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

Propagation of Interval and Probabilistic Uncertainty in Cyberinfrastructure-related Data Processing and Data Fusion [electronic resource] / by Christian Servin, Vladik Kreinovich.

by Servin, Christian [author.] | Kreinovich, Vladik [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, 2015Online access: Click here to access online Availability: No items available

Smart Graphics [electronic resource] : 12th International Symposium, SG 2014, Taipei, Taiwan, August 27-29, 2014. Proceedings / edited by Marc Christie, Tsai-Yen Li.

by Christie, Marc [editor.] | Li, Tsai-Yen [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

Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 10th International Workshop, RFIDSec 2014, Oxford, UK, July 21-23, 2014, Revised Selected Papers / edited by Nitesh Saxena, Ahmad-Reza Sadeghi.

by Saxena, Nitesh [editor.] | Sadeghi, Ahmad-Reza [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

Data Structures and Algorithms with Python [electronic resource] / by Kent D. Lee, Steve Hubbard.

by Lee, Kent D [author.] | Hubbard, Steve [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, 2015Online access: Click here to access online Availability: No items available

Sequences and Their Applications - SETA 2014 [electronic resource] : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings / edited by Kai-Uwe Schmidt, Arne Winterhof.

by Schmidt, Kai-Uwe [editor.] | Winterhof, Arne [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

Information and Software Technologies [electronic resource] : 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings / edited by Giedre Dregvaite, Robertas Damasevicius.

by Dregvaite, Giedre [editor.] | Damasevicius, Robertas [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

Semantic Web Evaluation Challenge [electronic resource] : SemWebEval 2014 at ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers / edited by Valentina Presutti, Milan Stankovic, Erik Cambria, Iv�an Cantador, Angelo Di Iorio, Tommaso Di Noia, Christoph Lange, Diego Reforgiato Recupero, Anna Tordai.

by Presutti, Valentina [editor.] | Stankovic, Milan [editor.] | Cambria, Erik [editor.] | Cantador, Iv�an [editor.] | Di Iorio, Angelo [editor.] | Di Noia, Tommaso [editor.] | Lange, Christoph [editor.] | Reforgiato Recupero, Diego [editor.] | Tordai, Anna [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