Refine your search

Your search returned 1169 results.

Sort
Results
481.
Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Composium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 5264
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.

482.
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5195
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.

483.
484.
485.
486.
487.
Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4915
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.

488.
Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by Series: Programming and Software Engineering ; 3672
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
Availability: No items available.

489.
490.
Algorithmic Aspects in Information and Management [electronic resource] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5564
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.

491.
492.
Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / by Series: Programming and Software Engineering ; 5791
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.

493.
Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Series: Programming and Software Engineering ; 5634
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.

494.
Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5713
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.

495.
496.
497.
Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / by Series: Transactions on Petri Nets and Other Models of Concurrency ; 5100
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.

498.
Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6078
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.

499.
Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5699
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.

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