|
|
|
Selected Reflections in Language, Logic, and Information [electronic resource] : ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers / edited by Alexandra Pavlova, Mina Young Pedersen, Raffaella Bernardi.
by Pavlova, Alexandra [editor.] | Pedersen, Mina Young [editor.] | Bernardi, Raffaella [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 Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann.
by Sheng, Bin [editor.] | Bi, Lei [editor.] | Kim, Jinman [editor.] | Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [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
|
|
|
|
Hypothesis Generation and Interpretation [electronic resource] : Design Principles and Patterns for Big Data Applications / by Hiroshi Ishikawa.
by Ishikawa, Hiroshi [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 International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
by Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
by Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [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
|
|
|
|
Tools and Methods of Program Analysis [electronic resource] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers / edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova.
by Yavorskiy, Rostislav [editor.] | Cavalli, Ana Rosa [editor.] | Kalenkova, Anna [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
|
|
|
|
Emerging Information Security and Applications [electronic resource] : 4th International Conference, EISA 2023, Hangzhou, China, December 6-7, 2023, Proceedings / edited by Jun Shao, Sokratis K. Katsikas, Weizhi Meng.
by Shao, Jun [editor.] | Katsikas, Sokratis K [editor.] | Meng, Weizhi [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
|
|
|
|
Incentive Mechanism for Mobile Crowdsensing [electronic resource] : A Game-theoretic Approach / by Youqi Li, Fan Li, Song Yang, Chuan Zhang.
by Li, Youqi [author.] | Li, Fan [author.] | Yang, Song [author.] | Zhang, Chuan [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
|
|
|
|
R-Calculus, V: Description Logics [electronic resource] / by Wei Li, Yuefei Sui.
by Li, Wei [author.] | Sui, Yuefei [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency XVII [electronic resource] / edited by Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo.
by Koutny, Maciej [editor.] | Bergenthum, Robin [editor.] | Ciardo, Gianfranco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Enterprise Design, Operations, and Computing [electronic resource] : 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings / edited by Henderik A. Proper, Luise Pufahl, Dimka Karastoyanova, Marten van Sinderen, João Moreira.
by Proper, Henderik A [editor.] | Pufahl, Luise [editor.] | Karastoyanova, Dimka [editor.] | van Sinderen, Marten [editor.] | Moreira, João [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
|
|
|
|
Computer Security - ESORICS 2023 [electronic resource] : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I / edited by Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis.
by Tsudik, Gene [editor.] | Conti, Mauro [editor.] | Liang, Kaitai [editor.] | Smaragdakis, Georgios [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
|
|
|
|
Computer Security - ESORICS 2023 [electronic resource] : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV / edited by Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis.
by Tsudik, Gene [editor.] | Conti, Mauro [editor.] | Liang, Kaitai [editor.] | Smaragdakis, Georgios [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
|
|
|
|
Computer Security - ESORICS 2023 [electronic resource] : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II / edited by Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis.
by Tsudik, Gene [editor.] | Conti, Mauro [editor.] | Liang, Kaitai [editor.] | Smaragdakis, Georgios [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
|
|
|
|
The Book of Chatbots [electronic resource] : From ELIZA to ChatGPT / by Robert Ciesla.
by Ciesla, Robert [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers / edited by Javier Cámara, Sung-Shik Jongmans.
by Cámara, Javier [editor.] | Jongmans, Sung-Shik [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
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers / edited by Nina Gierasimczuk, Fernando R. Velázquez-Quesada.
by Gierasimczuk, Nina [editor.] | Velázquez-Quesada, Fernando R [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
|
|
|
|
Cryptocoding Based on Quasigroups [electronic resource] / by Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, Verica Bakeva.
by Mechkaroska, Daniela [author.] | Popovska-Mitrovikj, Aleksandra [author.] | Bakeva, Verica [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
|
|
|
|
Computer Security - ESORICS 2023 [electronic resource] : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III / edited by Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis.
by Tsudik, Gene [editor.] | Conti, Mauro [editor.] | Liang, Kaitai [editor.] | Smaragdakis, Georgios [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 Discrete Applied Mathematics [electronic resource] : 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings / edited by Subrahmanyam Kalyanasundaram, Anil Maheshwari.
by Kalyanasundaram, Subrahmanyam [editor.] | Maheshwari, Anil [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
|
