This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
اقرأ المزيد
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيد
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
اقرأ المزيد
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, ...
اقرأ المزيد
Provides an up-to-date survey of developments in computer security. Central problems that confront security designers and ...
اقرأ المزيد
Computer Security in the 21st Century shares some of the emerging important research trends reflected in recent advances ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...
اقرأ المزيد
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
اقرأ المزيد
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...
اقرأ المزيد
This book discusses both the technical and human factors involved in computer viruses, worms, and anti-virus software. It ...
اقرأ المزيد
This was the second time that a satellite workshop,solely devoted to medical image analysis issues, was held in conjunction ...
اقرأ المزيد
Recently, there has been a dramatic increase in the use of sensors in the non-visible bands. As a result, there is a need ...
اقرأ المزيد
Computer Vision has reached a level of maturity that allows us not only to p- form research on individual methods and system ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 6th International Conference on Computer Vision Systems, ICVS 2008, ...
اقرأ المزيدExplores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications ...
اقرأ المزيد
The purpose of this book is to submit the workshop, “Computer Vision for Biomedical Image Applications: Current Techniques ...
اقرأ المزيد