You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
A practical cookbook on building portals with GateIn including user security, gadgets, and every type of portlet possible.
This book explores how digital culture is transforming museums in the 21st century. Offering a corpus of new evidence for readers to explore, the authors trace the digital evolution of the museum and that of their audiences, now fully immersed in digital life, from the Internet to home and work. In a world where life in code and digits has redefined human information behavior and dominates daily activity and communication, ubiquitous use of digital tools and technology is radically changing the social contexts and purposes of museum exhibitions and collections, the work of museum professionals and the expectations of visitors, real and virtual. Moving beyond their walls, with local and globa...
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.
The Kenya Gazette is an official publication of the government of the Republic of Kenya. It contains notices of new legislation, notices required to be published by law or policy as well as other announcements that are published for general public information. It is published every week, usually on Friday, with occasional releases of special or supplementary editions within the week.
Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is presented in five parts: Imaging and Culture New Art Practice Seeing Motion Interaction and Interfaces Visualising Heritage Electronic Visualisation in Arts and Culture explores a variety of new theory and technologies, including devices and techniques for motion capture for music and performance, advanced photographic techniques, computer generated images derived from different sources, game engine software, airflow to capture the motions of bird flight and low-altitude imagery from airborne devices....
This carefully edited resource brings together contributions from some of the world's leading experts on Alan Turing to create a comprehensive guide that will serve as a useful resource for researchers in the area as well as the increasingly interested general reader.
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the...