Refine your search

Your search returned 8322 results.

Sort
Results
7281.
STACS 2003 [electronic resource] : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2607
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.

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

7283.
Combinatorial Pattern Matching [electronic resource] : 10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1645
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.

7284.
Multiagent Platforms [electronic resource] : First Pacific Rim International Workshop on Multi-Agents, PRIMA'98, Singapore, November 23, 1998, Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1599
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.

7285.
Logical Aspects of Computational Linguistics [electronic resource] : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1328
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.

7286.
Algorithms - ESA 2003 [electronic resource] : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2832
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.

7287.
Information Security [electronic resource] : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2851
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.

7288.
Computational Biology [electronic resource] : First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers / by Series: Lecture Notes in Computer Science ; 2066
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.

7289.
Protocols for Multimedia Systems [electronic resource] : 6th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2213
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.

7290.
Quality of Future Internet Services [electronic resource] : Second COST 263 International Workshop, Qofis 2001, Coimbra, Portugal, September 24-26, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2156
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.

7291.
Advances in Artificial Intelligence -- IBERAMIA 2004 [electronic resource] : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3315
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.

7292.
Object-Oriented Technology: ECOOP 2001 Workshop Reader [electronic resource] : ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2323
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.

7293.
Parallel Computing Technologies [electronic resource] : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2127
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.

7294.
7295.
Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2860
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.

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

7297.
Selected Areas in Cryptography [electronic resource] : 7th Annual International Workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 2012
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.

7298.
Approximation Algorithms for Combinatorial Optimization [electronic resource] : International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1444
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.

7299.
Information and Communications Security [electronic resource] : First International Conference, ICIS'97, Beijing, China, November 11-14, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1334
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.

7300.
Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Series: Lecture Notes in Artificial Intelligence ; 2654
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.

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