新到圖書

【 展示期間:98年7月 21- 23日▎共24冊】

A. General Literature [0] / B. Hardware[1] / C. Computer Systems Organization [0]
D. Software [2] / E.Data[0] / F. Theoryof Computation [1]
G. Mathematicsof Computing[4] / H. InformationSystems [0] / I. ComputingMethodologies[15]
J. ComputerApplication[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), 1966-

B2.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

■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., 1933-

G2.3 P874.

■Mathematics of Computing / Probability and Statistics

  1. Multidimensional scaling / Joseph B. Kruskal; Myron Wish.

Kruskal, Joseph B.

G3 K94

H. Information Systems

I. Computing Methodologies

■Computing Methodologies / Symbolic and Algebraic Manipulation

  1. 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

  1. Handbook of research on artificial immune systems and natural computing :

applying complex adaptive technologies / HongweiMo, [editor].

I2.7 M687 2009.

■Computing Methodologies / Artificial Intelligence / Problem Solving, Control Methods, and Search

  1. Reactive search and intelligent optimization / Roberto Battiti, Mauro Brunato, Franco Mascia.

Battiti, Roberto, 1961-

I2.8 B336.

■Computing Methodologies / Artificial Intelligence / Robotics

  1. 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.

  1. Motion planning in medicine : optimization and simulation algorithms for image- guided procedures / Ron Alterovitz and Ken Goldberg.

Alterovitz, Ron.

I2.9 A466.

  1. Intelligent robots : sensing, modeling, and planning / edited by R.C. ...[et al].

I2.9 B691.

  1. Robotics research trends / editor by Xing P. Gu{227}o.

I2.9 G896

  1. 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

  1. 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

  1. A breviary of seismic tomography : imaging the interior of the earth and sun / Guust Nolet.

Nolet, Guust, 1945-

I4.m N791.

■Computing Methodologies / Image Processing and Computer Vision / General

  1. Multi-camera networks : principles and applications / Hamid Aghajan, Andrea Cavallaro, [editors].

I4.0 A2665.

  1. A wavelet tour of signal processing : the sparse way / Stephane Mallat.

Mallat, S. G. (St{226}ephane G.).

I4.0 M252 2009

  1. 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

  1. 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.

■Computing Methodologies / Simulation and Modeling / Applications

  1. 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

1