|
|
|
Natural and Artificial Reasoning [electronic resource] : An Exploration of Modelling Human Thinking / by Tom Addis.
by Addis, Tom [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
|
|
|
|
Advances in Brain Inspired Cognitive Systems [electronic resource] : 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings / edited by Cheng-Lin Liu, Amir Hussain, Bin Luo, Kay Chen Tan, Yi Zeng, Zhaoxiang Zhang.
by Liu, Cheng-Lin [editor.] | Hussain, Amir [editor.] | Luo, Bin [editor.] | Tan, Kay Chen [editor.] | Zeng, Yi [editor.] | Zhang, Zhaoxiang [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
|
|
|
|
Cloud Computing and Security [electronic resource] : Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part I / edited by Xingming Sun, Alex Liu, Han-Chieh Chao, Elisa Bertino.
by Sun, Xingming [editor.] | Liu, Alex [editor.] | Chao, Han-Chieh [editor.] | Bertino, Elisa [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
|
|
|
|
Learning and Collaboration Technologies [electronic resource] : Third International Conference, LCT 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Panayiotis Zaphiris, Andri Ioannou.
by Zaphiris, Panayiotis [editor.] | Ioannou, Andri [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
|
|
|
|
The International Workshop on Digital Forensics and Watermarking 2012 [electronic resource] : 11th International Workshop, IWDW 2012, Shanghai, China, October 31 - November 3, 2012, Revised Selected Papers / edited by Yun Q. Shi, Hyoung-Joong Kim, Fernando P�erez-Gonz�alez.
by Shi, Yun Q [editor.] | Kim, Hyoung-Joong [editor.] | P�erez-Gonz�alez, Fernando [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
|
|
|
|
Security and Privacy in Communication Networks [electronic resource] : 8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers / edited by Angelos D. Keromytis, Roberto Di Pietro.
by Keromytis, Angelos D [editor.] | Pietro, Roberto Di [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
|
|
|
|
Latent Variable Analysis and Signal Separation [electronic resource] : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / edited by Emmanuel Vincent, Arie Yeredor, Zbyněk Koldovsk�y, Petr Tichavsk�y.
by Vincent, Emmanuel [editor.] | Yeredor, Arie [editor.] | Koldovsk�y, Zbyněk [editor.] | Tichavsk�y, Petr [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
by Giacobazzi, Roberto [editor.] | Berdine, Josh [editor.] | Mastroeni, Isabella [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
|
|
|
|
Principles of Security and Trust [electronic resource] : 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Riccardo Focardi, Andrew Myers.
by Focardi, Riccardo [editor.] | Myers, Andrew [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
People, Problems, and Proofs [electronic resource] : Essays from G�odel's Lost Letter: 2010 / by Richard J. Lipton, Kenneth W. Regan.
by Lipton, Richard J [author.] | Regan, Kenneth W [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
|
|
|
|
Machine Learning Meets Medical Imaging [electronic resource] : First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers / edited by Kanwal Bhatia, Herve Lombaert.
by Bhatia, Kanwal [editor.] | Lombaert, Herve [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
|
|
|
|
Reliable Software Technologies - Ada-Europe 2014 [electronic resource] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / edited by Laurent George, Tullio Vardanega.
by George, Laurent [editor.] | Vardanega, Tullio [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
|
|
|
|
Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar.
by Bartocci, Ezio [editor.] | Majumdar, Rupak [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
|
|
|
|
Quantum Interaction [electronic resource] : 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers / edited by Harald Atmanspacher, Emmanuel Haven, Kirsty Kitto, Derek Raine.
by Atmanspacher, Harald [editor.] | Haven, Emmanuel [editor.] | Kitto, Kirsty [editor.] | Raine, Derek [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
End-User Development [electronic resource] : 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings / edited by Paloma D�iaz, Volkmar Pipek, Carmelo Ardito, Carlos Jensen, Ignacio Aedo, Alexander Boden.
by D�iaz, Paloma [editor.] | Pipek, Volkmar [editor.] | Ardito, Carmelo [editor.] | Jensen, Carlos [editor.] | Aedo, Ignacio [editor.] | Boden, Alexander [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
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg.
by Fomin, Fedor V [editor.] | Freivalds, Rūsiņš [editor.] | Kwiatkowska, Marta [editor.] | Peleg, David [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
|
|
|
|
Wireless Sensor Networks [electronic resource] : 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedings / edited by Tarek Abdelzaher, Nuno Pereira, Eduardo Tovar.
by Abdelzaher, Tarek [editor.] | Pereira, Nuno [editor.] | Tovar, Eduardo [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
|
|
|
|
Interactive Storytelling [electronic resource] : 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15-18, 2016, Proceedings / edited by Frank Nack, Andrew S. Gordon.
by Nack, Frank [editor.] | Gordon, Andrew S [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
|
|
|
|
Web Technologies and Applications [electronic resource] : APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings / edited by Atsuyuki Morishima, Rong Zhang, Wenjie Zhang, Lijun Chang, Tom Z. J Fu, Kuien Liu, Xiaoyan Yang, Jia Zhu, Zhiwei Zhang.
by Morishima, Atsuyuki [editor.] | Zhang, Rong [editor.] | Zhang, Wenjie [editor.] | Chang, Lijun [editor.] | Fu, Tom Z. J [editor.] | Liu, Kuien [editor.] | Yang, Xiaoyan [editor.] | Zhu, Jia [editor.] | Zhang, Zhiwei [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
|
|
|
|
Virtual, Augmented and Mixed Reality [electronic resource] : 8th International Conference, VAMR 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016. Proceedings / edited by Stephanie Lackey, Randall Shumaker.
by Lackey, Stephanie [editor.] | Shumaker, Randall [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
|
