Practice and theory of automated timetabling V : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Practice and theory of automated timetabling V : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Այլ հեղինակներ:	Trick, Michael, Burke, Edmund
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Շարք:	Lecture Notes in Computer Science, 3616
Խորագրեր:	Computer software Artificial intelligence Electronic data processing Information Systems Computational complexity
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Automated deduction in geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
: Hong, Hoon
Հրապարակվել է: (2006)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Հրապարակվել է: (2010)

Automated deduction in geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /
: Botana, Francisco
Հրապարակվել է: (2007)

Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Հրապարակվել է: (2013)

Computers and games / 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
: Herik, H. Jaap van den
Հրապարակվել է: (2006)

Computers and games : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers /
Հրապարակվել է: (2014)

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers
: Gleizes, Marie-Pierre
Հրապարակվել է: (2005)

Learning and intelligent optimization : 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers /
Հրապարակվել է: (2014)

Learning and intelligent optimization : 6th International conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers /
Հրապարակվել է: (2012)

Agent-oriented software eEngineering V 5th international workshop, AOSE 2004, New York, NY, USA, July 2004, revised selected papers
: Giorgini, Paolo
Հրապարակվել է: (2005)

Algorithmic methods for railway optimization : International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers /
: Geraets, Frank
Հրապարակվել է: (2007)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Հրապարակվել է: (2012)

Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Հրապարակվել է: (2013)

Computing and combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. proceedings /
Հրապարակվել է: (2012)

Computing and combinatorics : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /
Հրապարակվել է: (2014)

Informatics in Control, Automation and Robotics : 10th International Conference, ICINCO 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers /
Հրապարակվել է: (2015)

Diagrammatic representation and inference 6th international conference, diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings /
Հրապարակվել է: (2010)

Graph drawing (vol. # 3383) 12th international symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, revised selected papers
: Pach, J©Łnos
Հրապարակվել է: (2005)

DNA computing and molecular programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. proceedings /
Հրապարակվել է: (2012)

Advances in computer games 13th international conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, revised selected papers /
Հրապարակվել է: (2012)

Advances in computer games 12th international conference, ACG 2009, Pamplona Spain, May 11-13, 2009. revised papers /
Հրապարակվել է: (2010)

Bayesian and graphical models for biomedical imaging : First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers /
Հրապարակվել է: (2014)

Formal concept analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings /
Հրապարակվել է: (2010)

Diagrammatic representation and inference : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings /
Հրապարակվել է: (2012)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings /
Հրապարակվել է: (2013)

Simulated evolution and learning : 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings /
Հրապարակվել է: (2014)

Learning and intelligent optimization 4th international conference, LION 4, Venice, Italy, January 18-22, 2010. selected papers /
Հրապարակվել է: (2010)

Regulatory genomics RECOMB 2004 international workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, revised selected papers
: Eskin, Eleazar
Հրապարակվել է: (2005)

Computers and games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers /
Հրապարակվել է: (2011)

Formal concept analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Հրապարակվել է: (2009)

Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Հրապարակվել է: (2013)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Հրապարակվել է: (2010)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Հրապարակվել է: (2012)

Logic and the foundations of game and decision theory LOFT 8 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
Հրապարակվել է: (2010)

Introduction to the theory complexit /
: Bovet, Daniel
Հրապարակվել է: (1994)

Computers and games : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers /
Հրապարակվել է: (2007)

Advanced encryption standard - AES / 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, revised selected and invited papers

Theory of quantum computation, communication, and cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers /
Հրապարակվել է: (2011)

Information retrieval technology (vol. # 3411) asia information retrieval symposium, AIRS 2004, Beijing, China, October 18-20, 2004. revised selected papers
Հրապարակվել է: (2005)