Your search returned 1702 results.

Sort
Results
1061.
Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1581
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.

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

1063.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2945
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.

1064.
Computer Safety, Reliability and Security [electronic resource] : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2434
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.

1065.
STACS 99 [electronic resource] : 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1563
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.

1066.
Technologies for E-Services [electronic resource] : Third International Workshop, TES 2002, Hong Kong, China, August 23-24, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2444
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.

1067.
The Semantic Web - ISWC 2003 [electronic resource] : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2870
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.

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

1069.
Quality-Driven Query Answering for Integrated Information Systems [electronic resource] / by Series: Lecture Notes in Computer Science ; 2261
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.

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

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

1072.
Interacting Code Motion Transformations: Their Impact and Their Complexity [electronic resource] / by Series: Lecture Notes in Computer Science ; 1539
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.

1073.
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1790
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.

1074.
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003 [electronic resource] : 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 2879
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.

1075.
1076.
Advances in Cryptology - CRYPTO 2000 [electronic resource] : 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1880
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.

1077.
COTS-Based Software Systems [electronic resource] : Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003 / by Series: Lecture Notes in Computer Science ; 2580
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.

1078.
Practice and Theory of Automated Timetabling II [electronic resource] : Second International Conference, PATAT'97, Toronto, Canada, August 20 - 22, 1997, Selected Papers / by Series: Lecture Notes in Computer Science ; 1408
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.

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

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