Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art ...
Continue reading
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
Continue reading
This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
Continue reading
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue reading
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue reading
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Continue readingThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue reading
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Continue reading
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Continue reading
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue reading
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain ...
Continue reading
This book offers both conceptual and empirical descriptions of how to “frame” sustainability challenges. It defines ...
Continue reading
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
Continue reading
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
Continue reading
The volume contains revised versions of selected papers presented during the 29th Annual Conference of the Gesellschaft für ...
Continue reading
The volume contains revised versions of selected papers presented during the 29th Annual Conference of the Gesellschaft für ...
Continue reading
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
Continue reading
Offers an authoritative guide to the technical descriptions of the various wireless technologies currently in use. Explains ...
Continue reading
This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited ...
Continue reading
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well ...
Continue reading