Your search returned 6741 results. Subscribe to this search

|
Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman.

by Costantini, Stefania [editor.] | Franconi, Enrico [editor.] | Van Woensel, William [editor.] | Kontchakov, Roman [editor.] | Sadri, Fariba [editor.] | Roman, Dumitru [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

Language and Automata Theory and Applications [electronic resource] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe.

by Dediu, Adrian-Horia [editor.] | Formenti, Enrico [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [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

Programming Multi-Agent Systems [electronic resource] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni.

by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Seghrouchni, Amal El Fallah [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

Artificial Intelligence and Soft Computing [electronic resource] : 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I / 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).

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

Transactions on Computational Collective Intelligence XI [electronic resource] / edited by Ngoc Thanh Nguyen.

by Nguyen, Ngoc Thanh [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

Cooperative Design, Visualization, and Engineering [electronic resource] : 13th International Conference, CDVE 2016, Sydney, NSW, Australia, October 24-27, 2016, Proceedings / edited by Yuhua Luo.

by Luo, Yuhua [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

Pattern Recognition and Image Analysis [electronic resource] : 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings / edited by Roberto Paredes, Jaime S. Cardoso, Xosé M. Pardo.

by Paredes, Roberto [editor.] | Cardoso, Jaime S [editor.] | Pardo, Xosé M [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

Advanced Intelligent Computing Theories and Applications [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III / edited by De-Shuang Huang, Kyungsook Han.

by Huang, De-Shuang [editor.] | Han, Kyungsook [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

Automated Deduction - CADE-25 [electronic resource] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / edited by Amy P. Felty, Aart Middeldorp.

by Felty, Amy P [editor.] | Middeldorp, Aart [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

Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I / edited by Chun-Yi Su, Subhash Rakheja, Liu Honghai.

by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Honghai, Liu [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

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / edited by Toshimitsu Masuzawa, Sébastien Tixeuil.

by Masuzawa, Toshimitsu [editor.] | Tixeuil, Sébastien [editor.] | SpringerLink (Online service).

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

Combinatorial Algorithms [electronic resource] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / edited by Veli Mäkinen, Simon J. Puglisi, Leena Salmela.

by Mäkinen, Veli [editor.] | Puglisi, Simon J [editor.] | Salmela, Leena [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

Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I / edited by Juan D. Velásquez, Sebastián A. Ríos.

by Velásquez, Juan D [editor.] | Ríos, Sebastián A [editor.] | SpringerLink (Online service).

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

Computer Analysis of Images and Patterns [electronic resource] : 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009, Proceedings / edited by Xiaoyi Jiang, Nicolai Petkov.

by Jiang, Xiaoyi [editor.] | Petkov, Nicolai [editor.] | SpringerLink (Online service).

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

Human-Computer Interaction. Novel User Experiences [electronic resource] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III / edited by Masaaki Kurosu.

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

Transactions on Edutainment VIII [electronic resource] / edited by Maiga Chang, Mingmin Zhang.

by Chang, Maiga [editor.] | Zhang, Mingmin [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

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by Madhusudan Parthasarathy, Sanjit A. Seshia.

by Parthasarathy, Madhusudan [editor.] | Seshia, Sanjit A [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

Brain and Health Informatics [electronic resource] : International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings / edited by Kazayuki Imamura, Shiro Usui, Tomoaki Shirao, Takuji Kasamatsu, Lars Schwabe, Ning Zhong.

by Imamura, Kazayuki [editor.] | Usui, Shiro [editor.] | Shirao, Tomoaki [editor.] | Kasamatsu, Takuji [editor.] | Schwabe, Lars [editor.] | Zhong, Ning [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

Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang.

by Urban, Christian [editor.] | Zhang, Xingyuan [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

Algorithmic Decision Theory [electronic resource] : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings / edited by Jörg Rothe.

by Rothe, Jörg [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