Your search returned 49 results.

Sort
Results
1.
Self-Organizing Architectures [electronic resource] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / by Series: Lecture Notes in Computer Science ; 6090
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.

2.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13216
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

3.
Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13215
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

4.
Objects, Agents, and Features [electronic resource] : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / by Series: Lecture Notes in Computer Science ; 2975
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

5.
Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / by Series: Lecture Notes in Computer Science ; 5812
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.

6.
Logic Programming [electronic resource] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3132
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

7.
Software Engineering for Multi-Agent Systems II [electronic resource] : Research Issues and Practical Applications / by Series: Lecture Notes in Computer Science ; 2940
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

8.
Semirings for Soft Constraint Solving and Programming [electronic resource] / by Series: Lecture Notes in Computer Science ; 2962
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

9.
Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / by Series: Lecture Notes in Computer Science ; 3049
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

10.
11.
Logic Based Program Synthesis and Transformation [electronic resource] : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 3018
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

12.
Principles and Practice of Constraint Programming - CP 2004 [electronic resource] : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3258
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

13.
14.
Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Series: Lecture Notes in Computer Science ; 2002
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

15.
Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / by Series: Lecture Notes in Computer Science ; 2372
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

16.
17.
Meta-Level Architectures and Reflection [electronic resource] : Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1616
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

18.
Logic Programming [electronic resource] : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2916
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

19.
Principles and Practice of Constraint Programming - CP98 [electronic resource] : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1520
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

20.
Practical Aspects of Declarative Languages [electronic resource] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1753
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

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