|
|
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang.
by Finkbeiner, Bernd [editor.] | Pu, Geguang [editor.] | Zhang, Lijun [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
|
|
|
Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops [electronic resource] : LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers / edited by �ukasz Bolikowski, Vittore Casarosa, Paula Goodale, Nikos Houssos, Paolo Manghi, Jochen Schirrwagen.
by Bolikowski, �ukasz [editor.] | Casarosa, Vittore [editor.] | Goodale, Paula [editor.] | Houssos, Nikos [editor.] | Manghi, Paolo [editor.] | Schirrwagen, Jochen [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
|
|
|
Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems [electronic resource] : 8th International Conference, AC 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / edited by Dylan D. Schmorrow, Cali M. Fidopiastis.
by Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [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 Artificial Intelligence Systems [electronic resource] : 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014. Proceedings / edited by Marios Polycarpou, Andr�e C. P. L. F. de Carvalho, Jeng-Shyang Pan, Micha� Woźniak, H�ector Quintian, Emilio Corchado.
by Polycarpou, Marios [editor.] | Carvalho, Andr�e C. P. L. F. de [editor.] | Pan, Jeng-Shyang [editor.] | Woźniak, Micha� [editor.] | Quintian, H�ector [editor.] | Corchado, Emilio [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
|
|
|
Applied Cryptography and Network Security [electronic resource] : 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings / edited by Ioana Boureanu, Philippe Owesarski, Serge Vaudenay.
by Boureanu, Ioana [editor.] | Owesarski, Philippe [editor.] | Vaudenay, Serge [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
|
|
|
Universal Access in Human-Computer Interaction. Design for All and Accessibility Practice [electronic resource] : 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV / edited by Constantine Stephanidis, Margherita Antona.
by Stephanidis, Constantine [editor.] | Antona, Margherita [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
|
|
|
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / edited by Don Harris.
by Harris, Don [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
|
|
|
Learning and Collaboration Technologies. Designing and Developing Novel Learning Experiences [electronic resource] : First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I / 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, 2014Online access: Click here to access online Availability: No items available
|
|
|
Multimedia Communications, Services and Security [electronic resource] : 7th International Conference, MCSS 2014, Krakow, Poland, June 11-12, 2014. Proceedings / edited by Andrzej Dziech, Andrzej Czyżewski.
by Dziech, Andrzej [editor.] | Czyżewski, Andrzej [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
|
|
|
Informatics and Management Science VI [electronic resource] / edited by Wenjiang Du.
by Du, Wenjiang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Virtual, Augmented and Mixed Reality. Applications of Virtual and Augmented Reality [electronic resource] : 6th International Conference, VAMR 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II / 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, 2014Online access: Click here to access online Availability: No items available
|
|
|
Dimension-based Quality Modeling of Transmitted Speech [electronic resource] / by Marcel W�altermann.
by W�altermann, Marcel [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
|
|
|
Human-Computer Interaction. Applications and Services [electronic resource] : 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, 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, 2014Online access: Click here to access online Availability: No items available
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafa� Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafa� [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [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
|
|
|
Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
by Breugel, Franck van [editor.] | Kashefi, Elham [editor.] | Palamidessi, Catuscia [editor.] | Rutten, Jan [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
|
|
|
Secure Data Management [electronic resource] : 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings / edited by Willem Jonker, Milan Petković.
by Jonker, Willem [editor.] | Petković, Milan [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
|
|
|
Progress in Cryptology - AFRICACRYPT 2014 [electronic resource] : 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings / edited by David Pointcheval, Damien Vergnaud.
by Pointcheval, David [editor.] | Vergnaud, Damien [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
|
|
|
Privacy Technologies and Policy [electronic resource] : Second Annual Privacy Forum, APF 2014, Athens, Greece, May 20-21, 2014. Proceedings / edited by Bart Preneel, Demosthenes Ikonomou.
by Preneel, Bart [editor.] | Ikonomou, Demosthenes [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
|
|
|
Multivariate Network Visualization [electronic resource] : Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions / edited by Andreas Kerren, Helen C. Purchase, Matthew O. Ward.
by Kerren, Andreas [editor.] | Purchase, Helen C [editor.] | Ward, Matthew O [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
|
|
|
Computer Science - Theory and Applications [electronic resource] : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings / edited by Edward A. Hirsch, Sergei O. Kuznetsov, Jean-�Eric Pin, Nikolay K. Vereshchagin.
by Hirsch, Edward A [editor.] | Kuznetsov, Sergei O [editor.] | Pin, Jean-�Eric [editor.] | Vereshchagin, Nikolay K [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
|