Your search returned 6052 results. Subscribe to this search

|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.

by Hildebrandt, Thomas [editor.] | Ravara, António [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [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

Knowledge Science, Engineering and Management [electronic resource] : 11th International Conference, KSEM 2018, Changchun, China, August 17-19, 2018, Proceedings, Part II / edited by Weiru Liu, Fausto Giunchiglia, Bo Yang.

by Liu, Weiru [editor.] | Giunchiglia, Fausto [editor.] | Yang, Bo [editor.] | SpringerLink (Online service).

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

Product-Focused Software Process Improvement [electronic resource] : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings / edited by Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler.

by Felderer, Michael [editor.] | Méndez Fernández, Daniel [editor.] | Turhan, Burak [editor.] | Kalinowski, Marcos [editor.] | Sarro, Federica [editor.] | Winkler, Dietmar [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

Intelligent Computing Theories and Application [electronic resource] : 18th International Conference, ICIC 2022, Xi'an, China, August 7-11, 2022, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Junfeng Jing, Prashan Premaratne, Vitoantonio Bevilacqua, Abir Hussain.

by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Jing, Junfeng [editor.] | Premaratne, Prashan [editor.] | Bevilacqua, Vitoantonio [editor.] | Hussain, Abir [editor.] | SpringerLink (Online service).

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

Privacy in Statistical Databases [electronic resource] : International Conference, PSD 2022, Paris, France, September 21-23, 2022, Proceedings / edited by Josep Domingo-Ferrer, Maryline Laurent.

by Domingo-Ferrer, Josep [editor.] | Laurent, Maryline [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online 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 Book; Format: electronic available online remote; 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 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

Natural Language Processing and Chinese Computing [electronic resource] : 7th CCF International Conference, NLPCC 2018, Hohhot, China, August 26-30, 2018, Proceedings, Part I / edited by Min Zhang, Vincent Ng, Dongyan Zhao, Sujian Li, Hongying Zan.

by Zhang, Min [editor.] | Ng, Vincent [editor.] | Zhao, Dongyan [editor.] | Li, Sujian [editor.] | Zan, Hongying [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Heterogeneous Data Management, Polystores, and Analytics for Healthcare [electronic resource] : VLDB 2019 Workshops, Poly and DMAH, Los Angeles, CA, USA, August 30, 2019, Revised Selected Papers / edited by Vijay Gadepally, Timothy Mattson, Michael Stonebraker, Fusheng Wang, Gang Luo, Yanhui Laing, Alevtina Dubovitskaya.

by Gadepally, Vijay [editor.] | Mattson, Timothy [editor.] | Stonebraker, Michael [editor.] | Wang, Fusheng [editor.] | Luo, Gang [editor.] | Laing, Yanhui [editor.] | Dubovitskaya, Alevtina [editor.] | SpringerLink (Online service).

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

Human Centered Computing [electronic resource] : 5th International Conference, HCC 2019, Čačak, Serbia, August 5-7, 2019, Revised Selected Papers / edited by Danijela Milošević, Yong Tang, Qiaohong Zu.

by Milošević, Danijela [editor.] | Tang, Yong [editor.] | Zu, Qiaohong [editor.] | SpringerLink (Online service).

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

The Semantic Web [electronic resource] : 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31-June 4, 2020, Proceedings / edited by Andreas Harth, Sabrina Kirrane, Axel-Cyrille Ngonga Ngomo, Heiko Paulheim, Anisa Rula, Anna Lisa Gentile, Peter Haase, Michael Cochez.

by Harth, Andreas [editor.] | Kirrane, Sabrina [editor.] | Ngonga Ngomo, Axel-Cyrille [editor.] | Paulheim, Heiko [editor.] | Rula, Anisa [editor.] | Gentile, Anna Lisa [editor.] | Haase, Peter [editor.] | Cochez, 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

Model-driven Simulation and Training Environments for Cybersecurity [electronic resource] : Second International Workshop, MSTEC 2020, Guildford, UK, September 14-18, 2020, Revised Selected Papers / edited by George Hatzivasilis, Sotiris Ioannidis.

by Hatzivasilis, George [editor.] | Ioannidis, Sotiris [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

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022 [electronic resource] : 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part V / edited by Linwei Wang, Qi Dou, P. Thomas Fletcher, Stefanie Speidel, Shuo Li.

by Wang, Linwei [editor.] | Dou, Qi [editor.] | Fletcher, P. Thomas [editor.] | Speidel, Stefanie [editor.] | Li, Shuo [editor.] | SpringerLink (Online service).

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

Computational and Corpus-Based Phraseology [electronic resource] : 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings / edited by Gloria Corpas Pastor, Ruslan Mitkov.

by Corpas Pastor, Gloria [editor.] | Mitkov, Ruslan [editor.] | SpringerLink (Online service).

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

Intelligent Information and Database Systems [electronic resource] : 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Duong Hung Hoang, Tzung-Pei Hong, Hoang Pham, Bogdan Trawiński.

by Nguyen, Ngoc Thanh [editor.] | Hoang, Duong Hung [editor.] | Hong, Tzung-Pei [editor.] | Pham, Hoang [editor.] | Trawiński, Bogdan [editor.] | SpringerLink (Online service).

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

Big Data Analytics and Knowledge Discovery [electronic resource] : 21st International Conference, DaWaK 2019, Linz, Austria, August 26-29, 2019, Proceedings / edited by Carlos Ordonez, Il-Yeol Song, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil.

by Ordonez, Carlos [editor.] | Song, Il-Yeol [editor.] | Anderst-Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [editor.] | SpringerLink (Online service).

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

Text, Speech, and Dialogue [electronic resource] : 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11-13, 2019, Proceedings / edited by Kamil Ekštein.

by Ekštein, Kamil [editor.] | SpringerLink (Online service).

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