Results
|
|
2081.
|
|
|
|
2082.
|
Computer Security. ESORICS 2023 International Workshops [electronic resource] : CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25–29, 2023, Revised Selected Papers, Part II / by
- Katsikas, Sokratis [editor.]
- Abie, Habtamu [editor.]
- Ranise, Silvio [editor.]
- Verderame, Luca [editor.]
- Cambiaso, Enrico [editor.]
- Ugarelli, Rita [editor.]
- Praça, Isabel [editor.]
- Li, Wenjuan [editor.]
- Meng, Weizhi [editor.]
- Furnell, Steven [editor.]
- Katt, Basel [editor.]
- Pirbhulal, Sandeep [editor.]
- Shukla, Ankur [editor.]
- Ianni, Michele [editor.]
- Dalla Preda, Mila [editor.]
- Choo, Kim-Kwang Raymond [editor.]
- Pupo Correia, Miguel [editor.]
- Abhishta, Abhishta [editor.]
- Sileno, Giovanni [editor.]
- Alishahi, Mina [editor.]
- Kalutarage, Harsha [editor.]
- Yanai, Naoto [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 14399
Edition: 1st ed. 2024.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2083.
|
|
|
|
2084.
|
|
|
|
2085.
|
|
|
|
2086.
|
|
|
|
2087.
|
Digital Forensics and Cyber Crime [electronic resource] : 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I / by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 570
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2088.
|
Digital Forensics and Cyber Crime [electronic resource] : 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II / by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 571
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2089.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4386
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2090.
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6472
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2091.
|
|
|
|
2092.
|
|
|
|
2093.
|
|
|
|
2094.
|
|
|
|
2095.
|
|
|
|
2096.
|
|
|
|
2097.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14570
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2098.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14571
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2099.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / by Series: Lecture Notes in Computer Science ; 14572
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2100.
|
Advanced Computing, Machine Learning, Robotics and Internet Technologies [electronic resource] : First International Conference, AMRIT 2023, Silchar, India, March 10–11, 2023, Revised Selected Papers, Part II / by Series: Communications in Computer and Information Science ; 1954
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
