Download power-aware computer systems : third

新 到 圖 書
【 展示期間：98 年 7 月 21- 23 日 ▎共 24 冊 】
A. General Literature [0]
B. Hardware [1]
C. Computer Systems Organization [0]
D. Software [2]
E. Data [0]
F. Theory of Computation [1]
G. Mathematics of Computing [4]
H. Information Systems [0]
I. Computing Methodologies [15]
J. Computer Application [1]
K. Computing Milieux [0]
A. General Literature
B. Hardware
■Hardware / Arithmetic and Logic Structures / General
1.
Handbook of practical logic and automated reasoning / John Harrison.
Harrison, J. (John), 1966B2.0 H318.
C. Computer Systems Organization
D. Software
■Software / Programming Techniques / Object-Oriented Programming
2. The art & science of Java : an introduction to computer science / Eric S.
Roberts.
Roberts, Eric.
D1.5 R643.
■Software / Operating Systems / Systems Programs and Utilities
3. Drupal [electronic resource] : essential training / with Tom Geller.
D4.9 G318.
E. Data
F. Theory of Computation
■Theory of Computation / Analysis of Algorithms and Problem Complexity /
Numerical Algorithms and Problems
4. Geophysical data analysis : discrete inverse theory / William Menke.
Menke, William.
F2.1 M534 1989.
G. Mathematics of Computing
1
■Mathematics of Computing / General
5. Applied calculus of variations for engineers / Louis Komzsik.
Komzsik, Louis.
G0 K75.
■Mathematics of Computing / Numerical Analysis / General
6 .Continuous signals and systems with MATLAB / Taan S. ElAli, Mohammad A. Karim [editors].
G1.0 E37 2008.
■Mathematics of Computing / Discrete Mathematics / Applications
7. Discrete random signal processing and filtering primer with MATLAB / Alexander D. Poularikas.
Poularikas, Alexander D., 1933G2.3 P874.
■Mathematics of Computing / Probability and Statistics
8. Multidimensional scaling / Joseph B. Kruskal; Myron Wish.
Kruskal, Joseph B.
G3 K94
H. Information Systems
I. Computing Methodologies
■ Computing Methodologies / Symbolic and Algebraic Manipulation
9. Emotions revealed : recognizing faces and feelings to improve communication and emotional
life / Paul Ekman.
Ekman, Paul.
I1.1 E365 2007.
■Computing Methodologies / Artificial Intelligence / Natural Language Processing
10. Handbook of research on artificial immune systems and natural computing :
applying complex adaptive technologies / Hongwei Mo, [editor].
I2.7 M687 2009.
■Computing Methodologies / Artificial Intelligence / Problem Solving, Control
Methods, and Search
11. Reactive search and intelligent optimization / Roberto Battiti, Mauro Brunato, Franco Mascia.
Battiti, Roberto, 1961I2.8 B336.
■Computing Methodologies / Artificial Intelligence / Robotics
12. Robotics : the algorithmic perspective : the Third Workshop on the Algorithmic Foundations of
Robotics / edited by Pankaj K. Agarwal, Lydia E. Kavraki, Matthew T. Mason.
Workshop on the Algorithmic Foundations of Robotics (3rd : 1998 : Houston, Tex.).
I2.9 A261.
13. Motion planning in medicine : optimization and simulation algorithms for image- guided
procedures / Ron Alterovitz and Ken Goldberg.
2
Alterovitz, Ron.
I2.9 A466.
14. Intelligent robots : sensing, modeling, and planning / edited by R.C. ...[et al].
I2.9 B691.
15. Robotics research trends / editor by Xing P. Gu{227}o.
I2.9 G896
16. Dynamics and robust control of robot-environment interaction / edited by Miomir
Vukobratovic ... [et al.].
I2.9 V9895.
■Computing Methodologies / Computer Graphics / Computational Geometry and
Object Modeling
17. Generalized Voronoi diagram : a geometry-based approach to computational intelligence /
Marina L. Gavrilova, ed
I3.5 G279.
■Computing Methodologies / Image Processing and Computer Vision /
Miscellaneous
18. A breviary of seismic tomography : imaging the interior of the earth and sun / Guust Nolet.
Nolet, Guust, 1945I4.m N791.
■Computing Methodologies / Image Processing and Computer Vision / General
19. Multi-camera networks : principles and applications / Hamid Aghajan, Andrea Cavallaro,
[editors].
I4.0 A2665.
20. A wavelet tour of signal processing : the sparse way / Stephane Mallat.
Mallat, S. G. (St{226}ephane G.).
I4.0 M252 2009
21. Advanced signal processing : theory and implementation for sonar, radar, and non -invasive
medical diagnostic systems / editor, Stergios Stergiopoulos.
I4.0 S838 2009.
■Computing Methodologies / Image Processing and Computer Vision / Digitization
and Image Capture
22. Real-time digital signal processing from MATLAB to C with the TMS320C6x DSK / Thad B.
Welch, Cameron H.G. Wright, Michael G. Morrow.
Welch, Thad B.
I4.1 W439.
3
■Computing Methodologies / Simulation and Modeling / Applications
23. Deformable models / Jasjit S. Suri, Aly A. Farag[eds.]. v.1
I6.3 S961 2007.
J. Computer Application
■Computer Applications / Administrative Data Processing
24. A classical mind : essays in honour of C.A.R. Hoare / edited by A.W. Roscoe.
J1 R792.
K. Computing Milieux
4