Your search returned 425 results.

Sort
Results
401.
Intelligent Agents and Multi-Agent Systems [electronic resource] : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2891
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.

402.
Intelligent Agents and Multi-Agent Systems [electronic resource] : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2413
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.

403.
Abstraction, Reformulation, and Approximation [electronic resource] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1864
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.

404.
Issues in Agent Communication [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 1916
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.

405.
Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3097
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.

406.
407.
Intelligent Agents: Specification, Modeling, and Application [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2132
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.

408.
Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2083
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.

409.
Intelligent Agents VI. Agent Theories, Architectures, and Languages [electronic resource] : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1757
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.

410.
Intelligent Agents VIII [electronic resource] : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 2333
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.

411.
Automated Deduction - CADE-16 [electronic resource] : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1632
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.

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

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

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

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

416.
Compiler Construction [electronic resource] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2985
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.

417.
Compiler Construction [electronic resource] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2027
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.

418.
Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Report Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1760
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.

419.
420.
Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / by Series: Lecture Notes in Computer Science ; 1817
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.

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