close
1.

図書

図書
Natalie Enright Jerger, Tushar Krishna, Li-Shiuan Peh
出版情報: [s.l.] : Morgan & Claypool, c2017  xix, 190 p. ; 24 cm
シリーズ名: Synthesis lectures on computer architecture ; 40
所蔵情報: loading…
2.

図書

図書
Yu-Ting Chen ... [et al.]
出版情報: [s.l.] : Morgan & Claypool, c2015  xi, 106 p. ; 24 cm
シリーズ名: Synthesis lectures on computer architecture ; 33
所蔵情報: loading…
3.

図書

図書
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: loading…
4.

図書

図書
edited by Richard L. Muller and James J. Pottmyer
出版情報: New York : ACM, c1984  xx, 336 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 285 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…
6.

図書

図書
Richard H. Berube
出版情報: Upper Saddle River, N. J. : Prentice Hall, c2000  vi, 393 p. ; 28 cm.
所蔵情報: loading…
目次情報: 続きを見る
Scene Size-Up / 1:
Assessment and Initial Management of the Trauma Patient / 2:
Patient Assessment Skills / 3:
Initial Airway Management / 4:
Airway Management Skills / 5:
Thoracic Trauma / 6:
Shock Evaluation and Management / 7:
Head Trauma / 8:
Spinal Trauma / 9:
Spine Management Skills / 10:
Abdominal Trauma / 11:
Extremity Trauma / 12:
Extremity Trauma Skills / 13:
Burns / 14:
Trauma in Children / 15:
Trauma in the Elderly / 16:
Trauma in Pregnancy / 17:
Patients Under the Influence of Alcohol or Drugs / 18:
Blood and Body Fluid Precautions in a Prehospital Setting / 19:
Optional Skills / Appendix A:
Radio Communications / Appendix B:
Documentation / Appendix C:
Trauma Care in the Cold / Appendix D:
Role of the Air Medical Helicopter / Appendix E:
Trauma Scoring Systems / Appendix F:
Drowning, Barotrauma, and Decompression Injury / Appendix G:
Injury Prevention and the Role of the EMS Provider / Appendix H:
Multicasualty Incidents and Triage / Appendix I:
Scene Size-Up / 1:
Assessment and Initial Management of the Trauma Patient / 2:
Patient Assessment Skills / 3:
7.

図書

図書
Kris Jamsa
出版情報: Las Vegas, NV : Jamsa Press, c1996  iv, 268 p. ; 27 cm
所蔵情報: loading…
8.

図書

図書
by David Pogue ; foreword by John Kander
出版情報: Foster City, CA : IDG Books Worldwide, c1996  xix, 412 p. ; 24 cm
シリーズ名: Bestselling computer book series ; 1
所蔵情報: loading…
9.

図書

図書
International Topical Meeting on Optical Computing ; 応用物理学会
出版情報: [Tokyo] : Steering Committee of 1996 International Topical Meeting on Optical Computing : The Japan Society of Applied Physics, c1996  2 v. ; 30 cm
所蔵情報: loading…
10.

図書

図書
edited by J.E. Hayes, Donald Michie
出版情報: Chichester, West Sussex : E. Horwood , New York : Halsted Press, 1983  xvii, 206 p. ; 24 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
11.

図書

図書
edited by Austin Melton
出版情報: Berlin ; New York : Springer-Verlag, c1986  vi, 395 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 239
所蔵情報: loading…
12.

図書

図書
edited by T. Moto-oka
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982  viii, 286 p. ; 27 cm
所蔵情報: loading…
13.

図書

図書
edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 483 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 247
所蔵情報: loading…
14.

図書

図書
edited by B. Monien and G. Vidal-Naquet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 210
所蔵情報: loading…
15.

図書

図書
Bauer, Friedrich Ludwig, 1924- ; CIP Language Group
出版情報: Berlin ; New York : Springer-Verlag, c1985  xi, 275 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1
所蔵情報: loading…
16.

図書

図書
edited by K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  vii, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 182
所蔵情報: loading…
17.

図書

図書
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  viii, 468 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: loading…
18.

図書

図書
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 440 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
目次情報: 続きを見る
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
Rewrite Methods for Theorem Proving in First Order Theory with Equality / J. Hsiang
Unification in Combinations of Collapse-Free Regular Theories / K.A. Yellick
Unification Problems with One-Sided Distributivity / E. Tiden ; S. Arnborg
Complexity of Matching Problems / D. Benanav ; D. Kapur ; P. Narendran
Index
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
19.

