Informatik (15.755 Artikel)

This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to providing a review of the fundamental mathemat...

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world s...

This book constitutes the refereed proceedings of the European Design Science Symposium, EDSS 2011, held in Leixlip, Ireland, in October 2011 held in conjunction with the Intel European Research an...

This book contains the papers presented at the 5th International Conference on Pr- tical Aspects of Knowledge Management organized by the Department of Knowledge Management, Institute of Computer S...

The biennial PAKM Conference Series o?ers a communication platform and meeting ground for practitioners and researchers involved in developing and deploying advanced business solutions for the mana...

The biennial PAKM Conference Series o?ers a communication platform and meeting ground for practitioners and researchers involved in developing and deploying advanced business solutions for the mana...

--

FALCON and SOLMAE with Python

This SpringerBrief discusses the uber eXtensible Micro-hypervisor Framework (uberXMHF), a novel micro-hypervisor system security architecture and framework that can isolate security-sensitive appli...

In today's world, data must be sent around the world cheaply and securely, and that requires origin authentication, integrity protection, and confidentiality - the recipient of a message should be ...

In today's world, data must be sent around the world cheaply and securely, and that requires origin authentication, integrity protection, and confidentiality - the recipient of a message should be ...

Case Studies from LISA 2020 Global Network, USA

Maximizing the Value of Text Data

This book contains a selection of strictly refereed papers presented at the First International Conference on the Practice and Theory of Automated Timetabling, held in Edinburgh, UK, August/Septemb...

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Conference on the Practice and Theory of Automated Timetabling, PATAT'97, held in Toronto, Canada...