Book Reviews

Book review in this Article Robert Erskine (1991) Review of Business Management, (1st edn) Prentice-Hall Int. (UK) Ltd. Ian Wigston Director Strategic Planning Markets Division BZW Division Barclays Bank Plc Michel Syrett & Clare Hogg, (ed) (1992) Frontiers of Leadership Marjorie Parker (1990) Creating Shared Vision, Dialog International Nils Brunsson (1991)¹ The Organisation of Hypocrisy: Talk, Decision and Actions in Organisations (translated by Nancy Adler) Theo Melis (1991) The Innovative Packager, Octogram Publishing Co. John Bessant (1991) Managing Advanced Manufacturing Technology: The Challenge of the Fifth Wave Peter Barrar & Cary L. Cooper (eds) (1991) Managing Organisations in 1992: Strategic Responses Peter Frost, Larry F. Moore, Meryl Reis Louis, Craig C. Lundberg & Joanne Martin (eds) (1991) Reframing Organisational Culture Piers Brendon (1991) Thomas Cook, 150 Years of Popular Tourism Robert A. Giacalone & Paul Rosenfeld (eds) (1991) Applied Impression Management: How Image-Making Affects Managerial Decisions Robert L. Flood & Michael C. Jackson (1991) Creative Problem-Solving: Total Systems Intervention     

So many books

Reviews of "Interface Oriented Design" by Ken Pugh, "Ajax Design Patterns-Creating Web 2.0 Sites with Programming and Usability Patterns" by Michael Mahemoff, "Documenting APIs-Writing Developer Documentation for Java APIs and SDKs" by James F. Bisso and Victoria Maki, "Communicating Design-Developing Web Site Documentation for Design and Planning" by Dan M. Brown, "CSS-The Missing Manual" by David Sawyer McFarland, "Secrets of RSS" Steven Holzner, and ".NET Internationalization-The Developer's Guide to Building Global Windows and Web Applications" by Guy Smith-Ferrier.     

Book Reviews

Book review in this Article Michael Reed & Michael Hughes (eds.), Rethinking Organization, new directions in organization theory and analysis Managing Change for Competitive Success, Andrew Pettigrew & Richard Whipp Rosemary Boam and Paul Sparrow     

Book Reviews

Book review in this Article John Gilbert (1992) How to Eat an Elephant: A Slice-by-Slice Guide to Total Quality Management Edward De Bono, Serious Creativity, Harper Collins Rapp, F. & Wiehl, R., (Eds), Whitehead's Metaphysics of Creativity     

Book Reviews

Book reviewed in this article:
Microcomputers and the Curriculum , A.V. Kelly
Start Problem-Solving with PROLOG , Tom Conlon.
Computers, Language Learning and Language Teaching , Khurshid Ahmad, Greville Corbett, Margaret Rogers and Roland Sussex.
A Teacher's Guide to Classroom Research , David Hopkins.
Microcomputers in Education , John Self.
Teaching and Learning with LOGO , Allan Martin.     

Using Test-Driven Software Development Tools

Test Driven Development: A Practical Guide by David AstelsAgile & Iterative Development: A Manager's Guide by Craig LarmanSoftware by Numbers: Low-Risk, High-Return Development by Mark Denne and Jane Cleland-Huang     

Book Reviews

Books Reviewed in this Articles: No breathing room: The Aftermath of Chernobyl, Grigori Medvedev, Basic Books, New York (1993), 213 pp. Preventing Chaos in a Crisis, Patrick Lagadec, McGraw-Hill, London (1993), 368 pp. Risks: Reading Corporate Signals, Haig J. Boyadjian and James F. Warren, John Wiley and Sons, Chichester (1992), 406 pp. Industrial Sociology and Economic Crisis, John Eldridge, Peter Cressey and John MacInnes, Harvester Wheatsheaf, Brighton (1991), 236 pp. Paths of Change: Strategic Choices for Organizations and Society, Will McWhinney, Sage Publications, Newbury Park (1992), 273 pp.     

Book Reviews

Book review in this Article Kit Sadgrove (1992) The Green Manager's Handbook William B. Rouse (1992) Strategies for Innovation: Creating Successful Products, Systems and Organizations Meryle Secrest (1992) Frank Lloyd Wright, A Biography Jack R. Meredith (1992) The Management of Production Operations: A Conceptual Emphasis Brian Twiss (1992) Managing Technological Innovation Robert Fritz (1991) Creating Eliyahu M. Goldratt & Jeff Cox (1992) The Goal     

