Active filters
Displaying 42 of 42 results
A perspective of constraint-based reasoning : an introductory tutorial / H.W. Guesgen, J. Hertzberg.
Text
Berlin ; New York : Springer-Verlag, c1992.
1992
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSF 93-283 | Item locationOffsite |
Foundations of constraint satisfaction / Edward Tsang.
Text
London ; New York : Academic Press, c1993.
1993
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 94-209 | Item locationOffsite |
Computational phonology : a constraint-based approach / by Steven Bird.
Text
Cambridge ; New York : Cambridge University Press, 1995.
1995
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFE 95-6821 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 96-1215 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 96-1596 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 98-231 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 98-1423 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 01-1561 | Item locationOffsite |
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
0 resources
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
0 resources
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 01-1943 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 03-1752 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 04-1063 | Item locationOffsite |
Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
Text
New York, NY : Springer, c2006.
2006
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 06-677 | Item locationOffsite |
Foundations of constraint satisfaction / Edward Tsang.
Text
London ; San Diego : Academic Press, [1993], ©1993.
1993-1993
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .T78 1993g | Item locationOff-site |
Constraint-based reasoning / edited by Eugene C. Freuder and Alan K. Mackworth.
Text
Cambridge, Mass. : MIT Press, 1994.
1994
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .C65 1994 | Item locationOff-site |
Computational phonology : a constraint-based approach / by Steven Bird.
Text
Cambridge, CB ; New York, NY : Cambridge University Press, 1995.
1995
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberP217.3 .B57 1995 | Item locationOff-site |
Over-constrained systems / Michael Jampel, Eugene C. Freuder, Michael Maher, eds.
Text
Berlin ; New York : Springer, [1996], ©1996.
1996-1996
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQA76.63 .O83 1996 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ341 .P7 1996 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .I58 1997 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberTS155 .C67 1998 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberP217.55 .C37 1998 | Item locationOff-site |
Constraint propagation in flexible manufacturing / Toàn Phan Huy.
Text
Belrin ; New York : Springer, 2000.
2000
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberTS155.65 .P48 2000 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .P75 2001 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberTS157.5 .B36 2001 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .P75 2003 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .I582 2004g | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .I582 2005g | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .P75 2004g | Item locationOff-site |
Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
Text
New York, NY : Springer, [2006], ©2006.
2006-2006
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .Y83 2006g | Item locationOff-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
1 item
Available online
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3990| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .I582 2006g | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .I582 2007g | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .P75 2006 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .I582 2008g | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQA267.7 .C665 2008g | Item locationOff-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
1 item
Available online
http://dx.doi.org/10.1007/978-3-642-01929-6| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .I575 2009 | Item locationOff-site |
Event states : discourse, time, mediality / Louis Armand.
Text
Prague : Litteraria Pragensia, 2007.
2007
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberP39 .A76 2007 | Item locationOff-site |
Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher, eds.
Text
Berlin ; New York : Springer, c1996.
1996
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQA76.63 .O83 1996 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberP217.55 .C37 1998 | Item locationOff-site |
Constraint propagation in flexible manufacturing / Toàn Phan Huy.
Text
Berlin ; New York : Springer, 2000.
2000
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberTS155.65 P48 2000 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .G873 1992 | Item locationOff-site |
Constraints, language and computation / edited by C.J. Rupp, M.A. Rosner and R.L. Johnson.
Text
London ; San Diego : Academic, c1994.
1994
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberP98 .C667 1994 | Item locationOff-site |
No results found from Digital Research Books Beta
Digital books for research from multiple sources worldwide - all free to read, download, and keep. No library card required.
Explore Digital Research Books Beta