Your search returned 247 results.

Sort
Results
81.
SDL 2017: Model-Driven Engineering for Future Internet [electronic resource] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings / by Series: Programming and Software Engineering ; 10567
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

82.
Performance Evaluation and Benchmarking for the Analytics Era [electronic resource] : 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers / by Series: Programming and Software Engineering ; 10661
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.

83.
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / by Series: Programming and Software Engineering ; 9995
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.

84.
Performance Evaluation and Benchmarking [electronic resource] : Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / by Series: Programming and Software Engineering ; 5895
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.

85.
Reversible Computation [electronic resource] : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings / by Series: Programming and Software Engineering ; 10301
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

86.
Service-Oriented Computing [electronic resource] : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / by Series: Programming and Software Engineering ; 9936
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.

87.
Autonomic and Trusted Computing [electronic resource] : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings / by Series: Programming and Software Engineering ; 5060
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.

88.
Serviceology for Services [electronic resource] : 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings / by Series: Programming and Software Engineering ; 10371
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

89.
Service-Oriented Computing [electronic resource] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings / by Series: Programming and Software Engineering ; 5900
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.

90.
Model and Data Engineering [electronic resource] : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings / by Series: Programming and Software Engineering ; 10563
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

91.
Foundations of Computer Software: Future Trends and Techniques for Development [electronic resource] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / by Series: Programming and Software Engineering ; 6028
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

92.
Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / by Series: Programming and Software Engineering ; 3713
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.

93.
System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / by Series: Programming and Software Engineering ; 7744
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.

94.
Formal Methods: Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings / by Series: Programming and Software Engineering ; 7021
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.

95.
Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings / by Series: Programming and Software Engineering ; 4166
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

96.
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / by Series: Programming and Software Engineering ; 7421
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.

97.
Testing Software and Systems [electronic resource] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / by Series: Programming and Software Engineering ; 10533
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

98.
99.
100.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings / by Series: Programming and Software Engineering ; 4542
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.

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