Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN：3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN：3540230130
SMALL JAVA HOW TO PROGRAM SIXTH EDITION
（美）戴特尔（Deitel，H.M.）著2005 年出版540 页ISBN：7121017520
本书是“Java How to Prgram，6/E”（Java大学教程（第6版））的最新简明版本。它针对Java 2平台标准版5.0，向读者详细介绍了如何使用Java语言进行面向对象编程。本书主要包括以下内容：首先，它全面介绍了Java语言的基础...
HIDDEN EVIDENCE THE STORY OF FORENSIC SCIENCE AND HOW IT HELPED TO SOLVE 50 OF THE WORLD'S TOUGHEST
DAVID OWEN2009 年出版288 页ISBN：1554075408
Ethical IT innovation a value-based system design approach
Sarah Spiekermann2016 年出版258 页ISBN：1482226355
Extrusion Dies for Plastics and Rubber Design and Engineering Computations 2nd Edition
1992 年出版340 页ISBN：3446161902
The executive's guide to new food safety laws how the Food Safety Modernization Act impacts your bu
James T.OReilly and shannon G.may2011 年出版574 页ISBN：031427572X
Small Unmanned Fixed-Wing Aircraft Design: A Practical Approach
Andrew J.Keane2017 年出版448 页ISBN：
Lecture Notes in Computer Science 141 GAG:A Practical Compiler Generator
1982 年出版156 页ISBN：3540115919
