This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lire la suiteTransdisciplinary research (TR) is an emerging field of research in the knowledge society.This handbook provides, for the ...
Lire la suiteJava design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
Lire la suiteThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Lire la suiteThis self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...
Lire la suiteThis book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...
Lire la suiteThe foundations of system analysis as an applied scientific methodology assigned for the investigation of complex and highly ...
Lire la suiteReal examples clearly demonstrate both traditional and emerging approaches to systems analysis and design, including object-oriented ...
Lire la suiteReflecting the practices, trends, and developments from the field, this title equips you with a solid foundation of the important ...
Lire la suiteThis book presents in a concise format the methods used to develop mathematical models for water and wastewater treatment. ...
Lire la suiteHow can we design more sustainable industrial and urban systems that reduce environmental impacts while supporting a high ...
Lire la suiteThis year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Lire la suiteThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suiteThe recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
Lire la suiteThe LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
Lire la suite