Your search returned 306 results.

Sort
Results
21.
22.
Graph Transformation [electronic resource] : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13961
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

23.
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.

24.
Utility Computing [electronic resource] : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3278
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.

25.
Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 3144
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.

26.
27.
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.

28.
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.

29.
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.

30.
31.
ECOOP 2004 - Object-Oriented Programming [electronic resource] : 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3086
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.

32.
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.

33.
Practical Aspects of Declarative Languages [electronic resource] : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3057
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.

34.
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.

35.
36.
Integrated Formal Methods [electronic resource] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2999
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.

37.
Object-Oriented Technology. ECOOP 2003 Workshop Reader [electronic resource] : ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports / by Series: Lecture Notes in Computer Science ; 3013
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.

38.
From Object-Orientation to Formal Methods [electronic resource] : Essays in Memory of Ole-Johan Dahl / by Series: Lecture Notes in Computer Science ; 2635
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.

39.
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3323
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.

40.
Static Analysis [electronic resource] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3148
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.

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