Your search returned 10983 results. Subscribe to this search

|
A Survey of Characteristic Engine Features for Technology-Sustained Pervasive Games [electronic resource] / by Kim J.L. Nevelsteen.

by Nevelsteen, Kim J.L [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings / edited by Linda C. van der Gaag.

by Gaag, Linda C. van der [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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 Cryptology -- CRYPTO 2015 [electronic resource] : 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I / edited by Rosario Gennaro, Matthew Robshaw.

by Gennaro, Rosario [editor.] | Robshaw, Matthew [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.

by Khendek, Ferhat [editor.] | Toeroe, Maria [editor.] | Gherbi, Abdelouahed [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Brain-Computer Interface Research [electronic resource] : A State-of-the-Art Summary 3 / edited by Christoph Guger, Theresa Vaughan, Brendan Allison.

by Guger, Christoph [editor.] | Vaughan, Theresa [editor.] | Allison, Brendan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / edited by Javier Campos, Boudewijn R. Haverkort.

by Campos, Javier [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings / edited by Sheela Ramanna, Pawan Lingras, Chattrakul Sombattheera, Aneesh Krishna.

by Ramanna, Sheela [editor.] | Lingras, Pawan [editor.] | Sombattheera, Chattrakul [editor.] | Krishna, Aneesh [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / edited by Christian W. Probst, Chris Hankin, Ren�e Rydhof Hansen.

by Probst, Christian W [editor.] | Hankin, Chris [editor.] | Hansen, Ren�e Rydhof [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

AI Approaches to the Complexity of Legal Systems [electronic resource] : AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers / edited by Pompeu Casanovas, Ugo Pagallo, Monica Palmirani, Giovanni Sartor.

by Casanovas, Pompeu [editor.] | Pagallo, Ugo [editor.] | Palmirani, Monica [editor.] | Sartor, Giovanni [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Physiological Computing Systems [electronic resource] : First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / edited by Hugo Pl�acido da Silva, Andreas Holzinger, Stephen Fairclough, Dennis Majoe.

by da Silva, Hugo Pl�acido [editor.] | Holzinger, Andreas [editor.] | Fairclough, Stephen [editor.] | Majoe, Dennis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Models and Algorithms for Genome Evolution [electronic resource] / edited by Cedric Chauve, Nadia El-Mabrouk, Eric Tannier.

by Chauve, Cedric [editor.] | El-Mabrouk, Nadia [editor.] | Tannier, Eric [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Asia Pacific Business Process Management [electronic resource] : Third Asia Pacific Conference, AP-BPM 2015, Busan, South Korea, June 24-26, 2015, Proceedings / edited by Joonsoo Bae, Suriadi Suriadi, Lijie Wen.

by Bae, Joonsoo [editor.] | Suriadi, Suriadi [editor.] | Wen, Lijie [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Intelligent Computation in Big Data Era [electronic resource] : International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2015, Harbin, China, January 10-12, 2015. Proceedings / edited by Hongzhi Wang, Haoliang Qi, Wanxiang Che, Zhaowen Qiu, Leilei Kong, Zhongyuan Han, Junyu Lin, Zeguang Lu.

by Wang, Hongzhi [editor.] | Qi, Haoliang [editor.] | Che, Wanxiang [editor.] | Qiu, Zhaowen [editor.] | Kong, Leilei [editor.] | Han, Zhongyuan [editor.] | Lin, Junyu [editor.] | Lu, Zeguang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Formal Grammar [electronic resource] : 19th International Conference, FG 2014, T�ubingen, Germany, August 16-17, 2014. Proceedings / edited by Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter.

by Morrill, Glyn [editor.] | Muskens, Reinhard [editor.] | Osswald, Rainer [editor.] | Richter, Frank [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Advances in Information and Computer Security [electronic resource] : 9th International Workshop on Security, IWSEC 2014, Hirosaki, Japan, August 27-29, 2014. Proceedings / edited by Maki Yoshida, Koichi Mouri.

by Yoshida, Maki [editor.] | Mouri, Koichi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Rewriting and Typed Lambda Calculi [electronic resource] : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gilles Dowek.

by Dowek, Gilles [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

On the Move to Meaningful Internet Systems: OTM 2014 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings / edited by Robert Meersman, Herv�e Panetto, Alok Mishra, Rafael Valencia-Garc�ia, Ant�onio Lucas Soares, Ioana Ciuciu, Fernando Ferri, Georg Weichhart, Thomas Moser, Michele Bezzi, Henry Chan.

by Meersman, Robert [editor.] | Panetto, Herv�e [editor.] | Mishra, Alok [editor.] | Valencia-Garc�ia, Rafael [editor.] | Soares, Ant�onio Lucas [editor.] | Ciuciu, Ioana [editor.] | Ferri, Fernando [editor.] | Weichhart, Georg [editor.] | Moser, Thomas [editor.] | Bezzi, Michele [editor.] | Chan, Henry [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

E-Business and Telecommunications [electronic resource] : International Joint Conference, ICETE 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers / edited by Mohammad S. Obaidat, Joaquim Filipe.

by Obaidat, Mohammad S [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Information Systems, E-learning, and Knowledge Management Research [electronic resource] : 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers / edited by Miltiadis D. Lytras, Da Ruan, Robert D. Tennyson, Patricia Ordonez De Pablos, Francisco Jos�e Garc�ia Pe�nalvo, Lazar Rusu.

by Lytras, Miltiadis D [editor.] | Ruan, Da [editor.] | Tennyson, Robert D [editor.] | Ordonez De Pablos, Patricia [editor.] | Garc�ia Pe�nalvo, Francisco Jos�e [editor.] | Rusu, Lazar [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Computer Engineering and Technology [electronic resource] : 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu.

by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Zhang, Chengyi [editor.] | Li, Jinwen [editor.] | Yu, Liyan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available