Progress of Nuclear Safety for Symbiosis and Sustainability : Advanced Digital Instrumentation, Control and Information Systems for Nuclear Power Plants

Advanced Digital Instrumentation, Control and Information Systems for Nuclear Power Plants

Edited by Yoshikawa, Hidekazu; Edited by Zhang, Zh･･･

339p H279 x W210

Probabilistic safety assessment and management : PSAM 7 - ESREL '04, June 14-18, 2004, Berlin, Germany v. 1

edited by Cornelia Spitzer, Ulrich Schmocker and V･･･

6 v. (3728 p.) 24 cm.

185233827X

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings ＜Lecture notes in computer science＞

Jean-Pierre Rosen, Alfred Strohmeier (eds.)、Spring･･･

xiii, 428 p. 24 cm

3540403760

Reliable Software Technologies -- Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings ＜Lecture Notes in Computer Science v. 2655＞

8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Volume editor Rosen, Jean-Pierre; Volume editor St･･･

445p H234 x W156

9783540403760

ソフトウェア要求事項 ＜JIS＞

Functional safety of electrical/electronic/programmable electronic safety-related systems Software requirements

平河喜美男編、日本規格協会、2000.3

2, 37p 30cm

Advances in safety and reliability : proceedings of the European Safety and Reliability Conference (ESREL 2005), tri city (Gdynia - Sopot - Gdańsk), Poland, 27-30 June, 2005 v. 1

edited by Krzysztof Kołowrocki、A.A.Balkema、c2005

2 v. (xxxix, 2122 p.) 26 cm.

0415383412

Distributed, Parallel and Biologically Inspired Systems ＜IFIP Advances in Information and Communication Technology v. 329＞

Edited by Hinchey, Mike; Edited by Kleinjohann, Be･･･

334p H234 x W156

9783642152337

Computers in Railways : Computer System Design and Operation in the Railway and Other Transit Systems ＜WIT Transactions on the Built Environment v. 103＞

Computer System Design and Operation in the Railway and Other Transit Systems

Edited by Allan, J.; Edited by Arias, E.; Edited b･･･

896p H230 x W155

9781845641269

HRT-HOOD : Structured Design Method of Hard Real-Time Ada Systems ＜Real-Time Safety Critical Systems v.3＞

Structured Design Method of Hard Real-Time Ada Systems

By (author) Burns, Alan; By (author) Wellings, And･･･

330p H230

9780444821645

Dependable and Historic Computing ＜Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6875＞ 2011

Edited by Jones, Cliff B.; Edited by Lloyd, John L･･･

535p H235 x W155

9783642245404

フレームワーク, 定義及びシステム・ハードウェア・ソフトウェアの要求事項 ＜JIS＞

Functional safty : safety instrumented systems for the process industry sector Framework, definitions, system, hardware and software requirements

島弘志編、日本規格協会、2008.2

4, 90p 30cm

Safety and security engineering ＜WIT transactions on the built environment＞

editors, C.A. Brebbia ... [et al.]、WIT Press、c2005

919 p. 24 cm

1845640195

Reliability Data Collection and Use in Risk and Availability Assessment : Proceedings of the 5th Euredata Conference, Heidelberg, Germany, April 9-11, 1986 Softcover reprint of the original 1st ed. 1986

Proceedings of the 5th Euredata Conference, Heidelberg, Germany, April 9-11, 1986

Edited by Wingender, Hans-Jorg; Other Tema SpA、Spr･･･

740p H244 x W170

9783642827754

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings ＜Lecture notes in computer science＞

Catuscia Palamidessi (ed.)、Springer、c2003

xii, 520 p. 24 cm

3540206426

Rail human factors around the world : impacts on and of people for successful rail operations pbk.

editors, John R. Wilson ... [et al.]、CRC Press、c20･･･

xiv, 854 p. 24 cm

9780415644754

Rail Human Factors around the World : Impacts on and of People for Successful Rail Operations

Impacts on and of People for Successful Rail Operations

Edited by Wilson, John R.; Edited by Mills, Ann; E･･･

868p

9780203079218

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings ＜Lecture notes in computer science＞

Enrico Macii, Vassilis Paliouras, Odysseas Koufopa･･･

xvi, 910 p. 24 cm

3540230955

OCR Design and Technology for GCSE : Resistant Materials

Resistant Materials

By (author) Carlson, Dave; By (author) Pinnock, St･･･

240p H246 x W190

9780340981962

Raspberry Pi Projects

By (author) Robinson, Andrew; By (author) Cook, Mi･･･

478p H233 x W187

9781118555439

Human-computer interaction - INTERACT 2009 : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009 : proceedings pt. 1 ＜Lecture notes in computer science＞

Tom Gross ... [et al.] (eds.)、Springer、c2009

2 v. 24 cm

9783642036576

Geopositioning and Mobility ＜ISTE＞

Edited by Nait-Sidi, Mohammed; Edited by Bakhouya,･･･

272p H237 x W155

9781848215672

The engineering handbook ＜The electrical engineering handbook series＞ 2nd ed

editor-in-chief, Richard C. Dorf、CRC Press、c2005

1 v. (various pagings) 27 cm

