Refine your search

Your search returned 1605 results.

Sort
Results
161.
Advances in Software Engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / by Series: Programming and Software Engineering ; 5316
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

162.
Testing Software and Systems [electronic resource] : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / by Series: Programming and Software Engineering ; 11146
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.

163.
PRICAI 2019: Trends in Artificial Intelligence [electronic resource] : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 11670
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.

164.
Programming Languages and Systems [electronic resource] : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / by Series: Programming and Software Engineering ; 11893
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.

165.
Tools and Methods of Program Analysis [electronic resource] : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1288
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.

166.
Design Patterns with Java [electronic resource] : An Introduction / by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023 In: Springer Nature eBook
Availability: No items available.

167.
Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by Series: Programming and Software Engineering ; 11275
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.

168.
Product-Focused Software Process Improvement [electronic resource] : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings / by Series: Programming and Software Engineering ; 11915
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.

169.
170.
171.
Computer Programming in C for Beginners [electronic resource] / by
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.

172.
Trends in Functional Programming [electronic resource] : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12834
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.

173.
Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13478
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.

174.
Euro-Par 2013: Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8097
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.

175.
A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 9600
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.

176.
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 11561
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.

177.
Formal Methods for Industrial Critical Systems [electronic resource] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by Series: Programming and Software Engineering ; 11687
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.

178.
Software Engineering and Formal Methods [electronic resource] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11724
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.

179.
Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / by Series: Programming and Software Engineering ; 5885
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.

180.
Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9641
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.

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