Refine your search

Your search returned 9085 results.

Sort
Results
8801.
Information Security [electronic resource] : First International Workshop, ISW'97, Tatsunokuchi, Ishikawa Japan, September 17-19, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1396
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.

8802.
AI 2001: Advances in Artificial Intelligence [electronic resource] : 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2256
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.

8803.
Application and Theory of Petri Nets 2002 [electronic resource] : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2360
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.

8804.
Types for Proofs and Programs [electronic resource] : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers / by Series: Lecture Notes in Computer Science ; 2646
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.

8805.
Algorithms and Computation [electronic resource] : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2906
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.

8806.
Mathematical Foundations of Computer Science 1997 [electronic resource] : 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1295
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.

8807.
Advances in Computing Science - ASIAN'99 [electronic resource] : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1742
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.

8808.
Category Theory and Computer Science [electronic resource] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1290
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.

8809.
Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1837
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.

8810.
Rewriting Techniques and Applications [electronic resource] : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2051
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.

8811.
Rewriting Techniques and Applications [electronic resource] : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2378
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.

8812.
Typed Lambda Calculi and Applications [electronic resource] : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2044
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.

8813.
Advanced Information Systems Engineering [electronic resource] : 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1250
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.

8814.
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2470
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.

8815.
Algorithms - ESA 2000 [electronic resource] : 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1879
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.

8816.
Adaptive Processing of Sequences and Data Structures [electronic resource] : International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures / by Series: Lecture Notes in Artificial Intelligence ; 1387
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.

8817.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1730
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.

8818.
Randomization and Approximation Techniques in Computer Science [electronic resource] : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2483
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.

8819.
Financial Cryptography [electronic resource] : 5th International Conference, FC 2001, Grand Cayman, British West Indies, February 19-22, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2339
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.

8820.
Algebraic Methodology and Software Technology [electronic resource] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1349
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.

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