Book reviews

Monk, A., Diaper, D., and Harrison, M. D. (1992). People and Computers VII. 534 pages, US$69.96: Cambridge, England: Cambridge University Press. (ISBN 0–521–44591–4)

Duffy, T. M., Palmer, J. E., and Mehlenbacher, B. (1992). Online Help: Design and Evaluation. 260 pages, US$55.00 (cloth) US$26.50 (paper): Norwood, NJ: Ablex Publishing Corp. (ISBN 0–89391–848–2)     

Book Reviews

Book reviewed in this article:
Computers and Communication , R.A. Steele and J.J. Wellington
Using Computers in Language Learning: A Teacher's Guide , Graham Davies and John Higgins.
Writings and Computers , Collette Daiute
Computers at Work , Peter Bishop
LOGO — MIT LOGO for the Apple , Rick Billstein, Shlomo Libeskind and Johnny W. Lott.
Computer Experience and Cognitive Development , R. W. Lawler.
Exploring Mathematics with Microcomputers , Nigel Bufton     

Book Reviews

Books reviewed: James David Meernik, The Political Use of Military Force in US Foreign Policy J.F. Gustin, Fairmont, Cyber Terrorism: A Guide for FacilityManagers Annika Brändström, Marjan Male?i?, Elanders Gotab, Crisis Management in Slovenia: Comparative Perspectives     

Book Reviews

R. Cooper and M. Press (1995) The Design Agenda: A guide to Successful Design Management M. Gell-Mann (1994) The Quark and the Jaguar, Adventures in the simple and the complex William A. Band (1994) Touchstones: Ten New Ideas revolutionising business Andrew Leigh and Michael Maynard (1995) Leading your team; how to involve and inspire teams P. McHugh, Giogio Merli, and William Wheeler III (1995) Beyond Business Process Reengineering; Towards the Holonic Enterprise     

A Compact Linear Translation for Bounded Model Checking

We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to the Separated Normal Form encoding proposed in [Frisch, A., D. Sheridan and T. Walsh, A fixpoint based encoding for bounded model checking, in: M.D. Aagaard and J.W. O'Leary, editors, Formal Methods in Computer-Aided Design; 4th International Conference, FMCAD 2002, Lecture Notes in Computer Science 2517 (2002), pp. 238–254] and extended to past time in [Cimatti, A., M. Roveri and D. Sheridan, Bounded verification of past LTL, in: A.J. Hu and A.K. Martin, editors, Proceedings of the 5th International Conference on Formal Methods in Computer Aided Design (FMCAD 2004), Lecture Notes in Computer Science (2004)]: an initial phase involves putting LTL formulae into a normal form based on linear-time fixpoint characterisations of temporal operators.As with [Cimatti, A., M. Roveri and D. Sheridan, Bounded verification of past LTL, in: A.J. Hu and A.K. Martin, editors, Proceedings of the 5th International Conference on Formal Methods in Computer Aided Design (FMCAD 2004), Lecture Notes in Computer Science (2004)] and [Latvala, T., A. Biere, K. Heljanko and T. Junttila, Simple bounded LTL model checking, in: Formal Methods in Computer-Aided Design; 5th International Conference, FMCAD 2004, Lecture Notes in Computer Science 3312 (2004), pp. 186–200], the size of propositional formulae produced is linear in the model checking bound, but the constant of proportionality appears to be lower.A denotational approach is taken in the presentation which is significantly more rigorous than that in [Frisch, A., D. Sheridan and T. Walsh, A fixpoint based encoding for bounded model checking, in: M.D. Aagaard and J.W. O'Leary, editors, Formal Methods in Computer-Aided Design; 4th International Conference, FMCAD 2002, Lecture Notes in Computer Science 2517 (2002), pp. 238–254] and [Cimatti, A., M. Roveri and D. Sheridan, Bounded verification of past LTL, in: A.J. Hu and A.K. Martin, editors, Proceedings of the 5th International Conference on Formal Methods in Computer Aided Design (FMCAD 2004), Lecture Notes in Computer Science (2004)], and which provides an elegant alternative way of viewing fixpoint based translations in [Latvala, T., A. Biere, K. Heljanko and T. Junttila, Simple bounded LTL model checking, in: Formal Methods in Computer-Aided Design; 5th International Conference, FMCAD 2004, Lecture Notes in Computer Science 3312 (2004), pp. 186–200] and [Biere, A., A. Cimatti, E. M. Clarke, O. Strichman and Y. Zhu, Bounded model checking, Advances in Computers 58 (2003)].     

