|
|
|
Progress in Artificial Intelligence [electronic resource] : 21st EPIA Conference on Artificial Intelligence, EPIA 2022, Lisbon, Portugal, August 31-September 2, 2022, Proceedings / edited by Goreti Marreiros, Bruno Martins, Ana Paiva, Bernardete Ribeiro, Alberto Sardinha.
by Marreiros, Goreti [editor.] | Martins, Bruno [editor.] | Paiva, Ana [editor.] | Ribeiro, Bernardete [editor.] | Sardinha, Alberto [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / edited by Manuel Serrano, Jurriaan Hage.
by Serrano, Manuel [editor.] | Hage, Jurriaan [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
|
|
|
|
Advances in Visual Computing [electronic resource] : 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven Drucker, Kambhamettu Chandra, El Choubassi Maha, Zhigang Deng, Mark Carlson.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | McMahan, Ryan [editor.] | Jerald, Jason [editor.] | Zhang, Hui [editor.] | Drucker, Steven [editor.] | Chandra, Kambhamettu [editor.] | Maha, El Choubassi [editor.] | Deng, Zhigang [editor.] | Carlson, Mark [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
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Deelman, Ewa [editor.] | Karczewski, Konrad [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
|
|
|
|
Machine Learning and Interpretation in Neuroimaging [electronic resource] : 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papers / edited by Irina Rish, Georg Langs, Leila Wehbe, Guillermo Cecchi, Kai-min Kevin Chang, Brian Murphy.
by Rish, Irina [editor.] | Langs, Georg [editor.] | Wehbe, Leila [editor.] | Cecchi, Guillermo [editor.] | Chang, Kai-min Kevin [editor.] | Murphy, Brian [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
|
|
|
|
Human Interface and the Management of Information. Interacting with Information [electronic resource] : Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings, Part II / edited by Gavriel Salvendy, Michael J. Smith.
by Salvendy, Gavriel [editor.] | Smith, Michael J [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
|
|
|
|
Biometric Recognition [electronic resource] : 6th Chinese Conference, CCBR 2011, Beijing, China, December 3-4, 2011. Proceedings / edited by Zhenan Sun, Jianhuang Lai, Xilin Chen, Tieniu Tan.
by Sun, Zhenan [editor.] | Lai, Jianhuang [editor.] | Chen, Xilin [editor.] | Tan, Tieniu [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
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings / edited by Weiru Liu.
by Liu, Weiru [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
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Jaime Sichman, Javier Vázquez-Salceda.
by Boissier, Olivier [editor.] | Padget, Julian [editor.] | Dignum, Virginia [editor.] | Lindemann, Gabriela [editor.] | Matson, Eric T [editor.] | Ossowski, Sascha [editor.] | Sichman, Jaime [editor.] | Vázquez-Salceda, Javier [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
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr.
by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [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
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / edited by Fabrizio Frati, Kwan-Liu Ma.
by Frati, Fabrizio [editor.] | Ma, Kwan-Liu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision -- ACCV 2014 [electronic resource] : 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part III / edited by Daniel Cremers, Ian Reid, Hideo Saito, Ming-Hsuan Yang.
by Cremers, Daniel [editor.] | Reid, Ian [editor.] | Saito, Hideo [editor.] | Yang, Ming-Hsuan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Agreement Technologies [electronic resource] : Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / edited by Carlos I. Chesnevar, Eva Onaindia de la Rivaherrera, Sascha Ossowski, George Vouros.
by Chesnevar, Carlos I [editor.] | Onaindia de la Rivaherrera, Eva [editor.] | Ossowski, Sascha [editor.] | Vouros, George [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
|
|
|
|
Semantic Web, Ontologies and Databases [electronic resource] : VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers / edited by Vassilis Christophides, Martine Collard, Claudio Gutierrez.
by Christophides, Vassilis [editor.] | Collard, Martine [editor.] | Gutierrez, Claudio [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
|
|
|
|
Social Computing, Behavioral-Cultural Modeling, and Prediction [electronic resource] : 8th International Conference, SBP 2015, Washington, DC, USA, March 31-April 3, 2015. Proceedings / edited by Nitin Agarwal, Kevin Xu, Nathaniel Osgood.
by Agarwal, Nitin [editor.] | Xu, Kevin [editor.] | Osgood, Nathaniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak.
by Majumdar, Rupak [editor.] | Kunčak, Viktor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10,2013, Proceedings / edited by Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, KAI XING.
by Ren, Kui [editor.] | Liu, Xue [editor.] | Liang, Weifa [editor.] | Xu, Ming [editor.] | Jia, Xiaohua [editor.] | XING, KAI [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
|
|
|
|
Artificial General Intelligence [electronic resource] : 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings / edited by Matthew Iklé, Arthur Franz, Rafal Rzepka, Ben Goertzel.
by Iklé, Matthew [editor.] | Franz, Arthur [editor.] | Rzepka, Rafal [editor.] | Goertzel, Ben [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II / edited by Ian F. C. Smith, Bernd Domer.
by Smith, Ian F. C [editor.] | Domer, Bernd [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings / edited by John Krogstie, Hajo A. Reijers.
by Krogstie, John [editor.] | Reijers, Hajo A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
