STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE

VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY

SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409

Lecture Notes in Computer Science 4530 Model Driven Architecture-Foundations and Applications Third

ECMDA-FA 20072007 年出版219 页ISBN：9783540729006

Lecture Notes in Computer Science 3748 Model Driven Architecture-Foundations and Applications First

ECMDA-FA 20052005 年出版349 页ISBN：3540300260

Lecture Notes in Computer Science 4066 Model Driven Architecture-Foundations and Applications Second

ECMDA-FA 20062006 年出版392 页ISBN：3540359095

Lecture Notes in Computer Science 4802 Advances in Conceptual Modeling-Foundations and Applications

FP-UMLQoIS 年出版0 页ISBN：SeCoGIS

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II

P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X

STAGES OF PROBLEM SOLVING WITH AND WITHOUT COMPUTER Prepared for the National Science Foundation

1974 年出版105 页ISBN：

CSS高效开发实战 CSS 3、LESS、SASS、Bootstrap、Foundation

谢郁编著2014 年出版344 页ISBN：9787121239656

本书共18章，分为三篇。第一篇介绍CSS3的核心知识，包括CSS3与现代Web标准、CSS基础、选择器、字体、背景和颜色、边框、变换和动画、媒介查询、弹性盒子以及其他相关技术。第二篇主要介绍了流行的CSS3布局设计...

Lecture Notes in Computer Science 3861 Foundations of Information and Knowledge Systems 4th Internat

FoIKS 20062006 年出版331 页ISBN：3540317821