An introduction to the modeling of business information systems, with processes formally modeled using Petri nets. This comprehensive introduction to modeling business-information systems focuses on business processes. It describes and demonstrates the formal modeling of processes in terms of Petri nets, using a well-established theory for capturing and analyzing models with concurrency. The precise semantics of this formal method offers a distinct advantage for modeling processes over the in...

The fourth edition of this highly regarded and successful text continues to provide a clear and accessible introduction to the world of GIS for students and professionals. Focusing on the practical applications of GIS, this book features a wealth of multi-disciplinary case studies and examples of GIS in practice, demonstrating how it is used worldwide and within a variety of different industries.

The new edition has been substantially revised and updated to include coverage of the latest adva...

"The significant problems we face cannot be solved at the same level of thinking we were at when we created them." -- Albert Einstein-- Modern business leaders are just too aware of how much the world has changed in the last decades and continues to do so. It is little wonder then that even the best of us can feel overwhelmed by the many demands we now face in our working and private lives. Summarizing the knowledge and experiences of three experts in the field, and offering practical insight...

The creation of a flexible, efficient, digitized, dependable and resilient power grid may well be the best route to increasing energy efficiency & security, as well as boosting the potential of renewable & distributed power sources. This book covers smart grids from A-Z, providing a complete treatment of the topic, covering both policy and technology, explaining the most recent innovations supporting its development, and clarifying how the smart grid can support the integration of renewable e...

An accessible and practical text providing essential coverage of inclusive practice for pre-service and in-service trainee teachers in the Lifelong Learning Sector.

Today's religious violence challenges our understanding of religion. Do we need special notions such as 'cult' and 'fundamentalism' to come to terms with it? Does monotheism, with its claim to exclusivity, necessarily generate intolerance? Kippenberg rejects the idea that violence and religion are inherently connected and instead considers the actions, motives, and self-perceptions of real people. He shows that the violent outcomes of the American tragedies of Jonestown and Waco were not inev...

This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments highlight key information security problems that arise in modern operating systems, networks, and web applications. The authors explain how to identify and exploit such problems and they show different countermeasures and their implementation.

The reader thus gains a detailed understanding of how vul...

The fourth edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. New and extended topics include Constraint Logic Programming, abductive reasoning and partial order planning. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementatio...

The Padmavat (1540 CE) by the Indian Sufi poet Malik Muhammad Jayasi is a classic of pre-modern Indian literature. It relates how the Rajput king Ratansen of Chitor finds and marries the beautiful princess Padmavati, and how the sultan Alauddin Khilji, on hearing of her beauty, besieges Chitor in a fruitless attempt to capture her.

'The Ruby in the Dust' presents a reading of Padmavat that challenges existing interpretations of Jayasi’s work and describes how its semantic polyphony reflects t...

Based on research conducted by investigative teams at the University of Iowa, this book provides linkages between the three standardized languages recognized by the American Nurses Organization (NOC, NIC, and all of the 2009-2010 NANDA-I approved nursing diagnoses). It also features a chapter on clinical decision making.