Your search returned 1021 results.

Sort
Results
301.
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / by Series: Programming and Software Engineering ; 8225
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

302.
Reversible Computation [electronic resource] : 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by Series: Programming and Software Engineering ; 12805
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.

303.
304.
Advances in Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings / by Series: Programming and Software Engineering ; 13012
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.

305.
Programming Languages and Systems [electronic resource] : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings / by Series: Programming and Software Engineering ; 13008
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.

306.
Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by Series: Programming and Software Engineering ; 13065
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.

307.
Fundamentals of Software Engineering [electronic resource] : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by Series: Programming and Software Engineering ; 12818
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.

308.
Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings / by Series: Programming and Software Engineering ; 12389
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.

309.
Performance Evaluation and Benchmarking [electronic resource] : 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers / by Series: Programming and Software Engineering ; 12752
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.

310.
311.
Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / by Series: Programming and Software Engineering ; 10740
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.

312.
Testing Software and Systems [electronic resource] : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / by Series: Programming and Software Engineering ; 11812
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.

313.
314.
NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by Series: Programming and Software Engineering ; 10811
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.

315.
Intelligent Tutoring Systems [electronic resource] : 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings / by Series: Programming and Software Engineering ; 11528
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.

316.
Search-Based Software Engineering [electronic resource] : 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by Series: Programming and Software Engineering ; 12914
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.

317.
Runtime Verification [electronic resource] : 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings / by Series: Programming and Software Engineering ; 12974
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.

318.
Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / by Series: Programming and Software Engineering ; 6706
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

319.
320.
Practical Aspects of Declarative Languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / by Series: Programming and Software Engineering ; 9131
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

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