Refine your search

Your search returned 17575 results.

Sort
Results
16201.
Interactive Systems: Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 / by Series: Lecture Notes in Computer Science ; 2545
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.

16202.
Advanced Web Technologies and Applications [electronic resource] : 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3007
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.

16203.
Scale-Space and Morphology in Computer Vision [electronic resource] : Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2106
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.

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

16205.
Implementation of Functional Languages [electronic resource] : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers / by Series: Lecture Notes in Computer Science ; 1268
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.

16206.
XPS-99: Knowledge-Based Systems - Survey and Future Directions [electronic resource] : 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1570
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.

16207.
Multiple Classifier Systems [electronic resource] : Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2096
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.

16208.
Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1479
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.

16209.
Conceptual Modeling -- ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2813
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.

16210.
Mobile Agents [electronic resource] : First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1219
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.

16211.
16212.
Computing and Combinatorics [electronic resource] : Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997. Proceedings. / by Series: Lecture Notes in Computer Science ; 1276
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.

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

16214.
Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1551
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.

16215.
Discrete Geometry for Computer Imagery [electronic resource] : 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2886
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.

16216.
Automated Deduction in Classical and Non-Classical Logics [electronic resource] : Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1761
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.

16217.
Web Engineering [electronic resource] : Managing Diversity and Complexity of Web Application Development / by Series: Lecture Notes in Computer Science ; 2016
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.

16218.
Computational Combinatorial Optimization [electronic resource] : Optimal or Provably Near-Optimal Solutions / by Series: Lecture Notes in Computer Science ; 2241
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.

16219.
Advances in Cryptology – EUROCRYPT ’97 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11–15, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1233
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.

16220.
Integer Programming and Combinatorial Optimization [electronic resource] : 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1610
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