Refine your search

Your search returned 1169 results.

Sort
Results
1001.
Algorithm Engineering [electronic resource] : 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1982
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.

1002.
Principles and Practice of Constraint Programming - CP 2001 [electronic resource] : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2239
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.

1003.
Algorithm Engineering and Experimentation [electronic resource] : International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers / by Series: Lecture Notes in Computer Science ; 1619
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.

1004.
CONCUR 2002 - Concurrency Theory [electronic resource] : 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2421
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.

1005.
Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers / by Series: Lecture Notes in Computer Science ; 1827
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.

1006.
Logic Program Synthesis and Transformation [electronic resource] : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / by Series: Lecture Notes in Computer Science ; 1207
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

1007.
High Performance Computing [electronic resource] : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2858
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.

1008.
Component Deployment [electronic resource] : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2370
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.

1009.
Principles and Practice of Constraint Programming - CP97 [electronic resource] : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / by Series: Lecture Notes in Computer Science ; 1330
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

1010.
Functional and Logic Programming [electronic resource] : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2441
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.

1011.
Modular Specification and Verification of Object-Oriented Programs [electronic resource] / by Series: Lecture Notes in Computer Science ; 2262
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.

1012.
Discrete Mathematics and Theoretical Computer Science [electronic resource] : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2731
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.

1013.
Algorithms - ESA'99 [electronic resource] : 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1643
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.

1014.
Distributed Computing [electronic resource] : 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2180
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.

1015.
1016.
Progress in Cryptology - INDOCRYPT 2000 [electronic resource] : First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1977
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.

1017.
Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2562
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.

1018.
Agent-Oriented Software Engineering IV [electronic resource] : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2935
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.

1019.
Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / by Series: Lecture Notes in Computer Science ; 2042
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.

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