This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented...
Web Engineering: Modelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete Web software product from conceptual schemas, represented via well-known design notations.
Describing mature and consolidated approaches to developing complex applications, this edited volume is divided into...
From reviews of previous editions: '...a great scientific textbook. It is a tour de force ... to write mathematical sections that are both complete and at an appropriate academic level. The authors have clearly succeeded in this challenge, making this a remarkable pedagogical book ... The choice of exercises is excellent and possibly the best...
One of the attractions of fuzzy logic is its utility in solving many real engineering problems. As many have realised, the major obstacles in building a real intelligent machine involve dealing with random disturbances, processing large amounts of imprecise data, interacting with a dynamically changing environment, and coping with uncertainty....
Large volumes of video content can only be easily accessed by the use of rapid browsing and retrieval techniques. Constructing a video table of contents (ToC) and video highlights to enable end users to sift through all this data and find what they want, when they want are essential. This reference puts forth a unified framework to integrate these...
As modern organizations migrate from older information architectures to new Web-based systems, the discipline of software engineering is changing both in terms of technologies and methodologies. There is a need to examine this new frontier from both a theoretical and pragmatic perspective, and offer not only a survey of new technologies and...
Machine Translation (MT) is both an engineering technology and a measure of all things to do with languages and computers—whenever a new theory of language or linguistics is offered, an important criteria for its success is whether or not it will improve machine translation.
This book presents a history of machine translation (MT) from...
Building on solid state device and electromagnetic contributions to the series, this text book introduces modern power electronics, that is the application of semiconductor devices to the control and conversion of electrical power. The increased availability of solid state power switches has created a very rapid expansion in applications, from the...
Providing a solid foundation in, and systematic treatment of, heat and mass transport, Biological and Bioenvironmental Heat and Mass Transfer covers engineering principles of heat and mass transfer. The author discusses biological content, context, and parameter regimes and supplies practical applications for biological and...
In Java ME on Symbian OS, the authors expose the opportunities for application developers wishing to use Java ME on Symbian OS.
Written by a team of experts from Symbian, Nokia and Sun Microsystems Java ME on Symbian OS reveals what can be found “under-the-hood” of the world’s leading smartphone...
The Internet and other technological developments are now playing increasing roles in consumer health and the delivery of health services.
Ubiquitous Cardiology: Emerging Wireless Telemedical Applications provides developmental solutions and explanations for cardiovascular diagnostics. Useful to field researchers, academicians,...
R is a high-level language and an environment for data analysis and graphics. The design of R was heavily influenced by two existing languages: Becker, Chambers and Wilks’ S and Sussman’s Scheme. The resulting language is very similar in appearance to S, but the underlying implementation and semantics are derived from Scheme. This...
