Your search returned 763 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
541.
Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / by Series: Programming and Software Engineering ; 6539
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
542.
Principles and Practice of Constraint Programming - CP 2009 [electronic resource] : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings / by Series: Programming and Software Engineering ; 5732
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
543.
Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6445
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
544.
Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6823
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
545.
Datalog in Academia and Industry [electronic resource] : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7494
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
546.
Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings / by Series: Programming and Software Engineering ; 7019
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
547.
Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / by Series: Programming and Software Engineering ; 7305
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
548.
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6247
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
549.
Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 6214
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
550.
Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6372
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
551.
552.
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
553.
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
554.
555.
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7681
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
556.
Automated Deduction – CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3632
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
557.
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / by Series: Programming and Software Engineering ; 9409
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
558.
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
559.
Static Analysis [electronic resource] : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / by Series: Programming and Software Engineering ; 9837
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
560.
Relational and Algebraic Methods in Computer Science [electronic resource] : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10226
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
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in