FEEDBACK Smiley face

Your search returned 26 results. Subscribe to this search

|
1. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :5th European PVM/MPI Users' Group Meeting Liverpool, UK, September 7–9, 1998 Proceedings /

by Alexandrov, Vassil [editor.] | Dongarra, Jack [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

2. Collaboration between Human and Artificial Societies [electronic resource] :Coordination and Agent-Based Distributed Computing /

by Padget, Julian A [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, 1999.Online access: Click here to access online Availability: No items available

3. Simulated Evolution and Learning [electronic resource] :Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL’98 Canberra, Australia, November 24–27, 1998 Selected Papers /

by McKay, Bob [editor.] | Yao, Xin [editor.] | Newton, Charles S [editor.] | Kim, Jong-Hwan [editor.] | Furuhashi, Takeshi [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, 1999.Online access: Click here to access online Availability: No items available

4. Theorem Proving in Higher Order Logics [electronic resource] :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings /

by Aagaard, Mark [editor.] | Harrison, John [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, 2000.Online access: Click here to access online Availability: No items available

5. Proof Theory in Computer Science [electronic resource] :International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /

by Kahle, Reinhard [editor.] | Schroeder-Heister, Peter [editor.] | Stärk, Robert [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, 2001.Online access: Click here to access online Availability: No items available

6. Evaluation of Cross-Language Information Retrieval Systems [electronic resource] :Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001 Darmstadt, Germany, September 3–4, 2001 Revised Papers /

by Peters, Carol [editor.] | Braschler, Martin [editor.] | Gonzalo, Julio [editor.] | Kluck, Michael [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, 2002.Online access: Click here to access online Availability: No items available

7. Agents and Peer-to-Peer Computing [electronic resource] :First International Workshop, AP2PC 2002 Bologna, Italy, July 15, 2002 Revised and Invited Papers /

by Moro, Gianluca [editor.] | Koubarakis, Manolis [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, 2003.Online access: Click here to access online Availability: No items available

8. Agent-Based Hybrid Intelligent Systems [electronic resource] :An Agent-Based Framework for Complex Problem Solving /

by Zhang, Zili [author.] | Zhang, Chengqi [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, 2004.Online access: Click here to access online Availability: No items available

9. Agents and Peer-to-Peer Computing [electronic resource] :Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers /

by Moro, Gianluca [editor.] | Bergamaschi, Sonia [editor.] | Aberer, Karl [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, 2005.Online access: Click here to access online Availability: No items available

10. Law and the Semantic Web [electronic resource] :Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications /

by Benjamins, V. Richard [editor.] | Casanovas, Pompeu [editor.] | Breuker, Joost [editor.] | Gangemi, Aldo [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, 2005.Online access: Click here to access online Availability: No items available

11. Semantics, Web and Mining [electronic resource] :Joint International Workshops, EWMF 2005 and KDO 2005, Porto, Portugal, October 3-7, 2005, Revised Selected Papers /

by Ackermann, Markus [editor.] | Berendt, Bettina [editor.] | Grobelnik, Marko [editor.] | Hotho, Andreas [editor.] | Mladenič, Dunja [editor.] | Semeraro, Giovanni [editor.] | Spiliopoulou, Myra [editor.] | Stumme, Gerd [editor.] | Svátek, Vojtěch [editor.] | Someren, Maarten van [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, 2006.Online access: Click here to access online Availability: No items available

12. Agents and Peer-to-Peer Computing [electronic resource] :4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers /

by Despotovic, Zoran [editor.] | Joseph, Sam [editor.] | Sartori, Claudio [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, 2006.Online access: Click here to access online Availability: No items available

13. Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] :International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /

by Swart, Harrie de [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [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, 2006.Online access: Click here to access online Availability: No items available

14. Declarative Programming for Knowledge Management [electronic resource] :16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers /

by Umeda, Masanobu [editor.] | Wolf, Armin [editor.] | Bartenstein, Oskar [editor.] | Geske, Ulrich [editor.] | Seipel, Dietmar [editor.] | Takata, Osamu [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, 2006.Online access: Click here to access online Availability: No items available

15. Software Technologies for Embedded and Ubiquitous Systems [electronic resource] :7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings /

by Lee, Sunggu [editor.] | Narasimhan, Priya [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, 2009.Online access: Click here to access online Availability: No items available

16. Aging Friendly Technology for Health and Independence [electronic resource] :8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings /

by Lee, Yeunsook [editor.] | Bien, Z. Zenn [editor.] | Mokhtari, Mounir [editor.] | Kim, Jeong Tai [editor.] | Park, Mignon [editor.] | Kim, Jongbae [editor.] | Lee, Heyoung [editor.] | Khalil, Ismail [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, 2010.Online access: Click here to access online Availability: No items available

17. Diagrammatic Representation and Inference [electronic resource] :6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings /

by Goel, Ashok K [editor.] | Jamnik, Mateja [editor.] | Narayanan, N. Hari [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 : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

18. Conceptual Modeling – ER 2010 [electronic resource] :29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings /

by Parsons, Jeffrey [editor.] | Saeki, Motoshi [editor.] | Shoval, Peretz [editor.] | Woo, Carson [editor.] | Wand, Yair [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 : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

19. Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] :Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings /

by Ando, Noriaki [editor.] | Balakirsky, Stephen [editor.] | Hemker, Thomas [editor.] | Reggiani, Monica [editor.] | Stryk, Oskar von [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, 2010.Online access: Click here to access online Availability: No items available

20. Declarative Agent Languages and Technologies VIII [electronic resource] :8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers /

by Omicini, Andrea [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [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, 2011.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