Your search returned 773 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
521.
NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / by Series: Programming and Software Engineering ; 6617
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
Online access:
Availability: No items available.

Add to cart
522.
Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / by Series: Programming and Software Engineering ; 8084
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
Online access:
Availability: No items available.

Add to cart
523.
524.
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings / by Series: Programming and Software Engineering ; 7561
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
Online access:
Availability: No items available.

Add to cart
525.
Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4661
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
Online access:
Availability: No items available.

Add to cart
526.
527.
Modelling Foundations and Applications [electronic resource] : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / by Series: Programming and Software Engineering ; 10376
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
Online access:
Availability: No items available.

Add to cart
528.
Tests and Proofs [electronic resource] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / by Series: Programming and Software Engineering ; 9154
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
Online access:
Availability: No items available.

Add to cart
529.
Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / by Series: Programming and Software Engineering ; 8734
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
Online access:
Availability: No items available.

Add to cart
530.
Programming Languages [electronic resource] : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings / by Series: Programming and Software Engineering ; 7554
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
Online access:
Availability: No items available.

Add to cart
531.
Multicore Software Engineering, Performance and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings / by Series: Programming and Software Engineering ; 7303
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
Online access:
Availability: No items available.

Add to cart
532.
Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3543
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
Online access:
Availability: No items available.

Add to cart
533.
Cooperative Design, Visualization, and Engineering [electronic resource] : 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5738
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
Online access:
Availability: No items available.

Add to cart
534.
Transactions on Rough Sets XII [electronic resource] / by Series: Transactions on Rough Sets ; 6190
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
Online access:
Availability: No items available.

Add to cart
535.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8312
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
Online access:
Availability: No items available.

Add to cart
536.
Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey / by Series: Programming and Software Engineering ; 5751
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
Online access:
Availability: No items available.

Add to cart
537.
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / by Series: Programming and Software Engineering ; 4199
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
Online access:
Availability: No items available.

Add to cart
538.
Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / by Series: Programming and Software Engineering ; 4467
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
Online access:
Availability: No items available.

Add to cart
539.
Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / by Series: Programming and Software Engineering ; 5902
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
Online access:
Availability: No items available.

Add to cart
540.
Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 / by Series: Lecture Notes in Artificial Intelligence ; 5249
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
Online access:
Availability: No items available.

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