|
|
|
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
|
|
|
|
Algebraic Informatics [electronic resource] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti.
by Maletti, Andreas [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
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings / edited by Maximilien Gadouleau, Alonso Castillo-Ramirez.
by Gadouleau, Maximilien [editor.] | Castillo-Ramirez, Alonso [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2015 [electronic resource] : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
by Leucker, Martin [editor.] | Rueda, Camilo [editor.] | Valencia, Frank D [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
|
|
|
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015. Proceedings / edited by Sebastiano Battiato, Jacques Blanc-Talon, Giovanni Gallo, Wilfried Philips, Dan Popescu, Paul Scheunders.
by Battiato, Sebastiano [editor.] | Blanc-Talon, Jacques [editor.] | Gallo, Giovanni [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [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
|
|
|
|
Data and Applications Security and Privacy XXXVIII [electronic resource] : 38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings / edited by Anna Lisa Ferrara, Ram Krishnan.
by Ferrara, Anna Lisa [editor.] | Krishnan, Ram [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.
by Falaschi, Moreno [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
|
|
|
|
Hybrid Systems Biology [electronic resource] : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers / edited by Oded Maler, Ádám Halász, Thao Dang, Carla Piazza.
by Maler, Oded [editor.] | Halász, Ádám [editor.] | Dang, Thao [editor.] | Piazza, Carla [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
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Richard Chbeir, Yannis Manolopoulos, Hamido Fujita, Tzung-Pei Hong, Le Minh Nguyen, Krystian Wojtkiewicz.
by Nguyen, Ngoc Thanh [editor.] | Chbeir, Richard [editor.] | Manolopoulos, Yannis [editor.] | Fujita, Hamido [editor.] | Hong, Tzung-Pei [editor.] | Nguyen, Le Minh [editor.] | Wojtkiewicz, Krystian [editor.] | 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
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Richard Chbeir, Yannis Manolopoulos, Hamido Fujita, Tzung-Pei Hong, Le Minh Nguyen, Krystian Wojtkiewicz.
by Nguyen, Ngoc Thanh [editor.] | Chbeir, Richard [editor.] | Manolopoulos, Yannis [editor.] | Fujita, Hamido [editor.] | Hong, Tzung-Pei [editor.] | Nguyen, Le Minh [editor.] | Wojtkiewicz, Krystian [editor.] | 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
|
|
|
|
Spintronics-Based Neuromorphic Computing [electronic resource] / by Debanjan Bhowmik.
by Bhowmik, Debanjan [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
|
|
|
|
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu.
by Arik, Sabri [editor.] | Huang, Tingwen [editor.] | Lai, Weng Kin [editor.] | Liu, Qingshan [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / edited by Marco Gavanelli, John Reppy.
by Gavanelli, Marco [editor.] | Reppy, John [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
|
|
|
|
Smart Mobility in Practice: Good Car, Bad Car, No Car - Is this the End of Nurturing Our Mobility DNA? [electronic resource] / edited by Barbara Flügge.
by Flügge, Barbara [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptology and Network Security [electronic resource] : 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceedings / edited by Michael Reiter, David Naccache.
by Reiter, Michael [editor.] | Naccache, David [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
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, José Oliveira.
by Kahl, Wolfram [editor.] | Winter, Michael [editor.] | Oliveira, José [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario.
by Sankaranarayanan, Sriram [editor.] | Vicario, Enrico [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
|
|
|
|
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
|
|
|
|
Towards Autonomous Robotic Systems [electronic resource] : 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings / edited by Lyuba Alboul, Dana Damian, Jonathan M. Aitken.
by Alboul, Lyuba [editor.] | Damian, Dana [editor.] | Aitken, Jonathan M [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
|
