Your search returned 835 results.

Sort
Results
341.
342.
Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by Series: Programming and Software Engineering ; 4922
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.

343.
Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4328
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.

344.
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / by Series: Programming and Software Engineering ; 8187
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.

345.
Theory and Practice of Natural Computing [electronic resource] : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9477
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.

346.
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / by Series: Programming and Software Engineering ; 9109
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.

347.
348.
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / by Series: Programming and Software Engineering ; 7177
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.

349.
350.
Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6274
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.

351.
Algebraic Informatics [electronic resource] : 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 / by Series: Theoretical Computer Science and General Issues ; 5725
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.

352.
Computer Performance Engineering [electronic resource] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / by Series: Programming and Software Engineering ; 5652
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.

353.
354.
355.
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / by Series: Programming and Software Engineering ; 8552
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.

356.
Advances in Grid and Pervasive Computing [electronic resource] : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3947
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.

357.
Search Based Software Engineering [electronic resource] : Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings / by Series: Programming and Software Engineering ; 7515
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.

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