Suchergebnisse - Data and Security::005.1: Programming

Blocks and Chains: Introduction to Bitcoin, Cryptocurrencies, and Their Consensus Mechanisms von Judmayer, Aljosha

“… The new field of cryptographic currencies and consensus ledgers, commonly referred to as blockchains, is receiving increasing interest from various different …”
Volltext

Handbook of constraint programming von Rossi, Francesca, Van Beek, Peter, Walsh, Toby

“… Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming …”
Volltext

Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security von Arthur, Will, Challener, David

“… A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers …”
Volltext

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings von Muller, Peter

“… This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European …”
Volltext

The AI Act and The Agile Safety Plan von Myklebust, Thor, Stålhane, Tor, Vatn, Dorthea Mathilde Kristin

“… ; tools, programming languages, and existing software to be integrated; documentation and work products …”
Volltext

Embedded Programming with Modern C++ Cookbook: Practical recipes to help you build robust and secure embedded applications on Linux von Viarheichyk, Igor

“… Explore various constraints and challenges that embedded developers encounter in their daily tasks and learn how to build effective programs using the latest …”
Volltext

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings von FOSSACS, Kiefer, Stefan, Tasson, Christine, European Conferences on Theory and Practice of Software

“… This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS …”
Volltext

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings von Goubault-Larrecq, Jean, König, Barbara

“… ; semantics of programming languages; program analysis, correctness, transformation, and verification …”
Volltext

Continuous Integration (CI) and Continuous Delivery (CD) - A Practical Guide to Designing and Developing Pipelines von van Merode, Henry

“… Use continuous Integration (CI) and continuous delivery (CD) to improve the speed of software delivery. This book presents a game changer-how to use pipelines …”
Volltext

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

“… This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS …”
Volltext

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings von European Symposium on Programming, Sergey, Ilya, European Conferences on Theory and Practice of Software

“… This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint …”
Volltext

Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4–7, 2024, Revised Selected Papers von Marchesi, Lodovica, Goldman, Alfredo, Lunesu, Maria Ilaria, Przybyłek, Adam, Aguiar, Ademar, Morgan, Lorraine, Wang, Xiaofeng, Pinna, Andrea

“… This open access book constitutes revised selected papers from the workshops held at the 25th International Conference on Agile Software Development, XP 2024, …”
Volltext

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I von Lahiri, Shuvendu K, Wang, Chao

“… The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security …”
Volltext

Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings von FOSSACS, Bouyer, Patricia, Schröder, Lutz, European Conferences on Theory and Practice of Software

“… This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS …”
Volltext

Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshops, Montréal, QC, Canada, May 21-25, 2019, Proceedings von Hoda, Rashina

“… This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile …”
Volltext

From Digital Traces to Algorithmic Projections von Berthier, Thierry, Teboul, Bruno

“… Centred on the human user, this formalism makes it possible to distinguish the voluntary projections of an individual and their systemic projections (suffered, metadata), both open (public) and closed …”
Volltext

Java EE 8 application development: develop enterprise applications using the latest versions of CDI, JAX-RS, JSON-B, JPA, Security, and more von Heffelfinger, David R

“… This book covers all of the major Java EE 8 APIs and includes new additions such as enhanced Security, JSON-B Processing …”
Volltext

Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings von Juan Garbajosa, Ademar Aguiar, Xiaofeng Wang

“… agile software development; test-driven development; project and people management; empirical software engineering; continuous experimentation …”
Volltext

The Privacy Engineer's Manifesto: Getting from Policy to Code to QA to Value von Dennedy, Michelle Finneran, Fox, Jonathan, Finneran, Thomas R

“… Computer science …”
Volltext

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I von Shoham, Sharon, Vizel, Yakir

“… ; formal methods for neural networks; software Verification and model checking; hyperproperties and security …”
Volltext