Refine your search

Your search returned 8328 results.

Sort
Results
3621.
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.

3622.
The Semantic Web - ISWC 2004 [electronic resource] : Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3298
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.

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

3624.
Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3314
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.

3625.
Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3256
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.

3626.
Content Computing [electronic resource] : Advanced Workshop on Content Computing, AWCC 2004, Zhen Jiang, Jiang Su, China, November 15-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3309
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.

3627.
Formal Techniques for Networked and Distributed Systems - FORTE 2004 [electronic resource] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3235
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.

3628.
3629.
3630.
Software Security - Theories and Systems [electronic resource] : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / by Series: Lecture Notes in Computer Science ; 3233
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.

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

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

3633.
Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2933
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.

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

3635.
Grid Computing [electronic resource] : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers / by Series: Lecture Notes in Computer Science ; 3165
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.

3636.
3637.
Algorithmic Number Theory [electronic resource] : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings / by Series: Lecture Notes in Computer Science ; 4076
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
Availability: No items available.

3638.
Graph Drawing [electronic resource] : 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2912
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.

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

3640.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2937
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