Your search returned 892 results.

Sort
Results
141.
Software Architecture. ECSA 2022 Tracks and Workshops [electronic resource] : Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13928
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.

142.
Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III / by Series: Lecture Notes in Computer Science ; 13966
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.

143.
Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13965
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.

144.
145.
146.
Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14155
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.

147.
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3222
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

148.
149.
Service-Oriented and Cloud Computing [electronic resource] : 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13226
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.

150.
151.
Web Engineering [electronic resource] : 23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13893
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.

152.
153.
Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / by Series: Lecture Notes in Computer Science ; 14165
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.

154.
Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13215
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.

155.
156.
157.
HCI for Cybersecurity, Privacy and Trust [electronic resource] : 5th International Conference, HCI-CPT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14045
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.

158.
Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13964
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.

159.
160.
Utility Computing [electronic resource] : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3278
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

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