FEEDBACK Smiley face

Your search returned 5 results. Subscribe to this search

|
1. Abstraction, Reformulation, and Approximation [electronic resource] :4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings /

by Choueiry, Berthe Y [editor.] | 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, 2000.Online access: Click here to access online Availability: No items available

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

3. Theory and Applications of Satisfiability Testing [electronic resource] :8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /

by Bacchus, Fahiem [editor.] | 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, 2005.Online access: Click here to access online Availability: No items available

4. Algorithmic Decision Theory [electronic resource] :4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /

by Walsh, Toby [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015.Online access: Click here to access online Availability: No items available

5. Handbook of satisfiability

by Biere, Armin [editor] | Heule, Marijn [editor] | Mareen, Hans Van [editor] | Walsh, Toby [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Amsterdam : IOS Press, ©2009Availability:
Items available for reference: IIITD [REF 511.3 BIE-H] (1).


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