Coding for Erasure Channels
A unique resource for analyzing, designing and implementing erasure codes for future computer...
EAN: 9781107131552
Formal Methods, Informally
Both beginning- and experienced programmers can improve the quality of their programming with...
EAN: 9781009421027
Formal Methods, Informally
Both beginning- and experienced programmers can improve the quality of their programming with...
EAN: 9781009420990
Foundational Techniques for Mastering Environment and Character Concept Art
This is a comprehensive guide to the process of generating ideas for creating character and...
EAN: 9781032814704
Foundational Techniques for Mastering Environment and Character Concept Art
This is a comprehensive guide to the process of generating ideas for creating character and...
EAN: 9781032769899
Handbook of Sociotechnical Systems
Handbook of Sociotechnical Systems: A Human Systems Integration Approach, Second Edition is an...
EAN: 9781041122289
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the Third International Symposium on Dependable Software...
EAN: 9783319999326
Testing Software and Systems
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference...
EAN: 9783319999265
Rewriting Logic and Its Applications
This book constitutes revised selected papers from the 12th International Workshop on Rewriting...
EAN: 9783319998398
Service-Oriented and Cloud Computing
This book constitutes the refereed proceedings of the 7th IFIP WG 2.14 European Conference on...
EAN: 9783319998183
Static Analysis
This book constitutes the refereed proceedings of the 25th International Static Analysis...
EAN: 9783319997247
Algorithmic Game Theory
This book constitutes the refereed proceedings of the 11th International Symposium on Algorithmic...
EAN: 9783319996592
Reversible Computation
This book constitutes the refereed proceedings of the 10th International Conference on Reversible...
EAN: 9783319994970
Parallel Problem Solving from Nature – PPSN XV
EAN: 9783319992587
Parallel Problem Solving from Nature – PPSN XV
EAN: 9783319992525
Computer Safety, Reliability, and Security
EAN: 9783319991290
Integrated Formal Methods
This book constitutes the refereed proceedings of the 14th International Conference on Integrated...
EAN: 9783319989372