This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
اقرأ المزيد
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
اقرأ المزيد
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
اقرأ المزيد
The Facebook API allows web developers to create Facebook applications and access Facebook data from other applications. ...
اقرأ المزيد
Facelets is a templating language developed from the ground up with JavaServer Faces in mind. Created in response to the ...
اقرأ المزيد
This book presents results relevant in the manufacturing research field, that are mainly aimed at closing the gap between ...
اقرأ المزيد
Failure Rate Modelling for Reliability and Risk focuses on reliability theory and, specifically, on the failure rate (the ...
اقرأ المزيد
The impact of social networks and the influence that fashion influencers have on the choices people make for shopping is ...
اقرأ المزيدFast Simulation of Electro-Thermal MEMS provides the reader with a complete methodology and software environment for creating ...
اقرأ المزيد
Fast Track to MDX gives you all the necessary background to let you to write useful, powerful MDX expressions and introduces ...
اقرأ المزيد
Fast, Efficient and Predictable Memory Accesses presents techniques for designing fast, energy-efficient and timing predictable ...
اقرأ المزيد
This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing ...
اقرأ المزيد
Contains substantial additions covering the topics of coherence detection, space division multiplexing, and more advanced ...
اقرأ المزيد
The Field Manual of Techniques in Invertebrate Pathology is designed to provide background and instruction on a broad spectrum ...
اقرأ المزيد
This book presents the results of the sixth edition of Field and Service Robotics, FSR07, held in Chamonix, France, on 9th ...
اقرأ المزيد
Software systems involve autonomous and distributed software components that have to execute and interact in open and dynamic ...
اقرأ المزيد
The first is Bitcoin that infamously pursues a state-independent, decentralized conception of money. The second is Finance ...
اقرأ المزيد
Constitutes the post-proceedings of the 5th International Conference on Financial Cryptography held in the British West Indies ...
اقرأ المزيد
This book cover all aspects of securing transactions and systems, which this year included a range of technical areas such ...
اقرأ المزيد
This book cover all aspects of securing transactions and systems, which this year included a range of technical areas such ...
اقرأ المزيد