Your search returned 1705 results.

Sort
Results
921.
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.

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

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

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

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

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

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

928.
929.
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.

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

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

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

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

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

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

936.
Principles and Practice of Constraint Programming - CP'99 [electronic resource] : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1713
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.

937.
Parallel Computing Technologies [electronic resource] : 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2763
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.

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

939.
Artificial Neural Nets. Problem Solving Methods [electronic resource] : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 2687
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.

940.
Artificial Neural Networks - ICANN 2001 [electronic resource] : International Conference Vienna, Austria, August 21-25, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2130
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.

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