书名：Principles of Model Checking (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:41:14

描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...

书名：Principles of Model Checking (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:41:14

描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...

书名：Principles of Model Checking (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:41:14

描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...

书名：Principles of Model Checking (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:41:14

描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...

书名：PHP and MySQL: Create - Modify - Reuse (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:55:55

描述： (PDF 英文版) by Timothy Boronczyk with Martin E. Psinas ISBN: 978-0-470-19242-9 Paperback 341 pages May 2008 (Wrox) ...

书名：PHP and MySQL: Create - Modify - Reuse (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:55:55

描述： (PDF 英文版) by Timothy Boronczyk with Martin E. Psinas ISBN: 978-0-470-19242-9 Paperback 341 pages May 2008 (Wrox) ...

书名：PHP and MySQL: Create - Modify - Reuse (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:55:55

描述： (PDF 英文版) by Timothy Boronczyk with Martin E. Psinas ISBN: 978-0-470-19242-9 Paperback 341 pages May 2008 (Wrox) ...

书名：PHP and MySQL: Create - Modify - Reuse (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:55:55

描述： (PDF 英文版) by Timothy Boronczyk with Martin E. Psinas ISBN: 978-0-470-19242-9 Paperback 341 pages May 2008 (Wrox) ...

书名：GPS: Theory, Algorithms and Applications, 2nd Edition (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:11:09

描述： (PDF 英文版) by Guochang Xu Publisher: Springer; 2nd edition (September 14, 2007) ISBN-10: 3540727140 ISBN-13: 978- ...

书名：GPS: Theory, Algorithms and Applications, 2nd Edition (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:11:09

描述： (PDF 英文版) by Guochang Xu Publisher: Springer; 2nd edition (September 14, 2007) ISBN-10: 3540727140 ISBN-13: 978- ...