|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Fundamentals of Music Processing [electronic resource] : Audio, Analysis, Algorithms, Applications / by Meinard M�uller.
by M�uller, Meinard [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
|
|
|
|
Computer Science and Its Applications [electronic resource] : 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings / edited by Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel.
by Amine, Abdelmalek [editor.] | Bellatreche, Ladjel [editor.] | Elberrichi, Zakaria [editor.] | Neuhold, Erich J [editor.] | Wrembel, Robert [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
HCI International 2015 - Posters' Extended Abstracts [electronic resource] : International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I / edited by Constantine Stephanidis.
by Stephanidis, Constantine [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
|
|
|
|
Introduction to Concurrency Theory [electronic resource] : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.
by Gorrieri, Roberto [author.] | Versari, Cristian [author.] | 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: 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
|
|
|
|
Virtual, Augmented and Mixed Reality [electronic resource] : 7th International Conference, VAMR 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings / edited by Randall Shumaker, Stephanie Lackey.
by Shumaker, Randall [editor.] | Lackey, Stephanie [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] : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / edited by Jordi Bieger, Ben Goertzel, Alexey Potapov.
by Bieger, Jordi [editor.] | Goertzel, Ben [editor.] | Potapov, Alexey [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
|
|
|
|
Human-Computer Interaction: Interaction Technologies [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II / 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
|
|
|
|
Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura.
by Agha, Gul [editor.] | Igarashi, Atsushi [editor.] | Kobayashi, Naoki [editor.] | Masuhara, Hidehiko [editor.] | Matsuoka, Satoshi [editor.] | Shibayama, Etsuya [editor.] | Taura, Kenjiro [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
|
|
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing [electronic resource] / edited by Roger Lee.
by Lee, Roger [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Conceptual Modeling [electronic resource] : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings / edited by Eric Yu, Gillian Dobbie, Matthias Jarke, Sandeep Purao.
by Yu, Eric [editor.] | Dobbie, Gillian [editor.] | Jarke, Matthias [editor.] | Purao, Sandeep [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
|
