Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN：
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
消费主导：中国转型大战略=Consumption-LED Growth Strategy For China's Transformation Of Development Models
Chief Editor Chi Fulin;Tranlator Ego2012 年出版348 页ISBN：9787508524023
本书由中改院迟福林院长主编，是该院2012年中国改革研究年度报告。本书指出，未来5～10年，中国将走向扩大内需、拉动消费，走向消费主导的经济转型，需要推进以消费为主导、以公平与可持续为目标的二次转型与改革。...
Context-Aware Pervasive Systems Architectures for a New Breed of Aplications
2007 年出版220 页ISBN：0849372550
GUIDELINES FOR INTEGRTING MANAGEMENT SYSTEMS AND METRICS TO IMPROVE PROCESS SAFETY PERFORMANCE
2016 年出版186 页ISBN：1118795033
THE STUDENT EDITION OF SIMULINK:DYNAMIC SYSTEM SIMULATION SOFTWARE FOR TECHNICAL EDUCATION
1996 年出版240 页ISBN：0134524357
Managing foodservice operations : a systems approach for healthcare and institutions second edition
1992 年出版475 页ISBN：0840378556
