Your search returned 14664 results. Subscribe to this search

|
Programming Languages and Systems [electronic resource] : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings / edited by Chung-chien Shan.

by Shan, Chung-chien [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

Case-Based Reasoning Research and Development [electronic resource] : 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings / edited by Luc Lamontagne, Enric Plaza.

by Lamontagne, Luc [editor.] | Plaza, Enric [editor.] | SpringerLink (Online service).

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

Latent Variable Analysis and Signal Separation [electronic resource] : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / edited by Emmanuel Vincent, Arie Yeredor, Zbyněk Koldovský, Petr Tichavský.

by Vincent, Emmanuel [editor.] | Yeredor, Arie [editor.] | Koldovský, Zbyněk [editor.] | Tichavský, Petr [editor.] | SpringerLink (Online service).

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

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).

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

Information Security Applications [electronic resource] : 14th International Workshop, WISA 2013, Jeju Island, Korea, August 19-21, 2013, Revised Selected Papers / edited by Yongdae Kim, Heejo Lee, Adrian Perrig.

by Kim, Yongdae [editor.] | Lee, Heejo [editor.] | Perrig, Adrian [editor.] | SpringerLink (Online service).

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

Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings / edited by Jón Atli Benediktsson, Jocelyn Chanussot, Laurent Najman, Hugues Talbot.

by Benediktsson, Jón Atli [editor.] | Chanussot, Jocelyn [editor.] | Najman, Laurent [editor.] | Talbot, Hugues [editor.] | SpringerLink (Online service).

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

Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I / edited by Lucio Tommaso De Paolis, Patrick Bourdot, Antonio Mongelli.

by De Paolis, Lucio Tommaso [editor.] | Bourdot, Patrick [editor.] | Mongelli, Antonio [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

Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue.

by Fiadeiro, José Luiz [editor.] | Liu, Zhiming [editor.] | Xue, Jinyun [editor.] | SpringerLink (Online service).

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

Mathematical Software - ICMS 2016 [electronic resource] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese.

by Greuel, Gert-Martin [editor.] | Koch, Thorsten [editor.] | Paule, Peter [editor.] | Sommese, Andrew [editor.] | SpringerLink (Online service).

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

Software Language Engineering [electronic resource] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju.

by Combemale, Benoit [editor.] | Pearce, David [editor.] | Barais, Olivier [editor.] | Vinju, Jurgen [editor.] | SpringerLink (Online service).

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

Engineering the Web in the Big Data Era [electronic resource] : 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings / edited by Philipp Cimiano, Flavius Frasincar, Geert-Jan Houben, Daniel Schwabe.

by Cimiano, Philipp [editor.] | Frasincar, Flavius [editor.] | Houben, Geert-Jan [editor.] | Schwabe, Daniel [editor.] | SpringerLink (Online service).

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

Theory and Applications of Satisfiability Testing - SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings / edited by Serge Gaspers, Toby Walsh.

by Gaspers, Serge [editor.] | Walsh, Toby [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

Engineering Secure Software and Systems [electronic resource] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova.

by Piessens, Frank [editor.] | Caballero, Juan [editor.] | Bielova, Nataliia [editor.] | SpringerLink (Online service).

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

The Semantic Web: ESWC 2018 Satellite Events [electronic resource] : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers / edited by Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z Pan, Mehwish Alam.

by Gangemi, Aldo [editor.] | Gentile, Anna Lisa [editor.] | Nuzzolese, Andrea Giovanni [editor.] | Rudolph, Sebastian [editor.] | Maleshkova, Maria [editor.] | Paulheim, Heiko [editor.] | Pan, Jeff Z [editor.] | Alam, Mehwish [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

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef.

by Rabe, Florian [editor.] | Farmer, William M [editor.] | Passmore, Grant O [editor.] | Youssef, Abdou [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

Human-Computer Interaction. Interaction in Context [electronic resource] : 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / edited by Masaaki Kurosu.

by Kurosu, Masaaki [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

Computational Logistics [electronic resource] : 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1-3, 2018, Proceedings / edited by Raffaele Cerulli, Andrea Raiconi, Stefan Voß.

by Cerulli, Raffaele [editor.] | Raiconi, Andrea [editor.] | Voß, Stefan [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

KI 2018: Advances in Artificial Intelligence [electronic resource] : 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings / edited by Frank Trollmann, Anni-Yasmin Turhan.

by Trollmann, Frank [editor.] | Turhan, Anni-Yasmin [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 in Medical Imaging [electronic resource] : 9th International Workshop, MLMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / edited by Yinghuan Shi, Heung-Il Suk, Mingxia Liu.

by Shi, Yinghuan [editor.] | Suk, Heung-Il [editor.] | Liu, Mingxia [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

Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I / edited by Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger.

by Frangi, Alejandro F [editor.] | Schnabel, Julia A [editor.] | Davatzikos, Christos [editor.] | Alberola-López, Carlos [editor.] | Fichtinger, Gabor [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