Your search returned 8235 results.

Sort
Results
5001.
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / by Series: Programming and Software Engineering ; 7843
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.

5002.
5003.
5004.
Knowledge Engineering: Practice and Patterns [electronic resource] : 16th International Conference, EKAW 2008, Acitrezza, Sicily, Italy September 29 - October 3, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5268
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.

5005.
Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings / by Series: Programming and Software Engineering ; 5256
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.

5006.
5007.
Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers / by Series: Programming and Software Engineering ; 4323
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.

5008.
Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 4114
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.

5009.
5010.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings / by Series: Programming and Software Engineering ; 8396
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.

5011.
5012.
Algorithms for Sensor and Ad Hoc Networks [electronic resource] : Advanced Lectures / by Series: Theoretical Computer Science and General Issues ; 4621
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.

5013.
Advanced Methodologies for Bayesian Networks [electronic resource] : Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9505
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.

5014.
Service Availability [electronic resource] : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4526
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.

5015.
5016.
5017.
Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V / by Series: Theoretical Computer Science and General Issues ; 7667
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.

5018.
Wireless Sensor Networks [electronic resource] : 6th European Conference, EWSN 2009 Cork, Ireland, February 11-13, 2009, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5432
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.

5019.
Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / by Series: Programming and Software Engineering ; 6551
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.

5020.
Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 6277
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.

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