Refine your search

Your search returned 564 results.

Sort
Results
521.
Theorem Proving in Higher Order Logics [electronic resource] : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2410
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.

522.
Computer Vision - ECCV 2002 [electronic resource] : 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 2350
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.

523.
Principles of Data Mining and Knowledge Discovery [electronic resource] : 6th European Conference, PKDD 2002, Helsinki, Finland, August 19–23, 2002, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2431
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.

524.
Software Frameworks and Embedded Control Systems [electronic resource] / by Series: Lecture Notes in Computer Science ; 2231
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.

525.
Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation - SAMOS / by Series: Lecture Notes in Computer Science ; 2268
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.

526.
Index Structures for Data Warehouses [electronic resource] / by Series: Lecture Notes in Computer Science ; 1859
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.

527.
Experience Management [electronic resource] : Foundations, Development Methodology, and Internet-Based Applications / by Series: Lecture Notes in Artificial Intelligence ; 2432
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.

528.
Advances in Data Mining [electronic resource] : Applications in E-Commerce, Medicine, and Knowledge Management / by Series: Lecture Notes in Artificial Intelligence ; 2394
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.

529.
Progress in Discovery Science [electronic resource] : Final Report of the Japanese Discovery Science Project / by Series: Lecture Notes in Artificial Intelligence ; 2281
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.

530.
Information Networking: Wireless Communications Technologies and Network Applications [electronic resource] : International Conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002. Revised Papers. Part II / by Series: Lecture Notes in Computer Science ; 2344
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.

531.
Advances in Databases and Information Systems [electronic resource] : 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2435
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.

532.
Advances in Web-Age Information Management [electronic resource] : Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2419
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.

533.
Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg / by Series: Lecture Notes in Computer Science ; 2300
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.

534.
Generative Programming and Component Engineering [electronic resource] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2487
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.

535.
Advances in Learning Classifier Systems [electronic resource] : 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 2321
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.

536.
Intelligent Data Engineering and Automated Learning - IDEAL 2002 [electronic resource] : Third International Conference, Manchester, UK, August 12-14 Proceedings / by Series: Lecture Notes in Computer Science ; 2412
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.

537.
Human Computer Interaction with Mobile Devices [electronic resource] : 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18–20, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2411
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.

538.
Logic Programming [electronic resource] : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2401
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.

539.
Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / by Series: Lecture Notes in Computer Science ; 2331
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.

540.
Active Networks [electronic resource] : IFIP-TC6 4th International Working Conference, IWAN 2002, Zurich, Switzerland, December 4-6, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2546
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.

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