Results
|
|
Tools and algorithms for the construction and analysis of systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 13243
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
Tools and algorithms for the construction and analysis of systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 13244
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
Haptics: science, technology, applications [electronic resource] : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings / edited by Hasti Seifi, Astrid M. L. Kappers, Oliver Schneider, Knut Drewing, Claudio Pacchierotti, Alireza Abbasimoshaei, Gijs Huisman, Thorsten A. Kern. by Series: Lecture Notes in Computer Science ; 13235
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
Security in computer and information sciences [electronic resource] : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers / edited by Erol Gelenbe, Marija Jankovic, Dionysios Kehagias, Anna Marton, Andras Vilmos. by Series: Communications in Computer and Information Science ; 1596
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
|
|
|
Brainlesion: Glioma, Multiple Sclerosis, Stroke and traumatic brain injuries [electronic resource] : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I / edited by Alessandro Crimi, Spyridon Bakas. by Series: Lecture Notes in Computer Science ; 12962
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
Cyber security [electronic resource] : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers / edited by Wei Lu, Yuqing Zhang, Weiping Wen, Hanbing Yan, Chao Li. by Series: Communications in Computer and Information Science ; 1506
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|