BOOK REVIEWS

Abstract

THE INTERNET BUSINESS TO BUSINESS DIRECTORY: THE ESSENTIAL GUIDE TO BUSINESS RESOURCES ON THE NET. Eddy, Sandra E., Michael M. Swertfager, and Margaret M.E. Cusick. Reviewed by Sandra E. Essy

THE ENCYCLOPEDIA OF NETWORKING. 2nd ed. Feibel, Werner. Reviewed by Wemer Fiebel

ZEN AND THE ART OF THE INTERNET: A BEGINNER'S GUIDE. 4th ed. Kehoe, Brendan. Reviewed by Brendan Keheo

THE INTERNET GRAPHICS TOOLKIT. Rimmer, Steve. Reviewed by Steve Rimmer     

Book Reviews

Books Reviewed in this Articles: Media, Crisis and Democracy: Mass Communication and the Disruption of Social Order, Marc Raboy and Bernard Dagenais, Sage, London (1992), 224 pp. Terrorism and the Media, David L. Paletz and Alex P. Schmid (Eds), Sage, London (1992), 320 pp. Terrorism and the Media, David L. Paletz and Alex P. Schmid (Eds), Sage, London (1992), 320 pp. Total Contingency Planning for Disasters, Kenneth N. Myers, John Wiley and Sons, New York (1993), 270 pp. Organizations, Uncertainties and Risk, F.F. Short Jr. and L. Clarke (Eds), Westview Press, Boulder, Colorado (1992), 381 pp. Minorities at Risk: A Global View of Ethno-political Conflicts, T.R. Gurr, United States Institute of Peace Press, Washington DC (1993), 427 pp. Global Alert: The Ozone Pollution Alert, J. Fishman and R. Kalish, Plenum, New York (1990), 304 pp. Perspectives on Environmental Conflict and International Politics, J. Kakonen (Ed.), Pinter Publishers, London (1992), 143 pp.     

Book Reviews

Book review in this Article Roger De Bruyn (ed.) (1994) Creaddenda Michael Fordham (1993) The Making of an Analyst: A Memoir Pedro Nueno (1994) Corporate Turnaround: A Practical Guide to Business Survival Patrick Dawson (19) Organizational Change R. Richard Ritti (1994) The Ropes to Skip and the Ropes to Know: Studies in organizational behavior George Land & Beth Jarman (1993) Break point and Beyond: Mastering the Future Today     

Book Reviews

Book review in this Article Mick Marchington (1992) Managing the Team: A Guide to Successful Employee Involvement Barry Johnson (1993) Polarity Management: Identifying and Managing Unsolvable Problems Andrew Sayer (1992) Method in Social Science: A realist approach George Ritzer (1993) The McDonaldization of Society     

Book Reviews

Bruce, M. and Jevnaker, B.H., eds, Management of Design Alliances; Sustaining Competitive Advantage Rubinstein, A., Modelling bounded rationality Harper, Richard, H.R., Inside the IMF: An Ethnography of Documents, Technology and Organisational Action     

Book Reviews

Books reviewed: Cary L. Cooper (Eds), The Organization in Crisis: Downsizing, Restructuring, and Privatization Jan Aart Scholte, Globalization: A Critical Introduction David Satterthwaite (Ed.), The Earthscan Reader in Sustainable Cities Heather Deegan, South Africa Reborn: Building a New Democracy Rutherford H. Platt (Ed.), Disasters and Democracy: The Politics of Extreme Natural Events Raymond J. Burby (Ed.), Cooperating with Nature: Confronting Natural Hazards with Land‐Use Planning for Sustainable Communities     

Making a List...Checking it Twice

This is a review of Low Power Methodology Manual: For System-on-Chip Design (by Michael Keating, David Flynn, Rob Aitken, Alan Gibbons, and Kaijian Shi). This book provides a comprehensive inventory of methods of low-power IC design, along with discussions of the various options available to design groups for implementing both basic and advanced techniques into their SoC designs. It also contains some chapter references and a reasonably sized bibliography that point to some of the significant background and fundamental work underlying these recommendations.