realme  (2 752 Angebote unter 17 260 229 Artikeln)

Unmanned aerial vehicles (UAVs) are being increasingly used in different applications in both military and civilian domains. These applications include surveillance, reconnaissance, remote sensing,...

Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2016, September 6-10 Lviv, Ukraine

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Computational and Clinical Applications in Abdominal Imaging, held in conjunction wi...

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is...

The two volume set, CCIS 288 and 289, constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Communications and Information Processing, ICCIP 2012,...

Biological Cell Classification by Time Stretch

A Formal Approach to Real-Time Systems

The two volume set, CCIS 288 and 289, constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Communications and Information Processing, ICCIP 2012,...

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to commu...

This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7...

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of softw...

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the ...

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 ...

Interrupt Handling Schemes in Operating Systems

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyb...