Understanding the mechanisms whereby plant development is regulated is crucial for crop improvement using genetic engineering. This work, comprising two volumes, reviews recent advances in plant devel
The 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009) was held on Hainan Island, China from December 2 – 4. SERA ’09 featured excellent theore
This is a new kind of tutorial book. It is written using the logic engine Mathematica, which permits concrete exploration and development of every concept involved in Symmetry Theory. The book may be
The purpose of the 10th Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2009) to be held on May 27 – 29, 2009 in Daegu, Korea is to bri
Despite its importance, the role of HdS is most often underestimated and the topic is not well represented in literature and education. To address this, Hardware-dependent Software brings together ex
This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised ful
This is the first book to describe most of the issues involved in the transition from a single standard to a Software Radio based wireless terminal. The book is both a technology tutorial for beginne
This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004
Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theori
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, eng
A gentle introduction to category theory oriented to software engineering. Assuming only a minimum of mathematical background, it explores the use of categorical constructions from the point of view o
The number of methods and tools available to the software engineer nowadays is overwhelming; nevertheless many software projects fail to meet their schedules, are over budget, do not meet the user req
After an introduction to the subject area and a concise treatment of the technical foundations for the subsequent chapters, this book features 14 chapters on state-of-the-art graph drawing software sy
Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, li
A collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. T
This edited book invites the reader to explore how the latest technologies developed in computational intelligence can be extended and applied to software engineering. Leading experts demonstrate how
Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
Basics of Software Engineering Experimentation is a practical guide to experimentation in a field which has long been underpinned by suppositions, assumptions, speculations and beliefs. It demonstr
A special issue of the Journal of Automated Software Engineering , vol. 4, no. 1 (1997) containing four extended papers selected as best from a November 1995 conference in Boston. They cover searchin
This book is devoted to the analysis of the Six Development Concepts of China titled “Xi Jinping's New Development Philosophy”, namely Innovative Development, Coordinated Development, Green Developmen
This book gathers selected papers from the Second International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, held in Chengdu, Ch
This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research
This book is particularly concerned with China’s path to green development and how it can be understood, exploring questions such as how the goal of Chinese-led green development can be achieved. The
These papers covered theoretical, case study and ethical aspects of archaeology’s sometimes difficult relationship with economic development as it is manifested through tourism, urban development and
This book is an account of the classical theory of quadratic residues and non-residues with the goal of using that theory as a window through which to view the development of some of the fundamental m
The aim of this book is to analyse the current development scenario in the Amazon, using Terra Preta de Índio as a case study. To do so it is necessary to go back in time, both in the national and int
This book presents a unified approach for modeling hydrologic processes distributed in space and time using geographic information systems (GIS). This Third Edition focuses on the principles of implem
Applied Survival Analysis Using R covers the main principles of survival analysis, gives examples of how it is applied, and teaches how to put those principles to use to analyze data using R as a vehi
The book has two aims: to introduce basic concepts of environmental modelling and to facilitate the application of the concepts using modern numerical tools such as MATLAB. It is targeted at all natur
This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 paper
This book discusses the main legal questions raised by free and open source software (FOSS) licenses and other alternative license models, such as Creative Commons. The legal questions raised by FOSS
This book focuses on exploring the linkages between natural disasters and sustainable development at the global, regional, and national levels. Disasters and development are closely related, yet the d
This book examines the politics of rural development with special reference to watershed development interventions in the desert province of Rajasthan in India. Watershed development (and rainwater ha
The aim of this book is to analyse the current development scenario in the Amazon, using Terra Preta de Indio as a case study. To do so it is necessary to go back in time, both in the national and int
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised tec
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Fast Software Encryption, held in Istanbul, Turkey, March 8-11, 2015. The 28 revised ful
This book highlights the development disparities in India and considers three complex areas of development – economic wellbeing, human progress and agricultural development – over a period of forty ye
