|
|
|
Fast Software Encryption [electronic resource] : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers / edited by Thomas Peyrin.
by Peyrin, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Solving Software Challenges for Exascale [electronic resource] : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / edited by Stefano Markidis, Erwin Laure.
by Markidis, Stefano [editor.] | Laure, Erwin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
