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
Education825图书
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers 收藏已收藏
作者Shady Copty, Itai Jaeger, Yoav Katz (auth.), Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.) 出版社NULL
ISBN 9783540326045 页数 0
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers 收藏已收藏
作者Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova (auth.), Wolfgang Grieskamp, Carsten Weise (eds.) 出版社NULL
ISBN 9783540344544 页数 0
Software Configuration Management: ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14–15, 2001 and Portland, OR, USA, May 9–10, 2003. Selected Papers 收藏已收藏
作者Jacky Estublier, Sergio García, Germán Vega (auth.), Bernhard Westfechtel, André van der Hoek (eds.) 出版社Springer-Verlag Berlin Heidelberg
ISBN 9783540140368 页数 0
Compiler construction: 18th international conference, CC 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009: procAuthor: Oege de Moor; Michael I Schwartzbach'' 收藏已收藏
作者Oege de Moor, Michael I. Schwartzbach 出版社NULL
ISBN 9783642007217 页数 0
Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers 收藏已收藏
作者Lars Frantzen, Jan Tretmans, Tim A. C. Willemse (auth.), Jens Grabowski, Brian Nielsen (eds.) 出版社NULL
ISBN 9783540251095 页数 0
Reuse of Off-the-Shelf Components: 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings 收藏已收藏
作者Claudia Ayala, Xavier Franch (auth.), Maurizio Morisio (eds.) 出版社NULL
ISBN 9783540346067 页数 0
Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers 收藏已收藏
作者Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane (auth.), Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.) 出版社NULL
ISBN 9783540007081 页数 0
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings 收藏已收藏
作者Peter W. O’Hearn (auth.), David Schmidt (eds.) 出版社NULL
ISBN 9783540213130 页数 0
Software Reuse: Methods, Techniques, and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings 收藏已收藏
作者Rebeca P. Díaz Redondo, Martín López Nores, José J. Pazos Arias, Ana Fernández Vilas (auth.), Jan Bosch, Charles Krueger (eds.) 出版社NULL
ISBN 9783540223351 页数 0
Fast Software Encryption: 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings 收藏已收藏
作者Alex Biryukov, Adi Shamir, David Wagner (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Bruce Schneier (eds.) 出版社NULL
ISBN 9783540417286 页数 0
Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings 收藏已收藏
作者Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.) 出版社NULL
ISBN 9783540421245 页数 0
New Approaches in Software Measurement: 10th International Workshop, IWSM 2000 Berlin, Germany, October 4–6, 2000 Proceedings 收藏已收藏
作者Dirk Beyer, Claus Lewerentz, Frank Simon (auth.), Reiner Dumke, Alain Abran (eds.) 出版社NULL
ISBN 9783540417279 页数 0
首页 上一页 36 37 38 39 末页