FEEDBACK Smiley face

Your search returned 5 results. Subscribe to this search

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

2. Static Analysis [electronic resource] :9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings /

by Hermenegildo, Manuel V [editor.] | Puebla, Germán [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

3. Practical Aspects of Declarative Languages [electronic resource] :7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /

by Hermenegildo, Manuel V [editor.] | Cabeza, Daniel [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. Functional and Logic Programming [electronic resource] :9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /

by Garrigue, Jacques [editor.] | Hermenegildo, Manuel 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, 2008.Online access: Click here to access online Availability: No items available

5. Verification, Model Checking, and Abstract Interpretation [electronic resource] :11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /

by Barthe, Gilles [editor.] | Hermenegildo, Manuel [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


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