Model checking trace-based information flow properties
For finite state systems and pushdown systems
Raghavendra Kagalavadi Ramesh, Deepak D'Souza, Barbara Sprick - ISBN: 978-3-8383-7780-3
Bioactive electrodes for biomedical applications
Bicompatibility, antibacterial and electrical conductivity of Titanium based thin films doped with Silver and Gold
Filipa Maria Barbosa Faria Monteiro - ISBN: 978-3-8443-3318-3
The Legal Context of Electronic Signature; Comparative Study
The E- signature is the way how to protect yourself and your business
Abdelmajeed Zwairi - ISBN: 978-3-8443-2248-4
Glimpses of Arbuscular Mycorrhiza Fungal Research
An excursion of Soil beneficial Microorganisms and their importance
Lakshman Huskur Chennarayappa - ISBN: 978-3-8484-2395-8
Гравитация как теория вложения
Теория четырехмерной поверхности в плоском объемлющем пространстве
Сергей Пастон - ISBN: 978-3-8443-1999-6
Development of Combined GPS L1/L2C Acquisition and Tracking Methods
A novel approach to high-sensitivity GNSS receivers through acquisition and tracking inter-frequency combination
Cyrille Gernot - ISBN: 978-3-8484-1779-7
Creating a consumer-driven business model for the cruise line industry
Case Royal Caribbean Cruise Lines Ltd.
Anni Ahola - ISBN: 978-3-8454-0326-7
Становление непрерывной системы этнохудожественного образования
Теория и практика
Людмила Ершова - ISBN: 978-3-8484-1623-3
Biochemical effect of arsenic to fish: Health hazards
Mechanism of Intoxication, Detoxication and Stress Protein Synthesis
Sonali Roy - ISBN: 978-3-8484-2740-6
Design of Plywood Biogas Digester
Mechanical Design and Installation
Getachew Muche Derese - ISBN: 978-3-8484-1774-2