Your search returned 7426 results.

Sort
Results
5681.
Implementation and Application of Automata [electronic resource] : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2608
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.

5682.
Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3099
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.

5683.
5684.
Distributed Computing [electronic resource] : 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1914
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.

5685.
Principles of Data Mining and Knowledge Discovery [electronic resource] : Third European Conference, PKDD'99 Prague, Czech Republic, September 15-18, 1999 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1704
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.

5686.
Algorithms and Computations [electronic resource] : 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1741
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.

5687.
Intelligent Agents IV: Agent Theories, Architectures, and Languages [electronic resource] : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1365
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.

5688.
Logic for Programming and Automated Reasoning [electronic resource] : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1955
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.

5689.
5690.
Cryptographic Hardware and Embedded Systems -- CHES 2003 [electronic resource] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2779
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.

5691.
Intelligent Tutoring Systems [electronic resource] : 4th International Conference, ITS ’98, San Antonio, Texas, USA, August 16–19, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1452
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.

5692.
COTS-Based Software Systems [electronic resource] : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2255
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.

5693.
Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / by Series: Lecture Notes in Computer Science ; 2372
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.

5694.
5695.
Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1476
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.

5696.
Types for Proofs and Programs [electronic resource] : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / by Series: Lecture Notes in Computer Science ; 1512
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.

5697.
5698.
Principles of Data Mining and Knowledge Discovery [electronic resource] : Second European Symposium, PKDD'98, Nantes, France, September 23-26, 1998, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1510
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.

5699.
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers / by Series: Lecture Notes in Computer Science ; 1956
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.

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