Your search returned 386 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
241.
Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / by Series: Programming and Software Engineering ; 3945
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
242.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / by Series: Programming and Software Engineering ; 8174
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
243.
Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings / by Series: Programming and Software Engineering ; 7635
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
244.
Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings / by Series: Programming and Software Engineering ; 6707
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
245.
Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings / by Series: Programming and Software Engineering ; 3819
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
246.
Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by Series: Programming and Software Engineering ; 3389
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
247.
248.
Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 / by Series: Programming and Software Engineering ; 3709
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
249.
Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 / by Series: Programming and Software Engineering ; 6957
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
250.
Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings / by Series: Programming and Software Engineering ; 6959
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
251.
FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by Series: Programming and Software Engineering ; 3582
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
252.
Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings / by Series: Programming and Software Engineering ; 5658
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
253.
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by Series: Programming and Software Engineering ; 4171
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
254.
Reliable Software Technologies - Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by Series: Programming and Software Engineering ; 5026
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
255.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / by Series: Programming and Software Engineering ; 4037
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
256.
Advanced Lectures on Software Engineering [electronic resource] : LASER Summer School 2007/2008 / by Series: Programming and Software Engineering ; 6029
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
257.
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings / by Series: Programming and Software Engineering ; 7752
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
258.
Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers / by Series: Programming and Software Engineering ; 3844
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
259.
Middleware 2008 [electronic resource] : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings / by Series: Programming and Software Engineering ; 5346
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
260.
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
Online access:
Availability: No items available.

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