|
|
|
Interactive Storytelling [electronic resource] : 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, Copenhagen, Denmark, November 30 - December 4, 2015, Proceedings / edited by Henrik Schoenau-Fog, Luis Emilio Bruni, Sandy Louchart, Sarune Baceviciute.
by Schoenau-Fog, Henrik [editor.] | Bruni, Luis Emilio [editor.] | Louchart, Sandy [editor.] | Baceviciute, Sarune [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Wireless Networking for Moving Objects [electronic resource] : Protocols, Architectures, Tools, Services and Applications / edited by Ivan Ganchev, Mar�ilia Curado, Andreas Kassler.
by Ganchev, Ivan [editor.] | Curado, Mar�ilia [editor.] | Kassler, Andreas [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa.
by Hung, Dang Van [editor.] | Ogawa, Mizuhito [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Fun with Algorithms [electronic resource] : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings / edited by Alfredo Ferro, Fabrizio Luccio, Peter Widmayer.
by Ferro, Alfredo [editor.] | Luccio, Fabrizio [editor.] | Widmayer, Peter [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
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.
by Shallit, Jeffrey [editor.] | Okhotin, 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
|
|
|
|
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan.
by Bartocci, Ezio [editor.] | Ramakrishnan, C. R [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
|
|
|
|
Distributed Computing [electronic resource] : 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings / edited by Fabian Kuhn.
by Kuhn, Fabian [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
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / edited by Jos�e L. Ayala, Delong Shang, Alex Yakovlev.
by Ayala, Jos�e L [editor.] | Shang, Delong [editor.] | Yakovlev, Alex [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
|
|
|
|
Spatial Information Theory [electronic resource] : 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings / edited by Thora Tenbrink, John Stell, Antony Galton, Zena Wood.
by Tenbrink, Thora [editor.] | Stell, John [editor.] | Galton, Antony [editor.] | Wood, Zena [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.
by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, 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
|
|
|
|
Cyberspace Safety and Security [electronic resource] : 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings / edited by Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan.
by Wang, Guojun [editor.] | Ray, Indrakshi [editor.] | Feng, Dengguo [editor.] | Rajarajan, Muttukrishnan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Databases in Networked Information Systems [electronic resource] : 10th International Workshop, DNIS 2015, Aizu-Wakamatsu, Japan, March 23-25, 2015. Proceedings / edited by Wanming Chu, Shinji Kikuchi, Subhash Bhalla.
by Chu, Wanming [editor.] | Kikuchi, Shinji [editor.] | Bhalla, Subhash [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
|
|
|
|
Data Warehousing and Knowledge Discovery [electronic resource] : 15th International Conference, DaWaK 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings / edited by Ladjel Bellatreche, Mukesh K. Mohania.
by Bellatreche, Ladjel [editor.] | Mohania, Mukesh K [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
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : Second European Conference, ESOCC 2013, M�alaga, Spain, September 11-13, 2013. Proceedings / edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel.
by Lau, Kung-Kiu [editor.] | Lamersdorf, Winfried [editor.] | Pimentel, Ernesto [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
|
|
|
|
Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers / edited by Jiuyong Li, Longbing Cao, Can Wang, Kay Chen Tan, Bo Liu, Jian Pei, Vincent S. Tseng.
by Li, Jiuyong [editor.] | Cao, Longbing [editor.] | Wang, Can [editor.] | Tan, Kay Chen [editor.] | Liu, Bo [editor.] | Pei, Jian [editor.] | Tseng, Vincent S [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
|
|
|
|
Pattern Recognition [electronic resource] : 5th Mexican Conference, MCPR 2013, Quer�etaro, Mexico, June 26-29, 2013. Proceedings / edited by Jes�us Ariel Carrasco-Ochoa, Jos�e Francisco Mart�inez-Trinidad, Joaqu�in Salas Rodr�iguez, Gabriella Sanniti di Baja.
by Carrasco-Ochoa, Jes�us Ariel [editor.] | Mart�inez-Trinidad, Jos�e Francisco [editor.] | Rodr�iguez, Joaqu�in Salas [editor.] | Baja, Gabriella Sanniti 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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers / edited by Ulrich Flegel, Evangelos Markatos, William Robertson.
by Flegel, Ulrich [editor.] | Markatos, Evangelos [editor.] | Robertson, William [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
|
|
|
|
Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II / edited by Shipeng Li, Abdulmotaleb El Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin.
by Li, Shipeng [editor.] | Saddik, Abdulmotaleb El [editor.] | Wang, Meng [editor.] | Mei, Tao [editor.] | Sebe, Nicu [editor.] | Yan, Shuicheng [editor.] | Hong, Richang [editor.] | Gurrin, Cathal [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
|
|
|
|
Worldwide Language Service Infrastructure [electronic resource] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / edited by Yohei Murakami, Donghui Lin.
by Murakami, Yohei [editor.] | Lin, Donghui [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
|