図書

図書
edited by T. Beth, N. Cot, and I. Ingemarsson
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vii, 489 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 209
所蔵情報: loading…
20.

図書

図書
Max & Dawn Bramer
出版情報: Wokingham, Berkshire ; Reading, Mass. : Addison-Wesley, c1984  x, 119 p. ; 24 cm
所蔵情報: loading…
21.

図書

図書
sponsored by The Society for Information Display, The Institute of Television Engineers of Japan
出版情報: California : Society for Information Display, c1986  xv, 588 p. ; 30 cm
所蔵情報: loading…
22.

図書

図書
International Symposium on Supercomputing ; 九州大学
出版情報: Fukuoka : Kyushu University Press, c1991  iv, 261 p., [4] p. of plates ; 28 cm
所蔵情報: loading…
23.

図書

図書
editor, C.H. Chen
出版情報: Singapore : World Scientific, c1991  iii, 159 p. ; 26 cm
所蔵情報: loading…
24.

図書

図書
sponsored by the Society for Information Display, the Institute of Television Engineers of Japan
出版情報: California : Society for Information Display, c1983  xiv, 658 p. ; 30 cm
所蔵情報: loading…
25.

図書

図書
sponsored by Society for Information Display, the Institute of Television Engineers of Japan
出版情報: Playa Del Rey, Calif. : Society for Information Display, c1992  xxiii, 899 p. ; 30 cm
所蔵情報: loading…
26.

図書

図書
Robert V. Oakford
出版情報: New York : McGraw-Hill, 1962  xi, 340 p. ill. ; 24 cm
シリーズ名: McGraw-Hill series in information processing and computers
所蔵情報: loading…
27.

図書

図書
sponsored by: Society for Information Display, The Institute of Television Engineers of Japan
出版情報: Playa Del Rey, Calif. : Society for Information Display, c1989  xix, 716 p. ; 30 cm
所蔵情報: loading…
28.

図書

図書
Herbert Hellerman
出版情報: New Delhi : Tata McGraw-Hill, 1974  xiii, 466 p. ; 23 cm
所蔵情報: loading…
29.

図書

図書
Ivan Flores
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1963  xii, 493 p. ; 24 cm
シリーズ名: Prentice-Hall international series in electrical engineering
所蔵情報: loading…
30.

図書

図書
edited by Paul von Handel ; with the cooperation of Hans W. Gschwind, Martin G. Jaenke and Robert G. Tantzen
出版情報: Wien : Springer, 1961  vi, 235 p. ; 25 cm
所蔵情報: loading…
31.

図書

図書
Christer Fernstrom, Ivan Kruzela, Bertil Svensson
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xii, 323 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 216
所蔵情報: loading…
32.

図書

図書
H.V. Malmstadt and C.G. Enke
出版情報: Reading, Mass. : W.A. Benjamin, c1970  viii, 167 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
By B. S. Sonde
出版情報: New Delhi : Tata McGraw-Hill, 1974  x, 142 p ; 24 cm
シリーズ名: Monographs on solid state electronic instrumentation ; v. 3
所蔵情報: loading…
34.

図書

