|
|
|
Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen.
by Grabowski, Jens [editor.] | Nielsen, Brian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology - INDOCRYPT 2011 [electronic resource] : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011, Proceedings / edited by Daniel J. Bernstein, Sanjit Chatterjee.
by Bernstein, Daniel J [editor.] | Chatterjee, Sanjit [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
|
|
|
|
Regenerative Dentistry [electronic resource] / by Mona K. Marei.
by Marei, Mona K [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
|
|
|
|
Algorithms and Computation [electronic resource] : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings / edited by Kun-Mao Chao, Tsan-sheng Hsu, Der-Tsai Lee.
by Chao, Kun-Mao [editor.] | Hsu, Tsan-sheng [editor.] | Lee, Der-Tsai [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
|
|
|
|
Atomic Force Microscopy [electronic resource] : A New Look at Microbes / by Ahmed Touhami.
by Touhami, Ahmed [author.] | 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
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings / edited by Junfeng Fan, Benedikt Gierlichs.
by Fan, Junfeng [editor.] | Gierlichs, Benedikt [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
|
|
|
|
From Animals to Animats 12 [electronic resource] : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings / edited by Tom Ziemke, Christian Balkenius, John Hallam.
by Ziemke, Tom [editor.] | Balkenius, Christian [editor.] | Hallam, John [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
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers / edited by José Luiz Fiadeiro, Ionuț Țuțu.
by Fiadeiro, José Luiz [editor.] | Țuțu, Ionuț [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
|
|
|
|
Advances in Neural Networks - ISNN 2019 [electronic resource] : 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part I / edited by Huchuan Lu, Huajin Tang, Zhanshan Wang.
by Lu, Huchuan [editor.] | Tang, Huajin [editor.] | Wang, Zhanshan [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
|
|
|
|
Positive Unlabeled Learning [electronic resource] / by Kristen Jaskie, Andreas Spanias.
by Jaskie, Kristen [author.] | Spanias, Andreas [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
|
|
|
|
Natural Language Processing for Social Media, Second Edition [electronic resource] / by Atefeh Farzindar, Diana Inkpen.
by Farzindar, Atefeh [author.] | Inkpen, Diana [author.] | SpringerLink (Online service). Edition: 2nd 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
|
|
|
|
Semantic Relations Between Nominals [electronic resource] / by Vivi Nastase, Preslav Nakov, Diarmuid Ó Séaghdha, Stan Szpakowicz.
by Nastase, Vivi [author.] | Nakov, Preslav [author.] | Séaghdha, Diarmuid Ó [author.] | Szpakowicz, Stan [author.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021, Proceedings / edited by Eugenio Cinquemani, Loïc Paulevé.
by Cinquemani, Eugenio [editor.] | Paulevé, Loïc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov.
by Boulier, François [editor.] | England, Matthew [editor.] | Sadykov, Timur M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings / edited by Yevgeni Koucheryavy, Ahmed Aziz.
by Koucheryavy, Yevgeni [editor.] | Aziz, Ahmed [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
|
|
|
|
Topics in Cryptology - CT-RSA 2023 [electronic resource] : Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings / edited by Mike Rosulek.
by Rosulek, Mike [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part II / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Information and Communications Security [electronic resource] : 24th International Conference, ICICS 2022, Canterbury, UK, September 5-8, 2022, Proceedings / edited by Cristina Alcaraz, Liqun Chen, Shujun Li, Pierangela Samarati.
by Alcaraz, Cristina [editor.] | Chen, Liqun [editor.] | Li, Shujun [editor.] | Samarati, Pierangela [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
|
|
|
|
Information Hiding [electronic resource] : 8th International Workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006, Revised Seleceted Papers / edited by Jan Camenisch, Christian Collberg, Neil F. Johnson, Phil Sallee.
by Camenisch, Jan [editor.] | Collberg, Christian [editor.] | Johnson, Neil F [editor.] | Sallee, Phil [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings / edited by Sven Hartmann, Gabriele Kern-Isberner.
by Hartmann, Sven [editor.] | Kern-Isberner, Gabriele [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
|
