Книги English литература
|
Unfoldings: A Partial-Order Approach to Model Checking
|
English литература
|
Автор: Javier Esparza, Keijo Heljanko
Год издания: 2008
Формат: pdf
Страниц: 172
Размер: 1,5
ISBN: 3540774254
Язык: Английский
|
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent...
|
252
 tata167
0
16 марта 2008
|
Скачать книгу бесплатно »
|
|
Temporal Logic and State Systems
|
English литература
|
Автор: Fred Kröger, Stephan Merz
Год издания: 2008
Формат: pdf
Страниц: 436
Размер: 3,4
ISBN: 3540674012
Язык: Английский
|
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear...
|
|
276
tata167
0
16 марта 2008
|
Скачать книгу бесплатно »
|
|
Essential Grammar In Use
|
English литература
|
|
Год издания: 2003
Формат: djvu
Издат.: Cambridge University Press
Страниц: 299
Размер: 17.9
ISBN: 43681 8
Язык: Английский
|
Essential Grammar in Use is a grammar reference and practice book for elementary learners. Modelled on Raymond Murphy`s highly successful intermediate level English Grammar in Use, it concentrates on areas of grammar normally taught at elementary level.
|
|
4292
omegafeniks
0
17 марта 2008
|
Скачать книгу бесплатно »
|
|
Nanoparticle Technology Handbook
|
English литература
|
Автор: Masuo Hosokawa, Kiyoshi Nogi, Makio Naito, Toyokazu Yokoyama
Год издания: 2007
Формат: pdf
Страниц: 644
Размер: 18,2
ISBN: 044453122X
Язык: Английский
|
Nanoparticle technology, which handles the preparation, processing, application and characterisation of nanoparticles, is a new and revolutionary technology. It becomes the core of nanotechnology as an extension of the conventional Fine Particle / Powder Technology. Nanoparticle technology plays an important...
|
|
283
tata167
0
18 марта 2008
|
Скачать книгу бесплатно »
|
|
Case Studies in Engineering Design
|
English литература
|
|
Год издания: 1998
Формат: pdf
Издат.: Butterworth-Heinemann
Страниц: 272
Размер: 12,7
ISBN: 0340691352
Язык: Английский
|
A multidisciplinary introduction to engineering design using real-life case studies.
Case Studies in Engineering Design provides students and practising engineers with many practical and accessible case studies which are representative of situations engineers face in professional life, and...
|
|
336
tata167
1
19 марта 2008
|
Скачать книгу бесплатно »
|
|
Aerodynamics of Wind Turbines
|
English литература
|
Автор: Martin O. L. Hansen
Год издания: 2008
Формат: pdf
Издат.: Earthscan Publications Ltd.
Страниц: 224
Размер: 2,7
ISBN: 1844074382
Язык: Английский
|
Aerodynamics of Wind Turbines is the established essential text for the fundamental solutions to efficient wind turbine design. Now in its second edition, it has been entirely updated and substantially extended to reflect advances in technology, research into rotor aerodynamics and the structural response of...
|
|
325
tata167
0
19 марта 2008
|
Скачать книгу бесплатно »
|
|
High Dynamic Range Imaging Reconstruction
|
English литература
|
|
Год издания: 2008
Формат: pdf
Страниц: 120
Размер: 7,3
ISBN: 1598295624
Язык: Английский
|
High dynamic range imaging (HDRI) is an emerging field that has the potential to cause a great scientific and technological impact in the near future. Although new, this field is large and complex, with non-trivial relations to many different areas, such as image synthesis, computer vision, video and image...
|
|
372
tata167
0
19 марта 2008
|
Скачать книгу бесплатно »
|
|
