Your search returned 30125 results. Subscribe to this search

|
Serious Games [electronic resource] : Third Joint International Conference, JCSG 2017, Valencia, Spain, November 23-24, 2017, Proceedings / edited by Mariano Alcañiz, Stefan Göbel, Minhua Ma, Manuel Fradinho Oliveira, Jannicke Baalsrud Hauge, Tim Marsh.

by Alcañiz, Mariano [editor.] | Göbel, Stefan [editor.] | Ma, Minhua [editor.] | Fradinho Oliveira, Manuel [editor.] | Baalsrud Hauge, Jannicke [editor.] | Marsh, Tim [editor.] | SpringerLink (Online service).

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

Big Data Analytics [electronic resource] : 5th International Conference, BDA 2017, Hyderabad, India, December 12-15, 2017, Proceedings / edited by P. Krishna Reddy, Ashish Sureka, Sharma Chakravarthy, Subhash Bhalla.

by Reddy, P. Krishna [editor.] | Sureka, Ashish [editor.] | Chakravarthy, Sharma [editor.] | Bhalla, Subhash [editor.] | SpringerLink (Online service).

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

Human-Computer Interaction - INTERACT 2017 [electronic resource] : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV / edited by Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler.

by Bernhaupt, Regina [editor.] | Dalvi, Girish [editor.] | Joshi, Anirudha [editor.] | K. Balkrishan, Devanuj [editor.] | O'Neill, Jacki [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service).

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

Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Gita Sukthankar, Juan A. Rodriguez-Aguilar.

by Sukthankar, Gita [editor.] | Rodriguez-Aguilar, Juan A [editor.] | SpringerLink (Online service).

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

Information Theoretic Security [electronic resource] : 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings / edited by Junji Shikata.

by Shikata, Junji [editor.] | SpringerLink (Online service).

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

Critical Information Infrastructures Security [electronic resource] : 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers / edited by Grigore Havarneanu, Roberto Setola, Hypatia Nassopoulos, Stephen Wolthusen.

by Havarneanu, Grigore [editor.] | Setola, Roberto [editor.] | Nassopoulos, Hypatia [editor.] | Wolthusen, Stephen [editor.] | SpringerLink (Online service).

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

Spatial Cognition X [electronic resource] : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers / edited by Thomas Barkowsky, Heather Burte, Christoph Hölscher, Holger Schultheis.

by Barkowsky, Thomas [editor.] | Burte, Heather [editor.] | Hölscher, Christoph [editor.] | Schultheis, Holger [editor.] | SpringerLink (Online service).

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

Unconventional Computation and Natural Computation [electronic resource] : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings / edited by Susan Stepney, Sergey Verlan.

by Stepney, Susan [editor.] | Verlan, Sergey [editor.] | SpringerLink (Online service).

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

WALCOM: Algorithms and Computation [electronic resource] : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / edited by M. Sohel Rahman, Wing-Kin Sung, Ryuhei Uehara.

by Rahman, M. Sohel [editor.] | Sung, Wing-Kin [editor.] | Uehara, Ryuhei [editor.] | SpringerLink (Online service).

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

Graph Transformation, Specifications, and Nets [electronic resource] : In Memory of Hartmut Ehrig / edited by Reiko Heckel, Gabriele Taentzer.

by Heckel, Reiko [editor.] | Taentzer, Gabriele [editor.] | SpringerLink (Online service).

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

Dynamic Logic. New Trends and Applications [electronic resource] : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings / edited by Alexandre Madeira, Mário Benevides.

by Madeira, Alexandre [editor.] | Benevides, Mário [editor.] | SpringerLink (Online service).

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

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [electronic resource] : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Stephen Jarvis, Steven Wright, Simon Hammond.

by Jarvis, Stephen [editor.] | Wright, Steven [editor.] | Hammond, Simon [editor.] | SpringerLink (Online service).

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

Machine Learning, Optimization, and Big Data [electronic resource] : Third International Conference, MOD 2017, Volterra, Italy, September 14-17, 2017, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos, Giovanni Giuffrida, Renato Umeton.

by Nicosia, Giuseppe [editor.] | Pardalos, Panos [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [editor.] | SpringerLink (Online service).

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

Analytical and Computational Methods in Probability Theory [electronic resource] : First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings / edited by Vladimir V. Rykov, Nozer D. Singpurwalla, Andrey M. Zubkov.

by Rykov, Vladimir V [editor.] | Singpurwalla, Nozer D [editor.] | Zubkov, Andrey M [editor.] | SpringerLink (Online service).

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

Verified Software. Theories, Tools, and Experiments [electronic resource] : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers / edited by Andrei Paskevich, Thomas Wies.

by Paskevich, Andrei [editor.] | Wies, Thomas [editor.] | SpringerLink (Online service).

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

System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein.

by Haugen, Oystein [editor.] | Reed, Rick [editor.] | Gotzhein, Reinhard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Mathematical Knowledge Management [electronic resource] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings / edited by Jonathan Borwein, William M. Farmer.

by Borwein, Jonathan [editor.] | Farmer, William M [editor.] | SpringerLink (Online service).

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

CONCUR 2012- Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings / edited by Maciej Koutny, Irek Ulidowski.

by Koutny, Maciej [editor.] | Ulidowski, Irek [editor.] | SpringerLink (Online service).

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

Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / edited by Gregory Gutin, Stefan Szeider.

by Gutin, Gregory [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service).

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

Blockchain - ICBC 2018 [electronic resource] : First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / edited by Shiping Chen, Harry Wang, Liang-Jie Zhang.

by Chen, Shiping [editor.] | Wang, Harry [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service).

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