Your search returned 360 results.

Sort
Results
1.
Human-Centered Software Engineering [electronic resource] : 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24–26, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13482
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

2.
3.
Model Checking Software [electronic resource] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13255
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

4.
5.
Information and Communications Security [electronic resource] : 24th International Conference, ICICS 2022, Canterbury, UK, September 5–8, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13407
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

6.
Extended Reality [electronic resource] : First International Conference, XR Salento 2022, Lecce, Italy, July 6–8, 2022, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13445
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

7.
Databases Theory and Applications [electronic resource] : 33rd Australasian Database Conference, ADC 2022, Sydney, NSW, Australia, September 2–4, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13459
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

8.
Trends in Functional Programming [electronic resource] : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13401
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

9.
Topics in Cryptology – CT-RSA 2023 [electronic resource] : Cryptographers’ Track at the RSA Conference 2023, San Francisco, CA, USA, April 24–27, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13871
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

10.
11.
12.
Advances in Conceptual Modeling [electronic resource] : ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17–20, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13650
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

13.
Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13800
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

14.
Green, Pervasive, and Cloud Computing [electronic resource] : 17th International Conference, GPC 2022, Chengdu, China, December 2–4, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13744
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

15.
Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13898
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

16.
17.
Advances in Databases and Information Systems [electronic resource] : 26th European Conference, ADBIS 2022, Turin, Italy, September 5–8, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13389
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

18.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13465
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

19.
20.
Theory and Applications of Models of Computation [electronic resource] : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13571
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in