Your search returned 307 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 9942
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
182.
ECOOP 2014 -- Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / by Series: Programming and Software Engineering ; 8586
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
183.
Principles and Practice of Constraint Programming - CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / by Series: Programming and Software Engineering ; 4741
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
184.
Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / by Series: Theoretical Computer Science and General Issues ; 3924
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
185.
186.
Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5438
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
187.
Logic Programming [electronic resource] : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / by Series: Programming and Software Engineering ; 5366
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
188.
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by Series: Programming and Software Engineering ; 4279
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
189.
Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5123
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
190.
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / by Series: Programming and Software Engineering ; 9593
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
191.
Implementation and Application of Automata [electronic resource] : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5642
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
192.
Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6188
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
193.
Functional and Logic Programming [electronic resource] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9613
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
194.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7180
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
195.
Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6173
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
196.
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers / by Series: Lecture Notes in Artificial Intelligence ; 7842
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
197.
FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings / by Series: Programming and Software Engineering ; 6664
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
198.
Objects, Components, Models, Patterns [electronic resource] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings / by Series: Programming and Software Engineering ; 6705
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
199.
Transactions on Petri Nets and Other Models of Concurrency III [electronic resource]. by Series: Transactions on Petri Nets and Other Models of Concurrency ; 5800
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
200.
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7393
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
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in