FEEDBACK Smiley face

Your search returned 762 results. Subscribe to this search

|
1. Intelligent Agents III Agent Theories, Architectures, and Languages [electronic resource] :ECAI'96 Workshop (ATAL) Budapest, Hungary, August 12–13, 1996 Proceedings /

by Müller, Jörg P [editor.] | Wooldridge, Michael J [editor.] | Jennings, Nicholas R [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

2. Software Agents and Soft Computing Towards Enhancing Machine Intelligence [electronic resource] :Concepts and Applications /

by Nwana, Hyacinth S [editor.] | Azarmi, Nader [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

3. Intelligent Agent Systems Theoretical and Practical Issues [electronic resource] :Based on a Workshop Held at PRICAI '96 Cairns, Australia, August 26–30, 1996 /

by Cavedon, Lawrence [editor.] | Rao, Anand [editor.] | Wobcke, Wayne [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

4. Mobile Object Systems Towards the Programmable Internet [electronic resource] :Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers /

by Vitek, Jan [editor.] | Tschudin, Christian [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

5. Foundations of Inductive Logic Programming [electronic resource] /

by Nienhuys-Cheng, Shan-Hwei [author.] | Wolf, Roland de [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

6. Computer Aided Verification [electronic resource] :9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings /

by Grumberg, Orna [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

7. Logic Programming And Nonmonotonic Reasoning [electronic resource] :4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings /

by Dix, Jürgen [editor.] | Furbach, Ulrich [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

8. Inductive Logic Programming [electronic resource] :6th International Workshop, ILP-96 Stockholm, Sweden, August 26–28, 1996 Selected Papers /

by Muggleton, Stephen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

9. Foundations of Computer Science [electronic resource] :Potential — Theory — Cognition /

by Freksa, Christian [editor.] | Jantzen, Matthias [editor.] | Valk, Rüdiger [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

10. Principles and Practice of Constraint Programming-CP97 [electronic resource] :Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings /

by Smolka, Gert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

11. Advances in Computing Science — ASIAN'97 [electronic resource] :Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings /

by Shyamasundar, R. K [editor.] | Ueda, K [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

12. Foundations of Software Technology and Theoretical Computer Science [electronic resource] :17th Conference Kharagpur, India, December 18–20, 1997 Proceedings /

by Ramesh, S [editor.] | Sivakumar, G [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

13. Practical Aspects of Declarative Languages [electronic resource] :First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /

by Gupta, Gopal [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

14. Compositionality: The Significant Difference [electronic resource] :International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /

by Roever, Willem-Paul de [editor.] | Langmaack, Hans [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

15. Multi-Agent Systems. Theories, Languages and Applications [electronic resource] :4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998. Selected Papers /

by Zhang, Chenqi [editor.] | Lukose, Dickson [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

16. Multi-Agent Systems and Agent-Based Simulation [electronic resource] :First International Workshop, MABS ’98, Paris, France, July 4-6, 1998. Proceedings /

by Sichman, Jaime Simão [editor.] | Conte, Rosaria [editor.] | Gilbert, Nigel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

17. Transactions and Change in Logic Databases [electronic resource] :International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers /

by Freitag, Burkhard [editor.] | Decker, Hendrik [editor.] | Kifer, Michael [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

18. Principles and Practice of Constraint Programming — CP98 [electronic resource] :4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings /

by Maher, Michael [editor.] | Puget, Jean-Francois [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

19. Types for Proofs and Programs [electronic resource] :International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers /

by Giménez, Eduardo [editor.] | Paulin-Mohring, Christine [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

20. Theorem Proving in Higher Order Logics [electronic resource] :11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings /

by Grundy, Jim [editor.] | Newey, Malcolm [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in