|
|
|
FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.
by Jones, Cliff [editor.] | Pihlajasaari, Pekka [editor.] | Sun, Jun [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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2024 [electronic resource] : 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part V / edited by Marc Joye, Gregor Leander.
by Joye, Marc [editor.] | Leander, Gregor [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
|
|
|
|
Reasoning Web. Reasoning and the Web in the Big Data Era [electronic resource] : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / edited by Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum.
by Koubarakis, Manolis [editor.] | Stamou, Giorgos [editor.] | Stoilos, Giorgos [editor.] | Horrocks, Ian [editor.] | Kolaitis, Phokion [editor.] | Lausen, Georg [editor.] | Weikum, Gerhard [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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2024 [electronic resource] : 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part IV / edited by Marc Joye, Gregor Leander.
by Joye, Marc [editor.] | Leander, Gregor [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
|
|
|
|
Multiple Access Communications [electronic resource] : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013, Proceedings / edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Marina Ninoslav, Dimitrova Desislava, Dieter Fiems.
by Jonsson, Magnus [editor.] | Vinel, Alexey [editor.] | Bellalta, Boris [editor.] | Ninoslav, Marina [editor.] | Desislava, Dimitrova [editor.] | Fiems, Dieter [editor.] | 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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2024 [electronic resource] : 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part I / edited by Marc Joye, Gregor Leander.
by Joye, Marc [editor.] | Leander, Gregor [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
|
|
|
|
Advances in Information Retrieval [electronic resource] : 36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 13-16, 2014, Proceedings / edited by Maarten de Rijke, Tom Kenter, Arjen P. de Vries, ChengXiang Zhai, Franciska de Jong, Kira Radinsky, Katja Hofmann.
by de Rijke, Maarten [editor.] | Kenter, Tom [editor.] | de Vries, Arjen P [editor.] | Zhai, ChengXiang [editor.] | de Jong, Franciska [editor.] | Radinsky, Kira [editor.] | Hofmann, Katja [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
|
|
|
|
Big Data Analytics in Astronomy, Science, and Engineering [electronic resource] : 11th International Conference on Big Data Analytics, BDA 2023, Aizu, Japan, December 5-7, 2023, Proceedings / edited by Shelly Sachdeva, Yutaka Watanobe.
by Sachdeva, Shelly [editor.] | Watanobe, Yutaka [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
|
|
|
|
Deontic Logic and Normative Systems [electronic resource] : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent.
by Cariani, Fabrizio [editor.] | Grossi, Davide [editor.] | Meheus, Joke [editor.] | Parent, Xavier [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
|
|
|
|
Secure Data Management [electronic resource] : 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings / edited by Willem Jonker, Milan Petković.
by Jonker, Willem [editor.] | Petković, Milan [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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2024 [electronic resource] : 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VII / edited by Marc Joye, Gregor Leander.
by Joye, Marc [editor.] | Leander, Gregor [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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2024 [electronic resource] : 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VI / edited by Marc Joye, Gregor Leander.
by Joye, Marc [editor.] | Leander, Gregor [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
|
|
|
|
Information Security Practice and Experience [electronic resource] : 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014, Proceedings / edited by Xinyi Huang, Jianying Zhou.
by Huang, Xinyi [editor.] | Zhou, Jianying [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
|
|
|
|
Advancements in Smart Computing and Information Security [electronic resource] : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part I / edited by Sridaran Rajagopal, Kalpesh Popat, Divyakant Meva, Sunil Bajeja.
by Rajagopal, Sridaran [editor.] | Popat, Kalpesh [editor.] | Meva, Divyakant [editor.] | Bajeja, Sunil [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I / edited by Joanna Kolodziej, Benjamino Di Martino, Domenico Talia, Kaiqi Xiong.
by Kolodziej, Joanna [editor.] | Di Martino, Benjamino [editor.] | Talia, Domenico [editor.] | Xiong, Kaiqi [editor.] | 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
|
|
|
|
Information Technologies and Intelligent Decision Making Systems [electronic resource] : Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers / edited by Arthur Gibadullin.
by Gibadullin, Arthur [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
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II / edited by Sourav S. Bhowmick, Curtis Dyreson, Christian S. Jensen, Mong Li Lee, Agus Muliantara, Bernhard Thalheim.
by Bhowmick, Sourav S [editor.] | Dyreson, Curtis [editor.] | Jensen, Christian S [editor.] | Lee, Mong Li [editor.] | Muliantara, Agus [editor.] | Thalheim, Bernhard [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
|
|
|
|
Advancements in Smart Computing and Information Security [electronic resource] : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part IV / edited by Sridaran Rajagopal, Kalpesh Popat, Divyakant Meva, Sunil Bajeja.
by Rajagopal, Sridaran [editor.] | Popat, Kalpesh [editor.] | Meva, Divyakant [editor.] | Bajeja, Sunil [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
|
|
|
|
Advancements in Smart Computing and Information Security [electronic resource] : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part III / edited by Sridaran Rajagopal, Kalpesh Popat, Divyakant Meva, Sunil Bajeja.
by Rajagopal, Sridaran [editor.] | Popat, Kalpesh [editor.] | Meva, Divyakant [editor.] | Bajeja, Sunil [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
|
|
|
|
Advancements in Smart Computing and Information Security [electronic resource] : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part II / edited by Sridaran Rajagopal, Kalpesh Popat, Divyakant Meva, Sunil Bajeja.
by Rajagopal, Sridaran [editor.] | Popat, Kalpesh [editor.] | Meva, Divyakant [editor.] | Bajeja, Sunil [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
|
