Your search returned 727 results.

Sort
Results
81.
Software Technologies: Applications and Foundations [electronic resource] : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / by Series: Programming and Software Engineering ; 11176
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.

82.
Artificial General Intelligence [electronic resource] : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9205
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.

83.
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings / by Series: Programming and Software Engineering ; 8499
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

84.
Mathematical Software – ICMS 2016 [electronic resource] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9725
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.

85.
86.
Distributed Real-Time Systems [electronic resource] : Theory and Practice / by Series: Computer Communications and Networks
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.

87.
Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by Series: Programming and Software Engineering ; 11781
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.

88.
89.
90.
91.
Logic, Language, Information, and Computation [electronic resource] : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11541
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

92.
Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings / by Series: Programming and Software Engineering ; 8636
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

93.
Graph Transformation [electronic resource] : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11629
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.

94.
Computational Logistics [electronic resource] : 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11756
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.

95.
Formal Methods and Software Engineering [electronic resource] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / by Series: Programming and Software Engineering ; 8829
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

96.
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11847
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.

97.
Practical Aspects of Declarative Languages [electronic resource] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / by Series: Programming and Software Engineering ; 9585
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.

98.
Search-Based Software Engineering [electronic resource] : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / by Series: Programming and Software Engineering ; 9275
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.

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