FEEDBACK Smiley face

Your search returned 243 results. Subscribe to this search

|
1. Logic Program Synthesis and Transformation [electronic resource] :6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings /

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

2. Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers /

by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [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. Programming Languages: Implementations, Logics, and Programs [electronic resource] :9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings /

by Glaser, Hugh [editor.] | Hartel, Pieter [editor.] | Kuchen, Herbert [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. 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

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

6. Principles of Declarative Programming [electronic resource] :10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings /

by Palamidessi, Catuscia [editor.] | Glaser, Hugh [editor.] | Meinke, 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, 1998.Online access: Click here to access online Availability: No items available

7. Programming Languages and Systems [electronic resource] :7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings /

by Hankin, Chris [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

8. Applied Formal Methods — FM-Trends 98 [electronic resource] :International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings /

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | Traverso, Paolo [editor.] | Ullmann, Markus [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

9. Logics in Artificial Intelligence [electronic resource] :European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings /

by Ojeda-Aciego, Manuel [editor.] | Guzmán, Inma P. de [editor.] | Brewka, Gerhard [editor.] | Pereira, Luís Moniz [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

10. Analysis and Visualization Tools for Constraint Programming [electronic resource] :Constraint Debugging /

by Deransart, Pierre [editor.] | Hermenegildo, Manuel V [editor.] | Małuszynski, Jan [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

11. New Trends in Constraints [electronic resource] :Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers /

by Apt, Krzysztof R [editor.] | Monfroy, Eric [editor.] | Kakas, Antonis C [editor.] | Rossi, Francesca [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

12. Mathematics of Program Construction [electronic resource] :5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /

by Backhouse, Roland [editor.] | Oliveira, José Nuno [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

13. Static Analysis [electronic resource] :7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings /

by Palsberg, Jens [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

14. Principles and Practice of Constraint Programming – CP 2000 [electronic resource] :6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings /

by Dechter, Rina [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

15. Semantics, Applications, and Implementation of Program Generation [electronic resource] :International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings /

by Taha, Walid [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

16. Programming Languages and Systems [electronic resource] :9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 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, 2000.Online access: Click here to access online Availability: No items available

17. Semantics, Applications, and Implementation of Program Generation [electronic resource] :Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings /

by Taha, Walid [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. Programming Languages and Systems [electronic resource] :10th European Symposium on Programming, ESOP 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 Sands, David [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. Typed Lambda Calculi and Applications [electronic resource] :5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings /

by Abramsky, Samson [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

20. Principles and Practice of Constraint Programming — CP 2001 [electronic resource] :7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings /

by Walsh, Toby [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


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