FEEDBACK Smiley face

Your search returned 53 results. Subscribe to this search

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

2. Static Analysis [electronic resource] :4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings /

by Hentenryck, Pascal 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, 1997.Online access: Click here to access online Availability: No items available

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

4. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :4th European PVM/MPI Users' Group Meeting Cracow, Poland, November 3–5, 1997 Proceedings /

by Bubak, Marian [editor.] | Dongarra, Jack [editor.] | Waśniewski, Jerzy [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. Scientific Computing in Object-Oriented Parallel Environments [electronic resource] :First International Conference, ISCOPE 97 Marina del Rey, California, USA December 8–11, 1997 Proceedings /

by Ishikawa, Yutaka [editor.] | Oldehoeft, Rodney R [editor.] | Reynders, John V. W [editor.] | Tholburn, Marydell [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

6. Logic-Based Program Synthesis and Transformation [electronic resource] :8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers /

by Flener, Pierre [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

7. Network-Based Parallel Computing. Communication, Architecture, and Applications [electronic resource] :4th International Workshop, CANPC 2000, Toulouse, France, January 8, 2000. Proceedings /

by Falsafi, Babak [editor.] | Lauria, Mario [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

8. Computational Logic — CL 2000 [electronic resource] :First International Conference London, UK, July 24–28, 2000 Proceedings /

by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [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

9. Policies for Distributed Systems and Networks [electronic resource] :International Workshop, POLICY 2001 Bristol, UK, January 29–31, 2001 Proceedings /

by Sloman, Morris [editor.] | Lupu, Emil C [editor.] | Lobo, Jorge [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

10. Parallel Computing Technologies [electronic resource] :6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3–7, 2001 Proceedings /

by Malyshkin, Victor [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

11. Inductive Logic Programming [electronic resource] :11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings /

by Rouveirol, Céline [editor.] | Sebag, Michéle [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

12. Objective Coordination in Multi-Agent System Engineering [electronic resource] :Design and Implementation /

by Schumacher, Michael [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, 2001.Online access: Click here to access online Availability: No items available

13. High-Level Parallel Programming Models and Supportive Environments [electronic resource] :6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings /

by Mueller, Frank [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

14. Compiler Optimizations for Scalable Parallel Systems [electronic resource] :Languages, Compilation Techniques, and Run Time Systems /

by Pande, Santosh [editor.] | Agrawal, Dharma P [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

15. Constraints in Computational Logics [electronic resource] :Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures /

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan van [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [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

16. Perspectives of System Informatics [electronic resource] :4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers /

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [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

17. Logic Programming [electronic resource] :17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings /

by Codognet, Philippe [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

18. Grid Computing — GRID 2001 [electronic resource] :Second International Workshop Denver, CO, USA, November 12, 2001 Proceedings /

by Lee, Craig 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, 2001.Online access: Click here to access online Availability: No items available

19. Component Deployment [electronic resource] :IFIP/ACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings /

by Bishop, Judith [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

20. Logic Based Program Synthesis and Transformation [electronic resource] :11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers /

by Pettorossi, Alberto [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


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