Research Catalog

  • A perspective of constraint-based reasoning : an introductory tutorial / H.W. Guesgen, J. Hertzberg.

    • Text
    • Berlin ; New York : Springer-Verlag, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 93-283Offsite
  • Foundations of constraint satisfaction / Edward Tsang.

    • Text
    • London ; New York : Academic Press, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-209Offsite
  • Computational phonology : a constraint-based approach / by Steven Bird.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JFE 95-6821Schwarzman Building - Main Reading Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher (eds.).

    • Text
    • Berlin ; New York : Springer, c1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 96-1215Offsite
  • Practice and theory of automated timetabling : first international conference, Edinburgh, U.K., August 29-September 1, 1995 : selected papers / Edmund Burke, Peter Ross, eds.

    • Text
    • New York : Springer, 1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 96-1596Offsite
  • The constraints management handbook / James F. Cox, III, Michael S. Spencer ; foreword by Eliyahu M. Goldratt.

    • Text
    • Boca Raton, Fla. : St. Lucie Press ; Falls Church, Va. : APICS, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-231Offsite
  • Practice and theory of automated timetabling II : second international conference, PATAT'97, Toronto, Canada, August 20-22, 1997 : selected papers / Edmund Burke, Michael Carter (eds.).

    • Text
    • Berlin ; New York : Springer, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-1423Offsite
  • Constraint-based scheduling : applying constraint programming to scheduling problems / Philippe Baptiste, Claude Le Pape, Wim Nuijten.

    • Text
    • Boston ; London : Kluwer Academic, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-1561Offsite
  • The min-conflicts heuristic [microform] : experiment and theoretical results / Steven Minton ... [et al.].

    • Text
    • [Moffett Field, CA] : NASA, Ames Research Center, Artificial Intelligence Research Branch ; [Springfield, Va. : National Technical Information Service, distributor, 1991]
    • 1991
  • Constraint-based scheduling [microform] / Monte Zweben.

    • Text
    • [Moffett Field, CA] : NASA, Ames Research Center, Artificial Intelligence Research Branch ; [Springfield, Va. : National Technical Information Service, distributor, 1991]
    • 1991
  • Practice and theory of automated timetabling : third international conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers / Edmund Burke, Wilhelm Erben (eds.).

    • Text
    • Berlin ; New York : Springer, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-1943Offsite
  • Practice and theory of automated timetabling IV : 4th international conference, PATAT 2002, Gent, Belgium, August 21-23, 2002 : revised selected papers / Edmund Burke, Patrick De Causmaecker (eds.).

    • Text
    • Berlin ; New York : Springer, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-1752Offsite
  • Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings / Jean-Charles Régin, Michel Rueher (eds.).

    • Text
    • Berlin ; New York : Springer, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-1063Offsite
  • Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.

    • Text
    • New York, NY : Springer, c2006.
    • 2006
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 06-677Offsite
  • Foundations of constraint satisfaction / Edward Tsang.

    • Text
    • London ; San Diego : Academic Press, [1993], ©1993.
    • 1993-1993
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .T78 1993gOff-site
  • Constraint-based reasoning / edited by Eugene C. Freuder and Alan K. Mackworth.

    • Text
    • Cambridge, Mass. : MIT Press, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .C65 1994Off-site
  • Computational phonology : a constraint-based approach / by Steven Bird.

    • Text
    • Cambridge, CB ; New York, NY : Cambridge University Press, 1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text P217.3 .B57 1995Off-site
  • Over-constrained systems / Michael Jampel, Eugene C. Freuder, Michael Maher, eds.

    • Text
    • Berlin ; New York : Springer, [1996], ©1996.
    • 1996-1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.63 .O83 1996Off-site
  • Practice and theory of automated timetabling : first international conference, Edinburgh, U.K., August 29-September 1, 1995 : selected papers / Edmund Burke, Peter Ross, eds.

    • Text
    • New York : Springer, 1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text Q341 .P7 1996Off-site
  • Practice and theory of automated timetabling II : second international conference, PATAT'97, Toronto, Canada, August 1997 : selected papers / Edmund Burke, Michael Carter (eds.).

    • Text
    • New York : Springer, 1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .I58 1997Off-site
  • The constraints management handbook / James F. Cox, III, Michael S. Spencer ; foreword by Eliyahu M. Goldratt.

    • Text
    • Boca Raton, Fla. : St. Lucie Press ; Falls Church, Va. : APICS, [1998], ©1998.
    • 1998-1998
    • 1 Item
    FormatCall NumberItem Location
    Text TS155 .C67 1998Off-site
  • Time map phonology : finite state models and event logics in speech recognition / by Julie Carson-Berndsen.

    • Text
    • Dordrecht ; Boston : Kluwer, [1998], ©1998.
    • 1998-1998
    • 1 Item
    FormatCall NumberItem Location
    Text P217.55 .C37 1998Off-site
  • Constraint propagation in flexible manufacturing / Toàn Phan Huy.

    • Text
    • Belrin ; New York : Springer, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text TS155.65 .P48 2000Off-site
  • Practice and theory of automated timetabling : third international conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers / Edmund Burke, Wilhelm Erben (eds.).

    • Text
    • Berlin ; New York : Springer, [2001], ©2001.
    • 2001-2001
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .P75 2001Off-site
  • Constraint-based scheduling : applying constraint programming to scheduling problems / Philippe Baptiste, Claude Le Pape, Wim Nuijten.

    • Text
    • Boston : Kluwer Academic, [2001], ©2001.
    • 2001-2001
    • 1 Item
    FormatCall NumberItem Location
    Text TS157.5 .B36 2001Off-site
  • Practice and theory of automated timetabling IV : 4th international conference, PATAT 2002, Gent, Belgium, August 21-23, 2002 : revised selected papers / Edmund Burke, Patrick De Causmaecker (eds.).

    • Text
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .P75 2003Off-site
  • Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings / Jean-Charles Régin, Michel Rueher (eds.).

    • Text
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .I582 2004gOff-site
  • Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : second international conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005 : proceedings / Roman Bartak, Michela Milano (eds.).

    • Text
    • Berlin ; New York : Springer, [2005], ©2005.
    • 2005-2005
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .I582 2005gOff-site
  • Practice and theory of automated timetabling V : 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers / Edmund Burke, Michael Trick (eds.).

    • Text
    • Berlin ; New York : Springer, [2005], ©2005.
    • 2005-2005
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .P75 2004gOff-site
  • Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.

    • Text
    • New York, NY : Springer, [2006], ©2006.
    • 2006-2006
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .Y83 2006gOff-site
  • Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006 ; proceedings / J. Christopher Beck, Barbara M. Smith (eds.).

    • Text
    • Berlin ; New York : Springer, 2006.
    • 2006
    • 2 Items
    FormatCall NumberItem Location
    Text Off-site
    Not available - Please for assistance.
    FormatCall NumberItem Location
    Text Q340 .I582 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
  • Practice and theory of automated timetabling VI : 6th international conference, PATAT 2006, Brno, Czech Republic, August 30 - September 1, 2006 : revised selected papers / Edmund K. Burke, Hana Rudova (eds.).

    • Text
    • Berlin ; New York : Springer, 2007.
    • 2007
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .P75 2006Off-site
  • Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings / Laurent Perron, Michael A. Trick (eds.).

    • Text
    • Berlin ; New York : Springer, [2008], ©2008.
    • 2008-2008
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .I582 2008gOff-site
  • Complexity of constraints : an overview of current research themes / Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [2008], ©2008.
    • 2008-2008
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .C665 2008gOff-site
  • Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 : proceedings / Willem-Jan van Hoeve, John N. Hooker (eds.).

    • Text
    • Berlin ; New York : Springer, [2009], ©2009.
    • 2009-2009
    • 2 Items
    FormatCall NumberItem Location
    Text Off-site
    Not available - Please for assistance.
    FormatCall NumberItem Location
    Text Q340 .I575 2009Off-site
  • Event states : discourse, time, mediality / Louis Armand.

    • Text
    • Prague : Litteraria Pragensia, 2007.
    • 2007
    • 1 Item
    FormatCall NumberItem Location
    Text P39 .A76 2007Off-site
  • Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher, eds.

    • Text
    • Berlin ; New York : Springer, c1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.63 .O83 1996Off-site
  • Time map phonology : finite state models and event logics in speech recognition / by Julie Carson-Berndsen.

    • Text
    • Dordrecht ; Boston : Kluwer, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text P217.55 .C37 1998Off-site
  • Constraint propagation in flexible manufacturing / Toàn Phan Huy.

    • Text
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text TS155.65 P48 2000Off-site
  • A perspective of constraint-based reasoning : an introductory tutorial / H.W. Guesgen, J. Hertzberg.

    • Text
    • Berlin ; New York : Springer-Verlag, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .G873 1992Off-site
  • Constraints, language and computation / edited by C.J. Rupp, M.A. Rosner and R.L. Johnson.

    • Text
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text P98 .C667 1994Off-site
  • A perspective of constraint-based reasoning : an introductory tutorial / H.W. Güsgen, J. Hertzberg.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text Q340 .G873 1992Off-site
  • Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / Alan Borning (ed.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.612 .W67 1994Off-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