Refine your search

Your search returned 4435 results.

Sort
Results
2281.
Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by Series: Programming and Software Engineering ; 3672
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.

2282.
Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications / by Series: Programming and Software Engineering ; 3390
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.

2283.
2284.
Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / by Series: Programming and Software Engineering ; 6405
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.

2285.
2286.
Service-Oriented Computing [electronic resource] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings / by Series: Programming and Software Engineering ; 7636
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.

2287.
Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9294
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

2288.
2289.
Wireless Sensor Networks [electronic resource] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 7158
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.

2290.
Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / by Series: Programming and Software Engineering ; 5791
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.

2291.
Model and Data Engineering [electronic resource] : First International Conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011. Proceedings / by Series: Programming and Software Engineering ; 6918
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.

2292.
Algorithms - ESA 2006 [electronic resource] : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4168
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.

2293.
Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Series: Programming and Software Engineering ; 5634
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.

2294.
Big Data [electronic resource] : 29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7968
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.

2295.
2296.
Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by Series: Programming and Software Engineering ; 9506
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.

2297.
Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5713
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.

2298.
2299.
2300.
Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings / by Series: Security and Cryptology ; 6542
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.

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