図書
editor, J.A. McGeough ; organized by University of Edinburgh, Department of Mechanical Engineering ; co-sponsors, Institution of Mechanical Engineers ... [et al.]
出版情報: Bury St. Edmunds : Published by Mechanical Engineering Publications for the Institution of Mechanical Engineers, 1987  381 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
About the Editor
Preface / Professor J A McGeough
Computer-aided Design and Manufacture
CAPE/048/2000 The construction of geometric models from point-cloud data / G Smith ; T Claustre
CAPE/055/2000 A computer-based design decision logger / P Corbett ; J Atkinson ; S Hinduja ; P Sholl
CAPE/015/2000 Feature-based progressive design and manufacturing planning in a PDM environment / R Sharma ; J X Gao
CAPE/101/2000 Effects of material properties on stresses occurring in total hip replacement--a non-linear FE analysis / W Schmolz ; D R Gordon ; A J Shields ; D Kirkwood ; P Grigoris
CAPE/082/2000 Computer-aid in rotary transfer machines (RTMs) / E Gentili ; S Molinari
CAPE/088/2000 Three-dimensional modelling tools supports material handling devices operational quality / J Szpytko ; J Schab
CAPE/060/2000 Optimization algorithms for mapping three-dimensional woven composite preforms / S B Sharma ; P Potluri ; I Porat
CAPE/075/2000 Development of a web-based system for collaborative product definition on the Internet / G Q Huang ; S W Lee ; K L Mak
CAPE/073/2000 Reverse engineering automotive, petrochemical and nuclear plants into three-dimensional viewers and CAD models / A D Bailey
Virtual Reality Applications in Manufacturing
CAPE/034/2000 Intelligent manipulator work system using tracking vision hardware / N Kawarazaki ; R Kaji ; K Nishihara
CAPE/098/2000 Implementation of four-dimensional machining simulation in virtual reality over the Internet / N Avgoustinov
CAPE/024/2000 Scene recognition for navigation of a five-legged walking robot 'Cepheus-2' / T Honda ; Y Kushihashi ; K Fujiwara ; K Fujita ; F Nakahara
CAPE/099/2000 A method for the reduction of machining time by the simulation of NC-programs in virtual reality / H Bley
Non-traditional Machining Processes
CAPE/059/2000 Accuracy of electrochemical forming of dies and molds / H El-Hofy ; M A Younes
CAPE/096/2000 The laser drilling of multi-layer systems in jet engine components / A Corcoran ; L Sexton ; G Byrne ; B Seaman
CAPE/049/2000 An experimental study on molecular dynamics simulation in nanometer grinding / S Yu ; B Lin ; Q Guan ; K Cheng
CAPE/083/2000 Investigations aiming to increase the rate of electrochemical dissolution process / M Zybura-Skrabalak ; A Ruszaj
CAPE/079/2000 Study of electrochemical machining utilizing a vibrating tool electrode / J Kozak ; K P Rajurkar ; S Malicki
CAPE/072/2000 Process parameter analysis for an optimal feed rate control of EDM / G Wollenberg ; H-P Schulze ; T Pape
Production and Control
CAPE/004/2000 Flexible laser-based measuring cells in car-body assembly for dimensional management systems / A Kaldos ; A Boyle ; F Stronk
CAPE/050/2000 On-line production control via discrete event simulation--an industrial application / M Dassisti ; L M Galantucci ; G Cicirelli
CAPE/071/2000 Visual modelling for CORBA-based negotiation scheduling of holonic manufacturing systems / K H P Tam ; S T R Fung ; W H R Yeung ; H M E Cheug
CAPE/036/2000 A process analysis methodology for enterprise resource planning (ERP) implementation / T Bilge ; M Ozbayrak
Machining Processes
CAPE/001/2000 Computer-aided design of high-performance grinding tools / M J Jackson ; K K B Hon ; N Barlow
CAPE/026/2000 Iterative learning control strategy for information model-based precision leadscrew grinding process / H Bin ; S Chen
CAPE/032/2000 Single set-up machining of moulds and dies / D I Legge
CAPE/081/2000 Modelling cutting surface of new type of the segmental abrasive wheel and simulation of the grinding process / L Dabrowski ; M Marciniak
Computer-aided Process Planning
CAPE/031/2000 Cost justification of AMT by comparison of normalized process plans
CAPE/085/2000 A computer-aided process planning system based on branch and bound algorithm / P Y Gan ; K S Lee ; Y F Zhang ; C Y Hung
CAPE/021/2000 A structured assembly planning tool using Intranet technology / H J Rea ; D Lodge ; J L Murray ; J E L Simmons
CAPE/016/2000 PDM-integrated computer-aided assembly process planning / W Bowland ; J Gao
Forming Processes
CAPE/022/2000 Computer-aided HOT forging sequence design for non-axisymmetric products by eliminatinf form features on series of cross sections / T Ohashi ; M Motomura
CAPE/053/2000 Analysis of micro-plasto-hydrodynamic lubrication using strip drawing rig / R Ahmed ; M P F Sutcliffe
CAPE/008/2000 Optimization of electrochemical grinding process for titanium alloys / A Clapp ; J A McGeough ; H A Senbel ; A De Silva
CAPE/064/2000 Effect of vibration on axisymmetric indentation of a model elasto-viscoplastic material / Z Huang ; M Lucas ; M J Adams
CAPE/069/2000 Development of a methodology of analysis and compensation of component form-errors for high-precision forming / Y Qin ; R Balendra
CAPE/056/2000 Analysing the parameters in deep drawing using analytic hierarchy process / A W Labib
Assembly
CAPE/054/2000 Use of a continuum actuator as a form of controllable, remote centre compliance device / J B C Davies
CAPE/086/2000 A micro system tool for improved maintenance, quality assurance, and recycling / W Grudzien ; A Middendorf ; H Reichl ; G Seliger
CAPE/091/2000 Automatic generation of optimal assembly sequences using simulated annealing / P G Maropoulos ; A Laguda
CAPE/097/2000 A knowledge-based design approach for materials handling in flexible manufacturing assembly lines / A Khan ; A J Day
Al Applications in Manufacturing
CAPE/035/2000 Product engineering patterns / R G Dewar ; J M Ritchie ; I Black
CAPE/094/2000 An Internet-based tool selection system for turning operations / M E Velasquez ; L A Velasquez
CAPE/033/2000 Petri Net as a tool with application in modelling an Internet-based virtual manufacturing enterprise / M L Yang ; G E Taylor ; A Dow
CAPE/023/2000 A welding process planning system based on the bead-on-plate database / T Kojima ; H Kobayashi ; S Nakahara ; S Ohtani
CAPE/018/2000 Using fuzzy logic in processing design specifications and its computerized implementation / P Y Pan ; D K Harrison
CAPE/002/2000 Neural network based process modelling and parameter selection for high-speed machining / A Nestler ; G Schultz
Quality in Manufacturing and Design
CAPE/095/2000 Quality assurance through advanced sensor eddy current nondestructive evaluation / R Teti ; P Buonadonna ; G Peluso
CAPE/005/2000 Three-dimensional surface profile deviation evaluation based on CMM measured data / C H Gao ; D Webb
CAPE/006/2000 In search of quality in quality function deployment and Taguchi methods / F Galetto
CAPE/011/2000 Ten stages for optimizing electronic manufacturing / L B Newnes ; A R Mileham ; A Doniavi
CAPE/030/2000 On the application of quality function deployment in integrated supervisory process control / M Backstrom ; H Wiklund
CAPE/090/2000 Analysis of stresses and strains in the section roll when considering conditions of its regeneration / A Swiatoniowski ; R Gregorczyk
Rapid Prototyping
CAPE/027/2000 Fractal scanning path for selective laser sintering / X Zhang ; Z Liu ; H Gao
CAPE/087/2000 Computer technology in design of hip joint endoprostheses / K Skalski ; M J Haraburda ; K Kedzior ; M Bossak ; J Domanski
CAPE/089/2000 The effect of mould heating on the accuracy of rapid tooling / P Dunne
Manufacturing and Supply Chain Management
CAPE/047/2000 Computer-aided container handling system / M Chmurawa
CAPE/062/2000 An open tender approach to collaboration in parts supply system / T Ito ; M R Salleh
CAPE/019/2000 Electronic commerce and its impact on the buyer-supplier interface / P Humphreys ; G Huang ; R McIvor
CAPE/074/2000 A methodology for engineering change impact analysis / V Low ; W Y Yee
Concurrent Engineering and Design Manufacture
CAPE/052/2000 Linking product design and manufacturing capability through a manufacturing strategy representation / W M Cheung ; J Zhao ; J M Dorador ; R I M Young
CAPE/092/2000 Manufacturing analysis of conceptual and embodiment aerospace designs--an aggregate product model specification / K R McKay ; D G Bramall ; P G Colquhoun ; G Maropoulos
CAPE/093/2000 Manufacturing analysis of conceptual and embodiment aerospace designs--an aggregate process model specification
CAPE/084/2000 Modelling of virtual cells for dynamic manufacturing environs--an overview / M M Bajic ; K Baines
CAPE/014/2000 Integration of solid modelling with manufacturing for the development of scroll compressors / Z Jiang
Authors' Index
About the Editor
Preface / Professor J A McGeough
Computer-aided Design and Manufacture
35.

図書

図書
edited by Ivan A. Greenwood, J. Vance Holdam, Duncan MaCrae
出版情報: New York : McGraw-Hill, 1948  xvii, 721 p. ; 24 cm
シリーズ名: Massachusetts Institute of Technology Radiation Laboratory series ; 21
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