Refine your search

Your search returned 259 results.

Sort
Results
61.
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 12225
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.

62.
Resource Management and Performance Analysis of Wireless Communication Networks [electronic resource] / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

63.
Reliable Software Technologies – Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by Series: Programming and Software Engineering ; 10873
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

64.
Principles of Modeling [electronic resource] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / by Series: Programming and Software Engineering ; 10760
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

65.
From Extractive to Abstractive Summarization: A Journey [electronic resource] / by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

66.
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11947
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

67.
68.
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.

69.
Tales of Electrologica [electronic resource] : Computers, Software and People / by Series: History of Computing
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.

70.
High Performance Computing [electronic resource] : 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9697
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

71.
Applied Reconfigurable Computing [electronic resource] : 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings / by Series: Theoretical Computer Science and General Issues ; 9625
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

72.
73.
IP Operations and Management [electronic resource] : 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5843
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

74.
Software Architecture [electronic resource] : 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings / by Series: Programming and Software Engineering ; 12292
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.

75.
76.
Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / by Series: Programming and Software Engineering ; 5582
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

77.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings / by Series: Programming and Software Engineering ; 5759
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

78.
79.
Guide to Disaster-Resilient Communication Networks [electronic resource] / by Series: Computer Communications and Networks
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.

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