|
|
|
Foundations of Vector Retrieval [electronic resource] / by Sebastian Bruch.
by Bruch, Sebastian [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Discrete Applied Mathematics [electronic resource] : 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings / edited by Sudebkumar Prasant Pal, Ambat Vijayakumar.
by Pal, Sudebkumar Prasant [editor.] | Vijayakumar, Ambat [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
|
|
|
|
Logics and Type Systems in Theory and Practice [electronic resource] : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday / edited by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk.
by Capretta, Venanzio [editor.] | Krebbers, Robbert [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Large-Scale Scientific Computations [electronic resource] : 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov.
by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Declarative Programming and Knowledge Management [electronic resource] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / edited by Michael Hanus, Ricardo Rocha.
by Hanus, Michael [editor.] | Rocha, Ricardo [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
|
|
|
|
Information Security [electronic resource] : 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings / edited by Sherman S.M. Chow, Jan Camenisch, Lucas C.K. Hui, Siu Ming Yiu.
by Chow, Sherman S.M [editor.] | Camenisch, Jan [editor.] | Hui, Lucas C.K [editor.] | Yiu, Siu Ming [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
|
|
|
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos.
by Aranda-Corral, Gonzalo A [editor.] | Calmet, Jacques [editor.] | Martín-Mateos, Francisco J [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
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke.
by Gribaudo, Marco [editor.] | Manini, Daniele [editor.] | Remke, Anne [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
|
|
|
|
Discrete Geometry for Computer Imagery [electronic resource] : 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26-28, 2019, Proceedings / edited by Michel Couprie, Jean Cousty, Yukiko Kenmochi, Nabil Mustafa.
by Couprie, Michel [editor.] | Cousty, Jean [editor.] | Kenmochi, Yukiko [editor.] | Mustafa, Nabil [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
|
|
|
|
R Programming [electronic resource] : Statistical Data Analysis in Research / by Kingsley Okoye, Samira Hosseini.
by Okoye, Kingsley [author.] | Hosseini, Samira [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Security Standardisation Research [electronic resource] : Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings / edited by Liqun Chen, Shin'ichiro Matsuo.
by Chen, Liqun [editor.] | Matsuo, Shin'ichiro [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
|
|
|
|
Mathematics in Programming [electronic resource] / by Xinyu Liu.
by Liu, Xinyu [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Software - ICMS 2024 [electronic resource] : 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings / edited by Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren.
by Buzzard, Kevin [editor.] | Dickenstein, Alicia [editor.] | Eick, Bettina [editor.] | Leykin, Anton [editor.] | Ren, Yue [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings / edited by Sheung-Hung Poon, Md. Saidur Rahman, Hsu-Chun Yen.
by Poon, Sheung-Hung [editor.] | Rahman, Md. Saidur [editor.] | Yen, Hsu-Chun [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
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings / edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov.
by Ganzha, V.G [editor.] | Mayr, E.W [editor.] | Vorozhtsov, E.V [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
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings / edited by Nigel Thomas, Matthew Forshaw.
by Thomas, Nigel [editor.] | Forshaw, Matthew [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
|
|
|
|
Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings / edited by Bernhard Burgeth, Andreas Kleefeld, Benoît Naegel, Nicolas Passat, Benjamin Perret.
by Burgeth, Bernhard [editor.] | Kleefeld, Andreas [editor.] | Naegel, Benoît [editor.] | Passat, Nicolas [editor.] | Perret, Benjamin [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
|
|
|
|
Mathematics of Program Construction [electronic resource] : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings / edited by Graham Hutton.
by Hutton, Graham [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
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban.
by Watt, Stephen M [editor.] | Sexton, Alan [editor.] | Davenport, James H [editor.] | Sojka, Petr [editor.] | Urban, Josef [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
|
|
|
|
Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings / edited by Jón Atli Benediktsson, Jocelyn Chanussot, Laurent Najman, Hugues Talbot.
by Benediktsson, Jón Atli [editor.] | Chanussot, Jocelyn [editor.] | Najman, Laurent [editor.] | Talbot, Hugues [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
|
