FEEDBACK Smiley face

Your search returned 6 results. Subscribe to this search

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

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

3. Natural Language Processing and Information Systems [electronic resource] :10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings /

by Montoyo, Andrés [editor.] | Muńoz, Rafael [editor.] | Métais, Elisabeth [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

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

5. Service Research Challenges and Solutions for the Future Internet [electronic resource] :S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems /

by Papazoglou, Mike P [editor.] | Pohl, Klaus [editor.] | Parkin, Michael [editor.] | Metzger, Andreas [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

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