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 /

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Trick, Michael, Burke, Edmund
Định dạng:	eBook
Ngôn ngữ:	English
Loạt:	Lecture Notes in Computer Science, 3616
Những chủ đề:	Computer software Artificial intelligence Electronic data processing Information Systems Computational complexity
Truy cập trực tuyến:	Click here to view the full text content
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Automated deduction in geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Bằng: Hong, Hoon
Được phát hành: (2006)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Được phát hành: (2010)

Automated deduction in geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /
Bằng: Botana, Francisco
Được phát hành: (2007)

Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Được phát hành: (2013)

Computers and games / 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
Bằng: Herik, H. Jaap van den
Được phát hành: (2006)

Computers and games : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers /
Được phát hành: (2014)

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers
Bằng: Gleizes, Marie-Pierre
Được phát hành: (2005)

Learning and intelligent optimization : 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers /
Được phát hành: (2014)

Learning and intelligent optimization : 6th International conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers /
Được phát hành: (2012)

Agent-oriented software eEngineering V 5th international workshop, AOSE 2004, New York, NY, USA, July 2004, revised selected papers
Bằng: Giorgini, Paolo
Được phát hành: (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 /
Bằng: Geraets, Frank
Được phát hành: (2007)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Được phát hành: (2013)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Được phát hành: (2012)

Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Được phát hành: (2013)

Computing and combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. proceedings /
Được phát hành: (2012)

Computing and combinatorics : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /
Được phát hành: (2014)

Informatics in Control, Automation and Robotics : 10th International Conference, ICINCO 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers /
Được phát hành: (2015)

Diagrammatic representation and inference 6th international conference, diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings /
Được phát hành: (2010)

Graph drawing (vol. # 3383) 12th international symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, revised selected papers
Bằng: Pach, J©Łnos
Được phát hành: (2005)

DNA computing and molecular programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. proceedings /
Được phát hành: (2012)

Advances in computer games 13th international conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, revised selected papers /
Được phát hành: (2012)

Advances in computer games 12th international conference, ACG 2009, Pamplona Spain, May 11-13, 2009. revised papers /
Được phát hành: (2010)

Bayesian and graphical models for biomedical imaging : First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers /
Được phát hành: (2014)

Formal concept analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings /
Được phát hành: (2010)

Diagrammatic representation and inference : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings /
Được phát hành: (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 /
Được phát hành: (2013)

Simulated evolution and learning : 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings /
Được phát hành: (2014)

Learning and intelligent optimization 4th international conference, LION 4, Venice, Italy, January 18-22, 2010. selected papers /
Được phát hành: (2010)

Regulatory genomics RECOMB 2004 international workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, revised selected papers
Bằng: Eskin, Eleazar
Được phát hành: (2005)

Computers and games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers /
Được phát hành: (2011)

Formal concept analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Được phát hành: (2009)

Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Được phát hành: (2013)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Được phát hành: (2010)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Được phát hành: (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 /
Được phát hành: (2010)

Introduction to the theory complexit /
Bằng: Bovet, Daniel
Được phát hành: (1994)

Computers and games : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers /
Được phát hành: (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 /
Được phát hành: (2011)

Information retrieval technology (vol. # 3411) asia information retrieval symposium, AIRS 2004, Beijing, China, October 18-20, 2004. revised selected papers
Được phát hành: (2005)