Your search returned 83 results.

Sort
Results
41.
New Approaches in Software Measurement [electronic resource] : 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 2006
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.

42.
43.
44.
Proof Theory in Computer Science [electronic resource] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2183
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.

45.
Algorithms and Computation [electronic resource] : 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1969
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.

46.
Next Generation Networks. Networks and Services for the Information Society [electronic resource] : 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1938
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.

47.
EurAsia-ICT 2002: Information and Communication Technology [electronic resource] : First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2510
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.

48.
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1869
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.

49.
Cryptography and Coding [electronic resource] : 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2898
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.

50.
Advances in Web-Age Information Management [electronic resource] : 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2762
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.

51.
High Performance Computing -- HiPC 2003 [electronic resource] : 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2913
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.

52.
Software Reuse: Methods, Techniques, and Tools [electronic resource] : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2319
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.

53.
Advances in Information Retrieval [electronic resource] : 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2633
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.

54.
Recent Advances in Intrusion Detection [electronic resource] : 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2212
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.

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

56.
Research and Advanced Technology for Digital Libraries [electronic resource] : 6th European Conference, ECDL 2002, Rome, Italy, September 16-18, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2458
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.

57.
Security Protocols [electronic resource] : 7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1796
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.

58.
Applications and Theory of Petri Nets 2001 [electronic resource] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2075
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.

59.
Recent Advances in Intrusion Detection [electronic resource] : Third International Workshop, RAID 2000 Toulouse, France, October 2-4, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1907
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.

60.
CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / by Series: Lecture Notes in Computer Science ; 2900
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