Research Catalog

  • Static analysis : 4th International Symposium, SAS'97, Paris, France, September 1997 : proceedings / Pascal van Hentenryck (ed.).

    • Text
    • New York : Springer, 1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-1375Offsite
  • Principles and practice of constraint programming-CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : proceedings / Pascal Van Hentenryck (ed.).

    • Text
    • Berlin ; New York : Springer, c2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 02-1957Offsite
  • Principles and practice of constraint programming : the Newport papers / edited by Vijay Saraswat and Pascal Van Hentenryck ; advising editors, Paris Kanellakis, Jean-Louis Lassez, Ralph Wachter.

    • Text
    • Cambridge, Mass. : MIT Press, [1995], ©1995.
    • 1995-1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.612 .P75 1995Off-site
  • Static analysis : 4th International Symposium, SAS'97, Paris, France, September 1997 : proceedings / Pascal van Hentenryck (ed.).

    • Text
    • New York : Springer, 1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .I5733 1997Off-site
  • Principles and practice of constraint programming-CP 2002 : 8th International Conference4, CP 2002, Ithaca, NY, USA, september 2002 : proceedings / Pascal Van Hentenryck (ed.).

    • Text
    • Berlin ; New York : Springer, 2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.612 .C7 2002Off-site
  • Practical aspects of declarative languages : 8th international symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006 : proceedings / Pascal Van Hentenryck (ed.).

    • Text
    • Berlin : Springer, [2006], ©2006.
    • 2006-2006
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 P32 2006gOff-site
  • Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 4th international conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007 ; proceedings / Pascal Van Hentenryck, Laurence Wolsey (eds.).

    • Text
    • Berlin ; New York : Springer, 2007.
    • 2007
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .I582 2007gOff-site
  • Hybrid optimization : the ten years of CPAIOR / edited by Michela Milano, Pascal van Hentenryck.

    • Text
    • New York : Springer, c2011.
    • 2011
    • 1 Item
    FormatCall NumberItem Location
    Text T57.6 .H93 2011Off-site
  • Hybrid optimization : the ten years of CPAIOR / edited by Michela Milano, Pascal van Hentenryck.

    • Text
    • New York : Springer, c2011.
    • 2011
    • 1 Item
    FormatCall NumberItem Location
    Text T57.6 .H93 2011Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta