Refine your search

Your search returned 17566 results.

Sort
Results
17101.
Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1833
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.

17102.
Combinatorial Pattern Matching [electronic resource] : 14th Annual Symposium, CPM 2003, Morelia, Michoacán, Mexico, June 25-27, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2676
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.

17103.
Methodologies for Knowledge Discovery and Data Mining [electronic resource] : Third Pacific-Asia Conference, PAKDD'99, Beijing, China, April 26-28, 1999, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1574
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.

17104.
CONCUR'97: Concurrency Theory [electronic resource] : 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1243
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.

17105.
Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2885
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.

17106.
17107.
Pattern Recognition [electronic resource] : 24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2449
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.

17108.
Algorithm Engineering [electronic resource] : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1668
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.

17109.
Intelligent Agents VII. Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1986
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.

17110.
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2621
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.

17111.
Randomization and Approximation Techniques in Computer Science [electronic resource] : International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1269
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.

17112.
Digital Watermarking [electronic resource] : First International Workshop, IWDW 2002, Seoul, Korea, November 21-22, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2613
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.

17113.
KI 2003: Advances in Artificial Intelligence [electronic resource] : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2821
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.

17114.
Fast Software Encryption [electronic resource] : 9th International Workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002. Revised Papers / by Series: Lecture Notes in Computer Science ; 2365
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.

17115.
Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2404
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.

17116.
Business Process Management [electronic resource] : Models, Techniques, and Empirical Studies / by Series: Lecture Notes in Computer Science ; 1806
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.

17117.
Structures in Logic and Computer Science [electronic resource] : A Selection of Essays in Honor of A. Ehrenfeucht / by Series: Lecture Notes in Computer Science ; 1261
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.

17118.
Inductive Logic Programming [electronic resource] : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2835
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.

17119.
Trends in Distributed Systems for Electronic Commerce [electronic resource] : International IFIP/GI Working Conference, TREC'98, Hamburg, Germany, June 3-5, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1402
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.

17120.
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1204
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