Your search returned 2820 results.

Sort
Results
2221.
Web Technologies and Applications [electronic resource] : 5th Asia-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2642
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.

2222.
Agent-Oriented Software Engineering [electronic resource] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 1957
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.

2223.
Power-Aware Computer Systems [electronic resource] : First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 2008
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.

2224.
Topics in Cryptology - CT-RSA 2001 [electronic resource] : The Cryptographer's Track at RSA Conference 2001 San Francisco, CA, USA, April 8-12, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2020
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.

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

2226.
Static Analysis [electronic resource] : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1302
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.

2227.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2799
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.

2228.
Agent-Oriented Software Engineering II [electronic resource] : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / by Series: Lecture Notes in Computer Science ; 2222
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.

2229.
Groupware: Design, Implementation, and Use [electronic resource] : 9th International Workshop, CRIWG 2003, Autrans, France, September 28 – October 2, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2806
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.

2230.
Algorithms and Computation [electronic resource] : 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2223
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.

2231.
Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / by Series: Lecture Notes in Computer Science ; 2283
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.

2232.
Fundamentals of Computation Theory [electronic resource] : 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2751
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.

2233.
Advanced Information Systems Engineering [electronic resource] : 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3084
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.

2234.
Algorithms and Computation [electronic resource] : 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2518
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.

2235.
Automata Implementation [electronic resource] : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers / by Series: Lecture Notes in Computer Science ; 1260
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.

2236.
Information Security [electronic resource] : 4th International Conference, ISC 2001 Malaga, Spain, October 1-3, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2200
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.

2237.
Visual Content Processing and Representation [electronic resource] : 8th International Workshop, VLBV 2003, Madrid, Spain, September 18-19, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2849
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.

2238.
Algorithm Theory - SWAT 2004 [electronic resource] : 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3111
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.

2239.
Static Analysis [electronic resource] : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2477
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.

2240.
Visual Information and Information Systems [electronic resource] : Third International Conference, VISUAL'99, Amsterdam, The Netherlands, June 2-4, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1614
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.

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