Refine your search

Your search returned 7790 results.

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

82.
83.
84.
Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings / by Series: Programming and Software Engineering ; 4807
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

85.
Middleware 2012 [electronic resource] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings / by Series: Programming and Software Engineering ; 7662
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

86.
87.
Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by Series: Programming and Software Engineering ; 3395
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

88.
Security in Pervasive Computing [electronic resource] : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2802
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.

89.
90.
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7993
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

91.
92.
93.
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2789
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

94.
95.
96.
97.
Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by Series: Programming and Software Engineering ; 11294
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.

98.
Transactions on Pattern Languages of Programming IV [electronic resource] / by Series: Transactions on Pattern Languages of Programming ; 10600
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.

99.
100.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings / by Series: Programming and Software Engineering ; 11412
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.

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