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