Foreign E-Book
登录
用户：     我的收藏     注销
Foreign E-Book
Art
Biology
Business
Chemistry
Computers
Economy
Education
Fiction
Geography
Geology
History
Housekeeping
IT
Jurisprudence
language
Linguistics
Literature
Mathematics
Medicine
Other Social Sciences
Physical education and sport
Physics
Programming
Psychology
Religion
Science (General)
Technique
Technology
International Conferences and Symposiums498图书
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers 收藏已收藏
作者Larry L. Constantine (auth.), Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.) 出版社NULL
ISBN 9783540201595 页数 0
Interactive Systems. Design, Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers 收藏已收藏
作者Peter Wright, Mark Blythe, John McCarthy (auth.), Stephen W. Gilroy, Michael D. Harrison (eds.) 出版社NULL
ISBN 9783540341451 页数 0
Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers 收藏已收藏
作者Paul Curzon, Ann Blandford (auth.), Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban (eds.) 出版社NULL
ISBN 9783540002666 页数 0
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers 收藏已收藏
作者Ann Blandford, Paul Curzon, Joanne Hyde (auth.), T. C. Nicholas Graham, Philippe Palanque (eds.) 出版社NULL
ISBN 9783540705680 页数 0
Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers 收藏已收藏
作者Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes (auth.), Philippe Palanque, Fabio Paternò (eds.) 出版社NULL
ISBN 9783540416630 页数 0
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers 收藏已收藏
作者Kris Luyten, Karin Coninx (auth.), Chris Johnson (eds.) 出版社NULL
ISBN 9783540428077 页数 0
Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings 收藏已收藏
作者Camacho R. (ed.), King R. (ed.), Srinivasan A. (ed.) 出版社NULL
ISBN 3540301097 页数 0
Inductive Logic Programming: 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings 收藏已收藏
作者Hiroki Arimura, Takeaki Uno (auth.), Stefan Kramer, Bernhard Pfahringer (eds.) 出版社NULL
ISBN 9783540281771 页数 0
Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, Inap 2005 Fukuoka, Japan, October 22-24, 2005: Revised Selected Papers 收藏已收藏
作者Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata 出版社NULL
ISBN 9783540692331 页数 0
Inductive Logic Programming: 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers 收藏已收藏
作者Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli 出版社NULL
ISBN 9783540784685 页数 0
Inductive Logic Programming: 12th International Conference, ILP 2002 Sydney, Australia, July 9–11, 2002 Revised Papers 收藏已收藏
作者Isabelle Bournaud, Mélanie Courtine, Zucker Jean-Daniel (auth.), Stan Matwin, Claude Sammut (eds.) 出版社NULL
ISBN 9783540005674 页数 0
Inductive Logic Programming: 11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings 收藏已收藏
作者Liviu Badea (auth.), Céline Rouveirol, Michéle Sebag (eds.) 出版社NULL
ISBN 9783540425380 页数 0
首页 上一页 34 35 36 37 末页