You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
First Published in 2008. Routledge is an imprint of Taylor & Francis, an informa company.
Introducing abstract machines - Review of set theory and logic - Weakest preconditions - Towards machine consistency - Parameters, sets, and constants - Relations - Functions and sequences - Arrays - Nondeterminism - Structuring with includes - Structuring with SEES and USES - Data refinement - Refinement of nondeterminism - Proof obligations for refinements - Loops - Implementation machines - Case study : heapsort - Library machines.
Cybersecurity refers to the set of technologies, practices, and strategies designed to protect computer systems, networks, devices, and data from unauthorized access, theft, damage, disruption, or misuse. It involves identifying and assessing potential threats and vulnerabilities, and implementing controls and countermeasures to prevent or mitigate them. Some major risks of a successful cyberattack include: data breaches, ransomware attacks, disruption of services, damage to infrastructure, espionage and sabotage. Cybersecurity Risk Management: Enhancing Leadership and Expertise explores this highly dynamic field that is situated in a fascinating juxtaposition with an extremely advanced and ...
A variety of theoretical approaches to person-environment psychology has been developed over the years, representing a rich range of intellectual perspectives. This second edition links the past and present and looks toward the future in reviewing new directions and perspectives in person-environment psychology. Stated differently, the main thrust of this volume is to present contemporary models and perspectives that make some sensible predictions concerning the individual and the environment using the person-environment relationship. Within a person-environment framework, these models and perspectives are concerned with how people tend to influence environments and how environments reciprocally tend to influence people. Thus, this second edition presents new directions in person-environment psychology and the implications for theory, research, and application.
The second edition of Comprehensive Organic Synthesis—winner of the 2015 PROSE Award for Multivolume Reference/Science from the Association of American Publishers—builds upon the highly respected first edition in drawing together the new common themes that underlie the many disparate areas of organic chemistry. These themes support effective and efficient synthetic strategies, thus providing a comprehensive overview of this important discipline. Fully revised and updated, this new set forms an essential reference work for all those seeking information on the solution of synthetic problems, whether they are experienced practitioners or chemists whose major interests lie outside organic sy...
This research topic for Frontiers in Psychology highlights some of the more relevant changes that have conditioned consumer behavior in recent years—among these, the paradigm shift in marketing is worth emphasizing. Today, the market and the companies are implementing Marketing 4.0; This new marketing approach modifies both the business rules and the channels by changing the way to dialogue, interact and relation with consumers. The present Research Topic brings together 30 studies by 76 authors who analyzed the relevance of consumer behavior changes under this new paradigm, using different theoretical and methodological frameworks. These different papers, mainly constituting original research, examine a variety of sub-topics, including online and mobile environments, value co-creation, internal marketing strategies, and diverse industries and product markets. Given this broad selection of papers, we encourage readers to draw their own conclusions about the complex phenomena of consumer behavior. Our hope is that these different perspectives will cover various gaps in the field and prompt discussion among the audience of Frontiers in Psychology.
Vols. for 1963- include as pt. 2 of the Jan. issue: Medical subject headings.
"The Handbook of Organizational Culture and Climate provides an overview of current research, theory and practice in this expanding field. The editorial team and the authors come from diverse professional and geographical backgrounds, and provide an unprecedented coverage of topics relating to both culture and climate of modern organizations.... Well-known editors Neal Ashkanasy, Celeste P. M. Wilderom, and Mark F. Peterson lend a truly international perspective to what is the single most comprehensive and up-to-date source on the growing field of organizational culture and climate. In addition, the Handbook opens with a foreword by Andrew Pettigrew and two provocative commentaries by Ben Schneider and Edgar Schein, and concludes with an invaluable set of combined references." --Publisher.