Your search returned 247 results.

Sort
Results
1.
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.

2.
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15–16, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13772
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

3.
4.
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.

5.
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.

6.
A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13560
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

7.
Model-Based Safety and Assessment [electronic resource] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13525
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.
9.
Image and Vision Computing [electronic resource] : 37th International Conference, IVCNZ 2022, Auckland, New Zealand, November 24–25, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13836
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

10.
Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13550
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.

11.
12.
13.
14.
Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13712
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.

15.
Information Security Practice and Experience [electronic resource] : 17th International Conference, ISPEC 2022, Taipei, Taiwan, November 23–25, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13620
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.

16.
Architecture of Computing Systems [electronic resource] : 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13642
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.

17.
Supercomputing [electronic resource] : 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13708
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.
Interactive Collaborative Robotics [electronic resource] : 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13719
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.
High Performance Computing [electronic resource] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13289
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.

20.
Theory of Cryptography [electronic resource] : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13747
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

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