0849315867

Engineering Handbook ＜Electrical Engineering Handbook＞ 2 Rev ed

Edited by Dorf, Richard C.、Taylor & Francis Inc、20･･･

3080p

9781420039870

Next generation Java testing : TestNG and advanced concepts

Cédric Beust, Hani Suleiman ; [foreword by Brian G･･･

xxiii, 483 p. 24 cm

9780321503107

Knowledge-based intelligent information and engineering systems: KES 2007 - WIRN 2007 : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007 : proceedings pt. 1 ＜Lecture notes in computer science＞

Bruno Apolloni, Robert J. Howlett, Lakhmi Jain (ed･･･

3 v. 24 cm

9783540748267

Introduction to nondestructive testing : a training guide 2nd ed

Paul E. Mix、Wiley、2005

xxvi, 681 p. 24 cm

0471420298

Programming in Ada 2005 ＜International computer science series＞

John Barnes、Addison-Wesley、2006

xx, 828 p. 24 cm

9780321340788

Aviation and Airport Security : Terrorism and Safety Concerns, Second Edition

Terrorism and Safety Concerns, Second Edition

By (author) Sweet, Kathleen M.、Taylor & Francis In･･･

336p

9781420088175

Aviation and Airport Security : Terrorism and Safety Concerns 2 Rev ed

Terrorism and Safety Concerns

By (author) Sweet, Kathleen M.、Taylor & Francis In･･･

336p

9781439894736

Aviation and airport security : terrorism and safety concerns 2nd ed

Kathleen M. Sweet、CRC Press、c2009

xxiii, 354 p. 27 cm

9781420088168

Peopleware : Productive Projects and Teams 3 Rev ed

Productive Projects and Teams

By (author) DeMarco, Tom; By (author) Lister, Timo･･･

272p H231 x W157

9780321934116

Production for graphic designers 5th ed

Alan Pipes、Prentice-Hall、2009

272 p. 28 cm

9780205684793

CompTIA A+ 220-801 and 220-802 Authorized Cert Guide 3 Rev ed

By (author) Soper, Mark Edward; By (author) Prowse･･･

1104p H234 x W195

9780789748508

Contaminated Soil : Fourth International KFK/TNO Conference on Contaminated Soil 3-7 May 1993, Berlin, Germany ＜Soil & Environment＞

Fourth International KFK/TNO Conference on Contaminated Soil 3-7 May 1993, Berlin, Germany

Edited by Arendt, F. (The Research Center Karlsruh･･･

1148p H280 x W210

9789401048927

Progress in Food Preservation

Edited by Bhat, Rajeev; Edited by Alias, Abd Karim･･･

656p H250 x W150

9781119962045

Progress in food preservation

edited by Rajeev Bhat, Abd Karim Alias, Gopinadhan･･･

xxv, 630 p. 26 cm

9780470655856

CompTIA A+ 220-801 and 220-802 Cert Guide, Deluxe Edition with MyITCertificationLab with Pearson eText and Amplified Bundle, v5.9 3 ed

By (author) Soper, Mark Edward; By (author) Prowse･･･

1120p

9780789751157

CompTIA A+ 220-801 and 220-802 Authorized Cert Guide 3 De luxe ed

By (author) Soper, Mark Edward; By (author) Prowse･･･

1120p H237 x W194

9780789749802

Geotechnical slope analysis

Robin Chowdhury with contributions by Phil Flentje･･･

xxxiv, 737 p. 26 cm

9780415469746

Geotechnical Slope Analysis

By (author) Chowdhury, Robin; By (author) Flentje,･･･

762p

9781135192099

Geotechnical Slope Analysis

By (author) Chowdhury, Robin; By (author) Flentje,･･･

762p

9781135192068

Geotechnical Slope Analysis

By (author) Chowdhury, Robin; By (author) Flentje,･･･

762p

9781135192105

Geotechnical Slope Analysis

By (author) Chowdhury, Robin; By (author) Flentje,･･･

762p

9781135192044

Geotechnical Slope Analysis

By (author) Chowdhury, Robin; By (author) Flentje,･･･

762p

9781135192075

Geotechnical Slope Analysis

By (author) Chowdhury, Robin; By (author) Flentje,･･･

762p

9781135192051

Geotechnical Slope Analysis

By (author) Chowdhury, Robin; By (author) Flentje,･･･

772p

9780203864203

Computer, intelligent computing and education technology v. 1 ＜A Balkema book＞

edited by Hsiang-Chuan Liu, Wen-Pei Sung, Wenli-Ya･･･

2 v. 26 cm

9781138026391

eBay to the Max : Be a Trading Post Owner, Trading Assistant and Powerseller

Be a Trading Post Owner, Trading Assistant and Powerseller

By (author) Mansfield, Ron、Pearson Education (US)、･･･

432p H231 x W178

9780789734686

Encyclopedia of computational mechanics v. 1

editors, Erwin Stein, René de Borst, Thomas J.R. H･･･

3 v. 29 cm

0470846992

Microsoft Windows 7 in Depth

By (author) Cowart, Robert; By (author) Knittel, B･･･

1152p H229 x W199

9780789741998