Your search returned 276 results.

Sort
Results
81.
82.
83.
84.
85.
86.
The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13360
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.

87.
88.
89.
90.
91.
92.
93.
Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 6152
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

94.
95.
Information, Communication and Computing Technology [electronic resource] : 6th International Conference, ICICCT 2021, New Delhi, India, May 8, 2021, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1417
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

96.
97.
Information and Software Technologies [electronic resource] : 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings / by Series: Communications in Computer and Information Science ; 1486
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

98.
99.
Distributed Computing for Emerging Smart Networks [electronic resource] : Second International Workshop, DiCES-N 2020, Bizerte, Tunisia, December 18, 2020, Proceedings / by Series: Communications in Computer and Information Science ; 1348
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

100.
Multi-Agent-Based Simulation XXI [electronic resource] : 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 12316
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

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