This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suite
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Lire la suite
This book examines the origin of the technological and organizational challenges of industry in Europe and the United States ...
Lire la suite
This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...
Lire la suiteFarming for Health describes the utilization of agricultural farms, farm animals, plants and landscapes as a base for promoting ...
Lire la suite
Gain an inside perspective on what it’s like when you love math and science and happen to be a girl. Fashion Figures highlights ...
Lire la suite
The interplay of electronic textiles and wearable technology, wearables for short, and fashion, design and science is a highly ...
Lire la suite
It addresses all current aspects of fast and secure primitives for symmetric cryptology, covering hash function cryptanalysis ...
Lire la suite
It addresses all current aspects of fast and secure primitives for symmetric cryptology, covering hash function cryptanalysis ...
Lire la suite
The Fast Software Encryption 2005 Workshop was the twelfth in a series of annual workshops on symmetric cryptography, sponsored ...
Lire la suite
Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...
Lire la suite
Details the benefits of a feasibility study. Once you’ve secured the commission, how do you ensure you’re following current ...
Lire la suite
Real-world AI applications frequently have training data distributed in many different locations, with data at different ...
Lire la suite
Feedforward Amplifiers for Wideband Communication Systems has been possible thanks to the research carried out throughout ...
Lire la suite
argues that the traditional image of Feyerabend is erroneous and that, contrary to common belief, he was a great admirer ...
Lire la suite
Contains substantial additions covering the topics of coherence detection, space division multiplexing, and more advanced ...
Lire la suite
Dispersion management is a critical design criterion that characterizes the performance of an optical network, and has impacted ...
Lire la suite
Field Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Lire la suite
Field robots are robots which operate in outdoor, complex, and dynamic environments. Service robots are those that work closely ...
Lire la suite
This book presents the results of the sixth edition of Field and Service Robotics, FSR07, held in Chamonix, France, on 9th ...
Lire la suite