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, ...
Lire la suite
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
Lire la suite
Tutorials in Mathematical Biosciences I
This volume introduces some basic theories on computational neuroscience. Chapter 1 is a brief introduction to neurons, tailored ...
Lire la suite
Tutorials in Mathematical Biosciences II
This book presents a series of models in the general area of cell physiology and signal transduction, with particular attention ...
Lire la suite
Tutorials in Mathematical Biosciences III
This volume introduces some basic mathematical models for cell cycle, proliferation, cancer, and cancer therapy.
Lire la suite
Tutorials in Mathematical Biosciences IV : Evolution and Ecology
The book offers an easy introduction to fast growing research areas in evolution of species, population genetics, ecological ...
Lire la suite
Tutorials on Emerging Methodologies and Applications in Operations Research
The primary purpose of TUTORIALS ON EMERGING METHODOLOGIES AND APPLICATIONS IN OPERATIONS RESEARCH is to provide a reference ...
Lire la suite
Understanding 3D Animation Using Maya
Many animators and designers would like to supplement their Maya learning with a less-technical, more helpful book. This ...
Lire la suite
Understanding Carbon Nanotubes
This volume presents the foundations of carbon nanotube science including the most recent developments and the prospects ...
Lire la suite
Visualization and Processing of Tensor Fields
This book is the first edited volume that presents the state-of-the-art in the visualization and processing of tensor fields. ...
Lire la suite
Voltage Stability of Electric Power Systems
The book describes practical methods that can be used for voltage security assessment and offers a variety of examples. This ...
Lire la suite
Web Engineering : 21st International Conference, ICWE 2021, Biarritz, France, May 18–21, 2021, Proceedings
This book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed ...
Lire la suite
Wiki : Web Collaboration
Wikis are Web-based applications that allow all users not only to view pages but also to change them. The success of the ...
Lire la suite
