Bioinformatics Research and Applications : Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings
This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ...
اقرأ المزيد
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
اقرأ المزيد
Handbook of Transdisciplinary Research
Transdisciplinary research (TR) is an emerging field of research in the knowledge society.This handbook provides, for the ...
اقرأ المزيد
Hands-On Design Patterns with Java : Learn Design Patterns That Enable the Building of Large-Scale Software Architectures / Edward Lavieri
Java design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
اقرأ المزيد
Hardware and Software, Verification and Testing
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
اقرأ المزيد
Set-Theoretic Methods in Control
This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...
اقرأ المزيد
Software Architecture (vol. # 3527)
This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...
اقرأ المزيد
System Analysis: Theory and Applications
The foundations of system analysis as an applied scientific methodology assigned for the investigation of complex and highly ...
اقرأ المزيد
Systems Analysis and Design / Scott Tilley
Real examples clearly demonstrate both traditional and emerging approaches to systems analysis and design, including object-oriented ...
اقرأ المزيد
Systems Analysis and Design in a Changing World / John W. Satzinger, Robert B. Jackson, Stephen D. Burd
Reflecting the practices, trends, and developments from the field, this title equips you with a solid foundation of the important ...
اقرأ المزيد
Systems Analysis for Water Technology
This book presents in a concise format the methods used to develop mathematical models for water and wastewater treatment. ...
اقرأ المزيدTaking Stock of Industrial Ecology
How can we design more sustainable industrial and urban systems that reduce environmental impacts while supporting a high ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
اقرأ المزيد
Transactions on Computational Systems Biology I
The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
اقرأ المزيد
Transactions on Computational Systems Biology III
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
اقرأ المزيد
