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, ...
Continue reading
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 ...
Continue reading
Tutorials in Mathematical Biosciences I
This volume introduces some basic theories on computational neuroscience. Chapter 1 is a brief introduction to neurons, tailored ...
Continue reading
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 ...
Continue reading
Tutorials in Mathematical Biosciences III
This volume introduces some basic mathematical models for cell cycle, proliferation, cancer, and cancer therapy.
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Understanding 3D Animation Using Maya
Many animators and designers would like to supplement their Maya learning with a less-technical, more helpful book. This ...
Continue reading
Understanding Carbon Nanotubes
This volume presents the foundations of carbon nanotube science including the most recent developments and the prospects ...
Continue reading
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. ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
