Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recent ...
Weiterlesen
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...
Weiterlesen
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Weiterlesen
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Weiterlesen
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
Weiterlesen
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively ...
Weiterlesen
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Weiterlesen
Presents the results of the 4th International Conference on Computer Recognition Sytems CORES-05. This book covers various ...
WeiterlesenComputer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents ...
Weiterlesen
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Weiterlesen
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Weiterlesen
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Weiterlesen
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Weiterlesen
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Weiterlesen
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Weiterlesen
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Weiterlesen
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Weiterlesen
This volume represents a "status report" emanating from presentations made during the 18th Annual Workshop on Computer ...
Weiterlesen
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Weiterlesen