|
|
|
Automated Deduction - CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina.
by Bonacina, Maria Paola [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; 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 Data Mining. Applications and Theoretical Aspects [electronic resource] : 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings / edited by Petra Perner.
by Perner, Petra [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; 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 Medicine [electronic resource] : 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 - June 1, 2013. Proceedings / edited by Niels Peek, Roque Mar�in Morales, Mor Peleg.
by Peek, Niels [editor.] | Mar�in Morales, Roque [editor.] | Peleg, Mor [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Engineering and Management [electronic resource] : Proceedings of the Seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 (ISKE 2012) / edited by Fuchun Sun, Tianrui Li, Hongbo Li.
by Sun, Fuchun [editor.] | Li, Tianrui [editor.] | Li, Hongbo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert.
by Albert, Elvira [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos.
by Baldoni, Matteo [editor.] | Dennis, Louise [editor.] | Mascardi, Viviana [editor.] | Vasconcelos, Wamberto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Conceptual Structures for STEM Research and Education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / edited by Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju.
by Pfeiffer, Heather D [editor.] | Ignatov, Dmitry I [editor.] | Poelmans, Jonas [editor.] | Gadiraju, Nagarjuna [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Tools for Building a Scientific Information Platform [electronic resource] : Advanced Architectures and Solutions / edited by Robert Bembenik, Lukasz Skonieczny, Henryk Rybinski, Marzena Kryszkiewicz, Marek Niezgodka.
by Bembenik, Robert [editor.] | Skonieczny, Lukasz [editor.] | Rybinski, Henryk [editor.] | Kryszkiewicz, Marzena [editor.] | Niezgodka, Marek [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings / edited by Davide Ciucci, Masahiro Inuiguchi, Yiyu Yao, Dominik Ślęzak, Guoyin Wang.
by Ciucci, Davide [editor.] | Inuiguchi, Masahiro [editor.] | Yao, Yiyu [editor.] | Ślęzak, Dominik [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
The Metaphysical Nature of the Non-adequacy Claim [electronic resource] : An Epistemological Analysis of the Debate on Probability in Artificial Intelligence / by Carlotta Piscopo.
by Piscopo, Carlotta [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; 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 Intelligent Systems and Applications - Volume 2 [electronic resource] : Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12-14, 2012 / edited by Jeng-Shyang Pan, Ching-Nung Yang, Chia-Chen Lin.
by Pan, Jeng-Shyang [editor.] | Yang, Ching-Nung [editor.] | Lin, Chia-Chen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Research and Development in Intelligent Systems XXX [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Miltos Petridis.
by Bramer, Max [editor.] | Petridis, Miltos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision in Sports [electronic resource] / edited by Thomas B. Moeslund, Graham Thomas, Adrian Hilton.
by Moeslund, Thomas B [editor.] | Thomas, Graham [editor.] | Hilton, Adrian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Robots and Sensor Clouds [electronic resource] / edited by Anis Koubaa, Elhadi Shakshuki.
by Koubaa, Anis [editor.] | Shakshuki, Elhadi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligence Computation and Evolutionary Computation [electronic resource] : Results of 2012 International Conference of Intelligence Computation and Evolutionary Computation ICEC 2012 Held July 7, 2012 in Wuhan, China / edited by Zhenyu Du.
by Du, Zhenyu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Financial Portfolio Composition based on Evolutionary Computation Strategies [electronic resource] / by Antonio Gorgulho, Rui F.M.F. Neves, Nuno C.G. Horta.
by Gorgulho, Antonio [author.] | Neves, Rui F.M.F [author.] | Horta, Nuno C.G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt.
by Fontaine, Pascal [editor.] | Ringeissen, Christophe [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Approaches to Intelligent Information and Database Systems [electronic resource] / edited by Janusz Sobecki, Veera Boonjing, Suphamit Chittayasothorn.
by Sobecki, Janusz [editor.] | Boonjing, Veera [editor.] | Chittayasothorn, Suphamit [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafal [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
