|
|
|
Ophthalmic Medical Image Analysis [electronic resource] : 7th International Workshop, OMIA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings / edited by Huazhu Fu, Mona K. Garvin, Tom MacGillivray, Yanwu Xu, Yalin Zheng.
by Fu, Huazhu [editor.] | Garvin, Mona K [editor.] | MacGillivray, Tom [editor.] | Xu, Yanwu [editor.] | Zheng, Yalin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
IP Operations and Management [electronic resource] : 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009, Proceedings / edited by Giorgio Nunzi, Caterina Scoglio, Xing Li.
by Nunzi, Giorgio [editor.] | Scoglio, Caterina [editor.] | Li, Xing [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
|
|
|
|
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings / edited by Jorge Cuellar, Tom Maibaum.
by Cuellar, Jorge [editor.] | Maibaum, Tom [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
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 21st International Conference, IPCO 2020, London, UK, June 8-10, 2020, Proceedings / edited by Daniel Bienstock, Giacomo Zambelli.
by Bienstock, Daniel [editor.] | Zambelli, Giacomo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Network and System Security [electronic resource] : 13th International Conference, NSS 2019, Sapporo, Japan, December 15-18, 2019, Proceedings / edited by Joseph K. Liu, Xinyi Huang.
by Liu, Joseph K [editor.] | Huang, Xinyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings / edited by Andre A. Cire.
by Cire, Andre A [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
|
|
|
|
Artificial Neural Networks in Pattern Recognition [electronic resource] : Third IAPR TC3 Workshop, ANNPR 2008 Paris, France, July 2-4, 2008, Proceedings / edited by Lionel Prevost, Simone Marinai, Friedhelm Schwenker.
by Prevost, Lionel [editor.] | Marinai, Simone [editor.] | Schwenker, Friedhelm [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
|
|
|
|
Computer-Mediated Social Networking [electronic resource] : First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2009, Revised Selected Papers / edited by Maryam Purvis, Bastin Tony Roy Savarimuthu.
by Purvis, Maryam [editor.] | Savarimuthu, Bastin Tony Roy [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings / edited by Serge Gaspers, Toby Walsh.
by Gaspers, Serge [editor.] | Walsh, Toby [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
|
|
|
|
Computational Logistics [electronic resource] : 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1-3, 2018, Proceedings / edited by Raffaele Cerulli, Andrea Raiconi, Stefan Voß.
by Cerulli, Raffaele [editor.] | Raiconi, Andrea [editor.] | Voß, Stefan [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
|
|
|
|
Social Informatics [electronic resource] : 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part II / edited by Steffen Staab, Olessia Koltsova, Dmitry I. Ignatov.
by Staab, Steffen [editor.] | Koltsova, Olessia [editor.] | Ignatov, Dmitry I [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
|
|
|
|
Programming and Performance Visualization Tools [electronic resource] : International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers / edited by Abhinav Bhatele, David Boehme, Joshua A. Levine, Allen D. Malony, Martin Schulz.
by Bhatele, Abhinav [editor.] | Boehme, David [editor.] | Levine, Joshua A [editor.] | Malony, Allen D [editor.] | Schulz, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : Second Chinese Conference, PRCV 2019, Xi'an, China, November 8-11, 2019, Proceedings, Part II / edited by Zhouchen Lin, Liang Wang, Jian Yang, Guangming Shi, Tieniu Tan, Nanning Zheng, Xilin Chen, Yanning Zhang.
by Lin, Zhouchen [editor.] | Wang, Liang [editor.] | Yang, Jian [editor.] | Shi, Guangming [editor.] | Tan, Tieniu [editor.] | Zheng, Nanning [editor.] | Chen, Xilin [editor.] | Zhang, Yanning [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings / edited by Keren Censor-Hillel, Michele Flammini.
by Censor-Hillel, Keren [editor.] | Flammini, Michele [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26-29, 2019, Proceedings / edited by David Riaño, Szymon Wilk, Annette ten Teije.
by Riaño, David [editor.] | Wilk, Szymon [editor.] | ten Teije, Annette [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov.
by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Internet of Vehicles. Technologies and Services Toward Smart Cities [electronic resource] : 6th International Conference, IOV 2019, Kaohsiung, Taiwan, November 18-21, 2019, Proceedings / edited by Ching-Hsien Hsu, Sondès Kallel, Kun-Chan Lan, Zibin Zheng.
by Hsu, Ching-Hsien [editor.] | Kallel, Sondès [editor.] | Lan, Kun-Chan [editor.] | Zheng, Zibin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Benchmarking, Measuring, and Optimizing [electronic resource] : Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019, Revised Selected Papers / edited by Wanling Gao, Jianfeng Zhan, Geoffrey Fox, Xiaoyi Lu, Dan Stanzione.
by Gao, Wanling [editor.] | Zhan, Jianfeng [editor.] | Fox, Geoffrey [editor.] | Lu, Xiaoyi [editor.] | Stanzione, Dan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Rigorous State-Based Methods [electronic resource] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings / edited by Alexander Raschke, Dominique Méry, Frank Houdek.
by Raschke, Alexander [editor.] | Méry, Dominique [editor.] | Houdek, Frank [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 18th International Conference, ACNS 2020, Rome, Italy, October 19-22, 2020, Proceedings, Part I / edited by Mauro Conti, Jianying Zhou, Emiliano Casalicchio, Angelo Spognardi.
by Conti, Mauro [editor.] | Zhou, Jianying [editor.] | Casalicchio, Emiliano [editor.] | Spognardi, Angelo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
