|
|
|
Interactive Theorem Proving [electronic resource] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz.
by Blanchette, Jasmin Christian [editor.] | Merz, Stephan [editor.] | 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
|
|
|
|
Engineering Applications of FPGAs [electronic resource] : Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems / by Esteban Tlelo-Cuautle, Jose Rangel-Magdaleno, Luis Gerardo de la Fraga.
by Tlelo-Cuautle, Esteban [author.] | Rangel-Magdaleno, Jose [author.] | de la Fraga, Luis Gerardo [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
|
|
|
|
Mobile Phone Security and Forensics [electronic resource] : A Practical Approach / by Iosif I. Androulidakis.
by Androulidakis, Iosif I [author.] | SpringerLink (Online service). Edition: 2nd ed. 2016.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
|
|
|
|
Separated Representations and PGD-Based Model Reduction [electronic resource] : Fundamentals and Applications / edited by Francisco Chinesta, Pierre Ladev�eze.
by Chinesta, Francisco [editor.] | Ladev�eze, Pierre [editor.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Confidentiality and Integrity in Crowdsourcing Systems [electronic resource] / by Amin Ranj Bar, Muthucumaru Maheswaran.
by Ranj Bar, Amin [author.] | Maheswaran, Muthucumaru [author.] | 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
|
|
|
|
Natural Gas and Renewable Methane for Powertrains [electronic resource] : Future Strategies for a Climate-Neutral Mobility / edited by Richard van Basshuysen.
by van Basshuysen, Richard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Computational Science and Its Applications -- ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A.C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [editor.] | 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
|
|
|
|
Cross-Cultural Multimedia Computing [electronic resource] : Semantic and Aesthetic Modeling / by Shlomo Dubnov, Kevin Burns, Yasushi Kiyoki.
by Dubnov, Shlomo [author.] | Burns, Kevin [author.] | Kiyoki, Yasushi [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
|
|
|
|
Computational Methods and Clinical Applications for Spine Imaging [electronic resource] : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / edited by Tomaž Vrtovec, Jianhua Yao, Ben Glocker, Tobias Klinder, Alejandro Frangi, Guoyan Zheng, Shuo Li.
by Vrtovec, Tomaž [editor.] | Yao, Jianhua [editor.] | Glocker, Ben [editor.] | Klinder, Tobias [editor.] | Frangi, Alejandro [editor.] | Zheng, Guoyan [editor.] | Li, Shuo [editor.] | 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
|
|
|
|
Social Networks: A Framework of Computational Intelligence [electronic resource] / edited by Witold Pedrycz, Shyi-Ming Chen.
by Pedrycz, Witold [editor.] | Chen, Shyi-Ming [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
|
|
|
|
Hybrid Classifiers [electronic resource] : Methods of Data, Knowledge, and Classifier Combination / by Michal Wozniak.
by Wozniak, Michal [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Conference on Future Automotive Technology [electronic resource] : Focus Electro Mobility / edited by Markus Lienkamp.
by Lienkamp, Markus [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Crisis Management for Software Development and Knowledge Transfer [electronic resource] / by Sergey V. Zykov.
by Zykov, Sergey V [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
|
|
|
|
Finitely Supported Mathematics [electronic resource] : An Introduction / by Andrei Alexandru, Gabriel Ciobanu.
by Alexandru, Andrei [author.] | Ciobanu, Gabriel [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
|
|
|
|
E-commerce Platform Acceptance [electronic resource] : Suppliers, Retailers, and Consumers / edited by Ewelina Lacka, Hing Kai Chan, Nick Yip.
by Lacka, Ewelina [editor.] | Chan, Hing Kai [editor.] | Yip, Nick [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
|
|
|
|
Introduction to the History of Computing [electronic resource] : A Computing History Primer / by Gerard O'Regan.
by O'Regan, Gerard [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
|
|
|
|
Information Retrieval [electronic resource] : 9th Russian Summer School, RuSSIR 2015, Saint Petersburg, Russia, August 24-28, 2015, Revised Selected Papers / edited by Pavel Braslavski, Ilya Markov, Panos Pardalos, Yana Volkovich, Dmitry I. Ignatov, Sergei Koltsov, Olessia Koltsova.
by Braslavski, Pavel [editor.] | Markov, Ilya [editor.] | Pardalos, Panos [editor.] | Volkovich, Yana [editor.] | Ignatov, Dmitry I [editor.] | Koltsov, Sergei [editor.] | Koltsova, Olessia [editor.] | 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
|
|
|
|
Non-Linear Finite Element Analysis in Structural Mechanics [electronic resource] / by Wilhelm Rust.
by Rust, Wilhelm [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
|
|
|
|
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, Proceedings / edited by Petra Perner.
by Perner, Petra [editor.] | 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
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 16th International Conference, IPCO 2013, Valpara�iso, Chile, March 18-20, 2013. Proceedings / edited by Michel Goemans, Jos�e Correa.
by Goemans, Michel [editor.] | Correa, Jos�e [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
|
