|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.
by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings / edited by Stuart P. Wilson, Paul F.M.J. Verschure, Anna Mura, Tony J. Prescott.
by Wilson, Stuart P [editor.] | Verschure, Paul F.M.J [editor.] | Mura, Anna [editor.] | Prescott, Tony J [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
|
|
|
|
Human-Computer Interaction - INTERACT 2015 [electronic resource] : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II / edited by Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler.
by Abascal, Julio [editor.] | Barbosa, Simone [editor.] | Fetter, Mirko [editor.] | Gross, Tom [editor.] | Palanque, Philippe [editor.] | Winckler, Marco [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
|
|
|
|
e-Infrastructure and e-Services [electronic resource] : 7th International Conference, AFRICOMM 2015, Cotonou, Benin, December 15-16, 2015, Revised Selected Papers / edited by Roch Glitho, Marco Zennaro, Fatna Belqasmi, Max Agueh.
by Glitho, Roch [editor.] | Zennaro, Marco [editor.] | Belqasmi, Fatna [editor.] | Agueh, Max [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
|
|
|
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rog�erio de Lemos, Holger Giese, Hausi A. M�uller, Mary Shaw.
by Lemos, Rog�erio de [editor.] | Giese, Holger [editor.] | M�uller, Hausi A [editor.] | Shaw, Mary [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
|
|
|
|
Semantic Technology [electronic resource] : 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers / edited by Thepchai Supnithi, Takahira Yamaguchi, Jeff Z. Pan, Vilas Wuwongse, Marut Buranarach.
by Supnithi, Thepchai [editor.] | Yamaguchi, Takahira [editor.] | Pan, Jeff Z [editor.] | Wuwongse, Vilas [editor.] | Buranarach, Marut [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
|
|
|
|
E-Voting and Identity [electronic resource] : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / edited by Rolf Haenni, Reto E. Koenig, Douglas Wikstr�om.
by Haenni, Rolf [editor.] | Koenig, Reto E [editor.] | Wikstr�om, Douglas [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
|
|
|
|
Artificial General Intelligence [electronic resource] : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings / edited by Ben Goertzel, Laurent Orseau, Javier Snaider.
by Goertzel, Ben [editor.] | Orseau, Laurent [editor.] | Snaider, Javier [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings / edited by Kuai Xu, Haojin Zhu.
by Xu, Kuai [editor.] | Zhu, Haojin [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
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2015 [electronic resource] : 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part III / edited by Nassir Navab, Joachim Hornegger, William M. Wells, Alejandro F. Frangi.
by Navab, Nassir [editor.] | Hornegger, Joachim [editor.] | Wells, William M [editor.] | Frangi, Alejandro F [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
|
|
|
|
Euro-Par 2015: Parallel Processing Workshops [electronic resource] : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / edited by Sascha Hunold, Alexandru Costan, Domingo Gim�enez, Alexandru Iosup, Laura Ricci, Mar�ia Engracia G�omez Requena, Vittorio Scarano, Ana Lucia Varbanescu, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer, Michael Alexander.
by Hunold, Sascha [editor.] | Costan, Alexandru [editor.] | Gim�enez, Domingo [editor.] | Iosup, Alexandru [editor.] | Ricci, Laura [editor.] | G�omez Requena, Mar�ia Engracia [editor.] | Scarano, Vittorio [editor.] | Varbanescu, Ana Lucia [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Weidendorfer, Josef [editor.] | Alexander, Michael [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
|
|
|
|
Algorithms and Data Structures [electronic resource] : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings / edited by Frank Dehne, J�org-R�udiger Sack, Ulrike Stege.
by Dehne, Frank [editor.] | Sack, J�org-R�udiger [editor.] | Stege, Ulrike [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
|
|
|
|
3D Research Challenges in Cultural Heritage II [electronic resource] : How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage / edited by Sander M�unster, Mieke Pfarr-Harfst, Piotr Kuroczyński, Marinos Ioannides.
by M�unster, Sander [editor.] | Pfarr-Harfst, Mieke [editor.] | Kuroczyński, Piotr [editor.] | Ioannides, Marinos [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
|
|
|
|
Big Data Computing and Communications [electronic resource] : First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings / edited by Yu Wang, Hui Xiong, Shlomo Argamon, XiangYang Li, JianZhong Li.
by Wang, Yu [editor.] | Xiong, Hui [editor.] | Argamon, Shlomo [editor.] | Li, XiangYang [editor.] | Li, JianZhong [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
|
|
|
|
Rule Technologies: Foundations, Tools, and Applications [electronic resource] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman.
by Bassiliades, Nick [editor.] | Gottlob, Georg [editor.] | Sadri, Fariba [editor.] | Paschke, Adrian [editor.] | Roman, Dumitru [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI [electronic resource] : Selected Papers from ACOMP 2013 / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Tran Khanh Dang, Nam Thoai.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Dang, Tran Khanh [editor.] | Thoai, Nam [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
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers / edited by Stefan Mangard, Axel Y. Poschmann.
by Mangard, Stefan [editor.] | Poschmann, Axel Y [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
|
|
|
|
Risk Assessment and Risk-Driven Testing [electronic resource] : First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers / edited by Thomas Bauer, J�urgen Gro�mann, Fredrik Seehusen, Ketil St�len, Marc-Florian Wendland.
by Bauer, Thomas [editor.] | Gro�mann, J�urgen [editor.] | Seehusen, Fredrik [editor.] | St�len, Ketil [editor.] | Wendland, Marc-Florian [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
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XI [electronic resource] : Special Issue on Advanced Data Stream Management and Continuous Query Processing / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Bernd Amann, Philippe Lamarre.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Amann, Bernd [editor.] | Lamarre, Philippe [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
|
|
|
|
Human-Computer Interaction: Users and Contexts [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
