|
|
|
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann.
by Jain, Sanjay [editor.] | Munos, Rémi [editor.] | Stephan, Frank [editor.] | Zeugmann, Thomas [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar.
by Li, Yi [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Rough Sets and Current Trends in Computing [electronic resource] : 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings / edited by JingTao Yao, Yan Yang, Roman Slowiński, Salvatore Greco, Huaxiong Li, Sushmita Mitra, Lech Polkowski.
by Yao, JingTao [editor.] | Yang, Yan [editor.] | Slowiński, Roman [editor.] | Greco, Salvatore [editor.] | Li, Huaxiong [editor.] | Mitra, Sushmita [editor.] | Polkowski, Lech [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
|
|
|
|
Process Support and Knowledge Representation in Health Care [electronic resource] : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013. Revised Selected Papers / edited by David Riano, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, Annette ten Teije.
by Riano, David [editor.] | Lenz, Richard [editor.] | Miksch, Silvia [editor.] | Peleg, Mor [editor.] | Reichert, Manfred [editor.] | ten Teije, Annette [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Kiem Hoang, Piotr Jedrzejowicz.
by Nguyen, Ngoc Thanh [editor.] | Hoang, Kiem [editor.] | Jedrzejowicz, Piotr [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
|
|
|
|
Partially Supervised Learning [electronic resource] : First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers / edited by Friedhelm Schwenker, Edmondo Trentin.
by Schwenker, Friedhelm [editor.] | Trentin, Edmondo [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
|
|
|
|
Social Robotics [electronic resource] : 6th International Conference, ICSR 2014, Sydney, NSW, Australia, October 27-29, 2014. Proceedings / edited by Michael Beetz, Benjamin Johnston, Mary-Anne Williams.
by Beetz, Michael [editor.] | Johnston, Benjamin [editor.] | Williams, Mary-Anne [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part I / edited by Toon Calders, Floriana Esposito, Eyke Hüllermeier, Rosa Meo.
by Calders, Toon [editor.] | Esposito, Floriana [editor.] | Hüllermeier, Eyke [editor.] | Meo, Rosa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013, Proceedings / edited by Luis Miguel Correia, Luís Paulo Reis, José Manuel Cascalho.
by Correia, Luis Miguel [editor.] | Reis, Luís Paulo [editor.] | Cascalho, José Manuel [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
|
|
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011, Proceedings / edited by Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry.
by Tang, Yongchuan [editor.] | Huynh, Van-Nam [editor.] | Lawry, Jonathan [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
|
|
|
|
Rough Sets and Knowledge Technology [electronic resource] : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings / edited by Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy W. Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu.
by Li, Tianrui [editor.] | Nguyen, Hung Son [editor.] | Wang, Guoyin [editor.] | Grzymala-Busse, Jerzy W [editor.] | Janicki, Ryszard [editor.] | Hassanien, Aboul Ella [editor.] | Yu, Hong [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
|
|
|
|
Brain Informatics [electronic resource] : International Conference, BI 2011, Lanzhou, China, September 7-9, 2011. Proceedings / edited by Bin Hu, Jiming Liu, Lin Chen, Ning Zhong.
by Hu, Bin [editor.] | Liu, Jiming [editor.] | Chen, Lin [editor.] | Zhong, Ning [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
|
|
|
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs.
by Perny, Patrice [editor.] | Pirlot, Marc [editor.] | Tsoukiàs, Alexis [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
|
|
|
|
Advances in Brain Inspired Cognitive Systems [electronic resource] : 5th International Conference, BICS 2012, Shenyang, Liaoning, China, July 11-14, 2012 Proceedings / edited by Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan Wang.
by Zhang, Huaguang [editor.] | Hussain, Amir [editor.] | Liu, Derong [editor.] | Wang, Zhanshan [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
|
|
|
|
Coordination, Organizations, Instiutions, and Norms in Agent System VII [electronic resource] : COIN 2011 International Workshops, COIN@AAMAS, Taipei, Taiwan, May 2011, COIN@WI-IAT, Lyon, France, August 2011, Revised Selected Papers / edited by Stephen Cranefield, M. Birna van Riemsdijk, Javier Vazquez-Salceda, Pablo Noriega.
by Cranefield, Stephen [editor.] | van Riemsdijk, M. Birna [editor.] | Vazquez-Salceda, Javier [editor.] | Noriega, Pablo [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases, Part II [electronic resource] : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part II / edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis.
by Gunopulos, Dimitrios [editor.] | Hofmann, Thomas [editor.] | Malerba, Donato [editor.] | Vazirgiannis, Michalis [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
|
|
|
|
Advances in Autonomous Robotics [electronic resource] : Joint Proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012, Proceedings / edited by Guido Herrmann, Matthew Studley, Martin Pearson, Andrew Conn, Chris Melhuish, Mark Witkowski, Jong-Hwan Kim, Prahlad Vadakkepat.
by Herrmann, Guido [editor.] | Studley, Matthew [editor.] | Pearson, Martin [editor.] | Conn, Andrew [editor.] | Melhuish, Chris [editor.] | Witkowski, Mark [editor.] | Kim, Jong-Hwan [editor.] | Vadakkepat, Prahlad [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
|
|
|
|
Modelling and Simulation for Autonomous Systems [electronic resource] : 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers / edited by Jan Mazal, Adriano Fagiolini, Petr Vašík, Agostino Bruzzone, Stefan Pickl, Vlastimil Neumann, Petr Stodola, Stefano Lo Storto.
by Mazal, Jan [editor.] | Fagiolini, Adriano [editor.] | Vašík, Petr [editor.] | Bruzzone, Agostino [editor.] | Pickl, Stefan [editor.] | Neumann, Vlastimil [editor.] | Stodola, Petr [editor.] | Lo Storto, Stefano [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision - ECCV 2022 Workshops [electronic resource] : Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part VI / edited by Leonid Karlinsky, Tomer Michaeli, Ko Nishino.
by Karlinsky, Leonid [editor.] | Michaeli, Tomer [editor.] | Nishino, Ko [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Topics in Cryptology - CT-RSA 2010 [electronic resource] : The 10th Cryptographers' Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings / edited by Josef Pieprzyk.
by Pieprzyk, Josef [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
|
