|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / edited by Franz Baader, Andrei Voronkov.
by Baader, Franz [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
Genetic Programming [electronic resource] : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012, Proceedings / edited by Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, Carlos Cotta.
by Moraglio, Alberto [editor.] | Silva, Sara [editor.] | Krawiec, Krzysztof [editor.] | Machado, Penousal [editor.] | Cotta, Carlos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
Genetic Programming [electronic resource] : 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings / edited by Marc Ebner, Michael O'Neill, Anikó Ekárt, Leonardo Vanneschi, Anna Isabel Esparcia-Alcázar.
by Ebner, Marc [editor.] | O'Neill, Michael [editor.] | Ekárt, Anikó [editor.] | Vanneschi, Leonardo [editor.] | Esparcia-Alcázar, Anna Isabel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings / edited by Hui Xiong, W.B. Lee.
by Xiong, Hui [editor.] | Lee, W.B [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
GeoSpatial Semantics [electronic resource] : Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007 / edited by Frederico Fonseca, M. Andrea Rodriguez, Sergei Levashkin.
by Fonseca, Frederico [editor.] | Rodriguez, M. Andrea [editor.] | Levashkin, Sergei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner.
by Filliatre, Jean-Christophe [editor.] | Paulin-Mohring, Christine [editor.] | Werner, Benjamin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
New Horizons in Web Based Learning [electronic resource] : ICWL 2014 International Workshops, SPeL, PRASAE, IWMPL, OBIE, and KMEL, FET, Tallinn, Estonia, August 14-17, 2014, Revised Selected Papers / edited by Yiwei Cao, Terje Väljataga, Jeff K.T. Tang, Howard Leung, Mart Laanpere.
by Cao, Yiwei [editor.] | Väljataga, Terje [editor.] | Tang, Jeff K.T [editor.] | Leung, Howard [editor.] | Laanpere, Mart [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.
by Väänänen, Jouko [editor.] | Hirvonen, Åsa [editor.] | de Queiroz, Ruy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Environments for Multi-Agent Systems III [electronic resource] : Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers / edited by Danny Weyns, H. Van Dyke Parunak, Fabien Michel.
by Weyns, Danny [editor.] | Parunak, H. Van Dyke [editor.] | Michel, Fabien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
Semantic Technology [electronic resource] : Third Joint International Conference, JIST 2013, Seoul, South Korea, November 28--30, 2013, Revised Selected Papers / edited by Wooju Kim, Ying Ding, Hong-Gee Kim.
by Kim, Wooju [editor.] | Ding, Ying [editor.] | Kim, Hong-Gee [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
Articulated Motion and Deformable Objects [electronic resource] : 7th International Conference, AMDO 2012, Port d'Andratx, Mallorca, Spain, July 11-13, 2012, Proceedings / edited by Francisco Jose Perales Lopez, Robert B. Fisher, Thomas B. Moeslund.
by Perales Lopez, Francisco Jose [editor.] | Fisher, Robert B [editor.] | Moeslund, Thomas B [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
Advances in Web-Based Learning - ICWL 2010 [electronic resource] : 9th International Conference, Shanghai, China, December 8-10, 2010, Proceedings / edited by Xiangfeng Luo, Marc Spaniol, Lizhe Wang, Qing Li, Wolfgang Nejdl, Wu Zhang.
by Luo, Xiangfeng [editor.] | Spaniol, Marc [editor.] | Wang, Lizhe [editor.] | Li, Qing [editor.] | Nejdl, Wolfgang [editor.] | Zhang, Wu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
Functional and Logic Programming [electronic resource] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / edited by Michael Codish, Eijiro Sumii.
by Codish, Michael [editor.] | Sumii, Eijiro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
Advances in Neural Networks -- ISNN 2010 [electronic resource] : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I / edited by James Kwok, Bao-Liang Lu, Liqing Zhang, Bao-Liang Lu.
by Kwok, James [editor.] | Lu, Bao-Liang [editor.] | Zhang, Liqing [editor.] | Lu, Bao-Liang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013, Proceedings / edited by Zengchang Qin, Van-Nam Huynh.
by Qin, Zengchang [editor.] | Huynh, Van-Nam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings / edited by André Gagalowicz, Wilfried Philips.
by Gagalowicz, André [editor.] | Philips, Wilfried [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
Neural Information Processing [electronic resource] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu.
by Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade.
by Calmet, Jacques [editor.] | Geiselmann, Willi [editor.] | Müller-Quade, Jörn [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
Intelligent Virtual Agents [electronic resource] : 9th International Conference, IVA 2009 Amsterdam, The Netherlands, September 14-16, 2009 Proceedings / edited by Zsófia Ruttkay, Michael Kipp, Anton Nijholt, Hannes Högni Vilhjálmsson.
by Ruttkay, Zsófia [editor.] | Kipp, Michael [editor.] | Nijholt, Anton [editor.] | Vilhjálmsson, Hannes Högni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
Journal on Data Semantics V [electronic resource] / edited by Stefano Spaccapietra, Paolo Atzeni, Wesley W. Chu, Tiziana Catarci, Katia P. Sycara.
by Spaccapietra, Stefano [editor.] | Atzeni, Paolo [editor.] | Chu, Wesley W [editor.] | Catarci, Tiziana [editor.] | Sycara, Katia P [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|