Your search returned 7134 results. Subscribe to this search

|
Software Engineering and Formal Methods [electronic resource] : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers / edited by Javier Camara, Martin Steffen.

by Camara, Javier [editor.] | Steffen, Martin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Artificial Intelligence in Education [electronic resource] : 21st International Conference, AIED 2020, Ifrane, Morocco, July 6-10, 2020, Proceedings, Part II / edited by Ig Ibert Bittencourt, Mutlu Cukurova, Kasia Muldner, Rose Luckin, Eva Millán.

by Bittencourt, Ig Ibert [editor.] | Cukurova, Mutlu [editor.] | Muldner, Kasia [editor.] | Luckin, Rose [editor.] | Millán, Eva [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Biomedical Image Registration [electronic resource] : 9th International Workshop, WBIR 2020, Portorož, Slovenia, December 1-2, 2020, Proceedings / edited by Žiga Špiclin, Jamie McClelland, Jan Kybic, Orcun Goksel.

by Špiclin, Žiga [editor.] | McClelland, Jamie [editor.] | Kybic, Jan [editor.] | Goksel, Orcun [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges [electronic resource] : Second International Workshop, STACOM 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011, Revised Selected Papers / edited by Oscar Camara, E. Konukoglu, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young.

by Camara, Oscar [editor.] | Konukoglu, E [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Logic and Its Applications [electronic resource] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings / edited by Mohua Banerjee, A. V. Sreejith.

by Banerjee, Mohua [editor.] | Sreejith, A. V [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Product-Focused Software Process Improvement [electronic resource] : 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings / edited by Maurizio Morisio, Marco Torchiano, Andreas Jedlitschka.

by Morisio, Maurizio [editor.] | Torchiano, Marco [editor.] | Jedlitschka, Andreas [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Computer Vision - ECCV 2020 [electronic resource] : 16th European Conference, Glasgow, UK, August 23-28, 2020, Proceedings, Part XVII / edited by Andrea Vedaldi, Horst Bischof, Thomas Brox, Jan-Michael Frahm.

by Vedaldi, Andrea [editor.] | Bischof, Horst [editor.] | Brox, Thomas [editor.] | Frahm, Jan-Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Wireless Algorithms, Systems, and Applications [electronic resource] : 15th International Conference, WASA 2020, Qingdao, China, September 13-15, 2020, Proceedings, Part I / edited by Dongxiao Yu, Falko Dressler, Jiguo Yu.

by Yu, Dongxiao [editor.] | Dressler, Falko [editor.] | Yu, Jiguo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers / edited by Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki.

by Kurahashi, Setsuya [editor.] | Ohta, Yuiko [editor.] | Arai, Sachiyo [editor.] | Satoh, Ken [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Knowledge Engineering and Knowledge Management [electronic resource] : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / edited by Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini.

by Lambrix, Patrick [editor.] | Hyvönen, Eero [editor.] | Blomqvist, Eva [editor.] | Presutti, Valentina [editor.] | Qi, Guilin [editor.] | Sattler, Uli [editor.] | Ding, Ying [editor.] | Ghidini, Chiara [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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 2016: Advances in Artificial Intelligence [electronic resource] : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / edited by Gerhard Friedrich, Malte Helmert, Franz Wotawa.

by Friedrich, Gerhard [editor.] | Helmert, Malte [editor.] | Wotawa, Franz [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014, Proceedings / edited by Pasi Fränti, Gavin Brown, Marco Loog, Francisco Escolano, Marcello Pelillo.

by Fränti, Pasi [editor.] | Brown, Gavin [editor.] | Loog, Marco [editor.] | Escolano, Francisco [editor.] | Pelillo, Marcello [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Multimodal Communication in Political Speech Shaping Minds and Social Action [electronic resource] : International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers / edited by Isabella Poggi, Francesca D'Errico, Laura Vincze, Alessandro Vinciarelli.

by Poggi, Isabella [editor.] | D'Errico, Francesca [editor.] | Vincze, Laura [editor.] | Vinciarelli, Alessandro [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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

Digital Heritage [electronic resource] : Progress in Cultural Heritage. Documentation, Preservation, and Protection5th International Conference, EuroMed 2014, Limassol, Cyprus, November 3-8, 2014, Proceedings / edited by Marinos Ioannides, Nadia Magnenat-Thalmann, Eleanor Fink, Roko Zarnic, Alex-Yianing Yen, Ewald Quak.

by Ioannides, Marinos [editor.] | Magnenat-Thalmann, Nadia [editor.] | Fink, Eleanor [editor.] | Zarnic, Roko [editor.] | Yen, Alex-Yianing [editor.] | Quak, Ewald [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Advanced Information Systems Engineering [electronic resource] : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / edited by Jelena Zdravkovic, Marite Kirikova, Paul Johannesson.

by Zdravkovic, Jelena [editor.] | Kirikova, Marite [editor.] | Johannesson, Paul [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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

Intelligent Computing Theories and Methodologies [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne.

by Huang, De-Shuang [editor.] | Bevilacqua, Vitoantonio [editor.] | Premaratne, Prashan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [electronic resource] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort.

by Remke, Anne [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings / edited by Bruno Sericola, Telek Miklós, Gábor Horváth.

by Sericola, Bruno [editor.] | Miklós, Telek [editor.] | Horváth, Gábor [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Computer Vision - ECCV 2016 Workshops [electronic resource] : Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II / edited by Gang Hua, Hervé Jégou.

by Hua, Gang [editor.] | Jégou, Hervé [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Web Information Systems Engineering - WISE 2016 [electronic resource] : 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II / edited by Wojciech Cellary, Mohamed F. Mokbel, Jianmin Wang, Hua Wang, Rui Zhou, Yanchun Zhang.

by Cellary, Wojciech [editor.] | Mokbel, Mohamed F [editor.] | Wang, Jianmin [editor.] | Wang, Hua [editor.] | Zhou, Rui [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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