Your search returned 2505 results. Subscribe to this search

|
Bridging Constraint Satisfaction and Boolean Satisfiability [electronic resource] / by Justyna Petke.

by Petke, Justyna [author.] | 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

Introduction to Text Visualization [electronic resource] / by Nan Cao, Weiwei Cui.

by Cao, Nan [author.] | Cui, Weiwei [author.] | SpringerLink (Online service).

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

Artificial Intelligence Perspectives and Applications [electronic resource] : Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Applications / edited by Radek Silhavy, Roman Senkerik, Zuzana Kominkova Oplatkova, Zdenka Prokopova, Petr Silhavy.

by Silhavy, Radek [editor.] | Senkerik, Roman [editor.] | Oplatkova, Zuzana Kominkova [editor.] | Prokopova, Zdenka [editor.] | Silhavy, Petr [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

Artificial Intelligence in Education [electronic resource] : 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings / edited by Cristina Conati, Neil Heffernan, Antonija Mitrovic, M. Felisa Verdejo.

by Conati, Cristina [editor.] | Heffernan, Neil [editor.] | Mitrovic, Antonija [editor.] | Verdejo, M. Felisa [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

Technologies and Applications of Artificial Intelligence [electronic resource] : 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings / edited by Shin-Ming Cheng, Min-Yuh Day.

by Cheng, Shin-Ming [editor.] | Day, Min-Yuh [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

Advances in Artificial Intelligence and Soft Computing [electronic resource] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I / edited by Grigori Sidorov, Sof�ia N. Galicia-Haro.

by Sidorov, Grigori [editor.] | Galicia-Haro, Sof�ia N [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

AI 2015: Advances in Artificial Intelligence [electronic resource] : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / edited by Bernhard Pfahringer, Jochen Renz.

by Pfahringer, Bernhard [editor.] | Renz, Jochen [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

Constraint Solving and Planning with Picat [electronic resource] / by Neng-Fa Zhou, H�akan Kjellerstrand, Jonathan Fruhman.

by Zhou, Neng-Fa [author.] | Kjellerstrand, H�akan [author.] | Fruhman, Jonathan [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

AI*IA 2015 Advances in Artificial Intelligence [electronic resource] : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi.

by Gavanelli, Marco [editor.] | Lamma, Evelina [editor.] | Riguzzi, Fabrizio [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

Hybrid Metaheuristics [electronic resource] : Powerful Tools for Optimization / by Christian Blum, G�unther R. Raidl.

by Blum, Christian [author.] | Raidl, G�unther R [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, 2016Online access: Click here to access online Availability: No items available

Current Approaches in Applied Artificial Intelligence [electronic resource] : 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings / edited by Moonis Ali, Young Sig Kwon, Chang-Hwan Lee, Juntae Kim, Yongdai Kim.

by Ali, Moonis [editor.] | Kwon, Young Sig [editor.] | Lee, Chang-Hwan [editor.] | Kim, Juntae [editor.] | Kim, Yongdai [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

KI 2013: Advances in Artificial Intelligence [electronic resource] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Ingo J. Timm, Matthias Thimm.

by Timm, Ingo J [editor.] | Thimm, Matthias [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

Agents and Artificial Intelligence [electronic resource] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / edited by B�eatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe.

by Duval, B�eatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [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

Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence [electronic resource] : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011 / edited by David L. Dowe.

by Dowe, David L [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

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.

by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [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

Artificial Intelligence in Education [electronic resource] : 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings / edited by H. Chad Lane, Kalina Yacef, Jack Mostow, Philip Pavlik.

by Lane, H. Chad [editor.] | Yacef, Kalina [editor.] | Mostow, Jack [editor.] | Pavlik, Philip [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

Human-Inspired Computing and Its Applications [electronic resource] : 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Guti�errez, Mexico, November 16-22, 2014. Proceedings, Part I / edited by Alexander Gelbukh, F�elix Castro Espinoza, Sof�ia N. Galicia-Haro.

by Gelbukh, Alexander [editor.] | Espinoza, F�elix Castro [editor.] | Galicia-Haro, Sof�ia N [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

Advances in Artificial Intelligence and Its Applications [electronic resource] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II / edited by Obdulia Pichardo Lagunas, Oscar Herrera Alc�antara, Gustavo Arroyo Figueroa.

by Pichardo Lagunas, Obdulia [editor.] | Herrera Alc�antara, Oscar [editor.] | Arroyo Figueroa, Gustavo [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

Advances in Artificial Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potos�i, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part I / edited by Ildar Batyrshin, Miguel Gonz�alez Mendoza.

by Batyrshin, Ildar [editor.] | Gonz�alez Mendoza, Miguel [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

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

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