This LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a ...
Lire la suiteThe goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
Lire la suiteVolume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
Lire la suitevolume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...
Lire la suiteVolume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
Lire la suiteServesas a guide to a maturing engineering discipline. It is intended for both students and practitioners, retaining its ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lire la suitePresents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, ...
Lire la suiteSoftware Process Modeling brings together experts to discuss relevant results in software process modeling, and expresses ...
Lire la suiteThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lire la suiteThis book presents a comprehensive scientific overview of the components and processes that underpin the biological characteristics ...
Lire la suiteThis comprehensive and interdisciplinary handbook provides a bird's-eye view of two centuries of research on secondary metabolites ...
Lire la suiteThe book collects together material from the current literature in atmospheric environmental sciences, climate change research, ...
Lire la suiteThis book examines strategies for generating hydrogen from sunlight and water in a sustainable way. Authoritative discussions ...
Lire la suiteThis book comprises an excursion through space weather, a scientific topic in rapid growth and with growing impact and complications ...
Lire la suiteWhen considering the biological significance and industrial and medical applications of biopolymers, it is crucial to know ...
Lire la suiteSolid State NMR: Principles, Methods, and Applications offers a systematic introduction to the theory, methodological concepts, ...
Lire la suiteWritten from an industrial perspective, Solid-State Laser Engineering discusses in detail the characteristics, design, construction, ...
Lire la suiteThis book explains why, indeed, listening for knowledge plays an ambiguous, if fascinating, role in the sciences. For what ...
Lire la suiteSourcing Strategy is about sourcing as a long term strategic activity. Myopic purchasing management stops short with describing ...
Lire la suite