|
|
|
Information Verification in the Digital Age [electronic resource] : The News Library Perspective / by Nora Martin.
by Martin, Nora [author.] | 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
|
|
|
|
Near Field Communication [electronic resource] : Recent Developments and Library Implications / by Sheli McHugh, Kristen Yarmey.
by McHugh, Sheli [author.] | Yarmey, Kristen [author.] | 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
|
|
|
|
Spoken Dialogue Systems [electronic resource] / by Kristina Jokinen, Michael McTear.
by Jokinen, Kristina [author.] | McTear, Michael [author.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings / edited by Ding-Zhu Du, Donglei Du, Chenchen Wu, Dachuan Xu.
by Du, Ding-Zhu [editor.] | Du, Donglei [editor.] | Wu, Chenchen [editor.] | Xu, Dachuan [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings / edited by Sergiy Bogomolov, David Parker.
by Bogomolov, Sergiy [editor.] | Parker, David [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
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : 26th European Conference, ADBIS 2022, Turin, Italy, September 5-8, 2022, Proceedings / edited by Silvia Chiusano, Tania Cerquitelli, Robert Wrembel.
by Chiusano, Silvia [editor.] | Cerquitelli, Tania [editor.] | Wrembel, Robert [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
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings / edited by Georg Gottlob, Daniela Inclezan, Marco Maratea.
by Gottlob, Georg [editor.] | Inclezan, Daniela [editor.] | Maratea, Marco [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled.
by Artho, Cyrille [editor.] | Legay, Axel [editor.] | Peled, Doron [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
|
|
|
|
Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings / edited by Marios Mavronicolas.
by Mavronicolas, Marios [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
|
|
|
|
Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshops, S+SSPR 2022, Montreal, QC, Canada, August 26-27, 2022, Proceedings / edited by Adam Krzyzak, Ching Y. Suen, Andrea Torsello, Nicola Nobile.
by Krzyzak, Adam [editor.] | Suen, Ching Y [editor.] | Torsello, Andrea [editor.] | Nobile, Nicola [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
|
|
|
|
Intelligent Data Engineering and Automated Learning -- IDEAL 2013 [electronic resource] : 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013, Proceedings / edited by Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Bin Li, Thomas Weise, Xin Yao.
by Yin, Hujun [editor.] | Tang, Ke [editor.] | Gao, Yang [editor.] | Klawonn, Frank [editor.] | Lee, Minho [editor.] | Li, Bin [editor.] | Weise, Thomas [editor.] | Yao, Xin [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
|
|
|
|
Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage.
by Gill, Andy [editor.] | Hage, Jurriaan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings / edited by Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini.
by Pizzuti, Clara [editor.] | Ritchie, Marylyn D [editor.] | Giacobini, Mario [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
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings / edited by Jan Jürjens, Frank Piessens, Nataliia Bielova.
by Jürjens, Jan [editor.] | Piessens, Frank [editor.] | Bielova, Nataliia [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
|
|
|
|
Intelligent Computing Theories and Application [electronic resource] : 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Juan Carlos Figueroa-García.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Figueroa-García, Juan Carlos [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
|
|
|
|
NETWORKING 2011 [electronic resource] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio.
by Domingo-Pascual, Jordi [editor.] | Manzoni, Pietro [editor.] | Palazzo, Sergio [editor.] | Pont, Ana [editor.] | Scoglio, Caterina [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
|
|
|
|
Automated Taxonomy Discovery and Exploration [electronic resource] / by Jiaming Shen, Jiawei Han.
by Shen, Jiaming [author.] | Han, Jiawei [author.] | 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
|
|
|
|
Principles and Practice of Constraint Programming - CP 2012 [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings / edited by Michela Milano.
by Milano, Michela [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Principles of Security and Trust [electronic resource] : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Frank Piessens, Luca Viganò.
by Piessens, Frank [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Neural Information Processing [electronic resource] : 18th International Conference, ICONIP 2ß11, Shanghai, China, November 13-17, 2011, Proceedings, Part II / edited by Bao-Liang Lu, Liqing Zhang, James Kwok.
by Lu, Bao-Liang [editor.] | Zhang, Liqing [editor.] | Kwok, James [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
|
