|
|
|
|
A Distributed Pi-CalculusDistributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the... | | Lean Combustion: Technology and ControlCombustion under sufficiently fuel-lean conditions can have the desirable attributes of high efficiency and low emissions, this being particularly important in light of recent and rapid increases in the cost of fossil fuels and concerns over the links between combustion and global climate change. Lean Combustion is an eminently authoritative,... | | OpenGL(R) ES 2.0 Programming GuideOver the years, the “Red Book” has become the authoritative reference for each new version of the OpenGL API. Now we have the “Gold Book” for OpenGL ES 2.0—a cross-platform open standard ushering in a new era of shader programmability and visual sophistication for a wide variety of embedded and mobile devices, from... |
|
|
|
|
|
Result Page: 181 180 179 178 177 176 175 174 173 172 171 170 169 168 167 166 165 164 163 |