著者:Tobias Nipkow
出版社: Association for Computing Machinery
発売日: 2025年10月02日
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and a……続きを見る
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, ……続きを見る
Unlock the power of the Linux kernel and transform yourself from a user-space developer into a confident systems programmer. Linux Kernel Programming 2025: A Complete Guide for Developers is your co……続きを見る
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.
The 13 full papers presented here w……続きを見る
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.
……続きを見る
Think coding is just for geniuses? Think again. "HTML and CSS for Newbies" breaks down the two most essential languages of the web into simple step-by-step lessons. Go from zero to your first webpag……続きを見る
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in ……続きを見る
Explore Visual Studio 2022 and supercharge your .NET development workflow with the latest AI-powered tools and modern application design.
Whether you're a seasoned .NET developer or looking to level……続きを見る
Title: ISO 27001:2022 - Explications
Subtitle: Système de Management de la Sécurité de l'Information - Guide Pratique
Introduction:
"ISO 27001:2022 - Explications" est un guide pratique complet dédi……続きを見る
著者:Eduardo Andere M
出版社: Siglo XXI Editores México
発売日: 2025年09月30日
La inteligencia artificial ha llegado para quedarse. Su impacto está transformando el mundo y ha abierto un sinfín de preguntas. Una destaca por encima de todas: ¿pueden las máquinas pensar como el ……続きを見る
More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applica……続きを見る
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences o……続きを見る
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences o……続きを見る
In an age of ever-increasing cyberthreats, the demand for cybersecurity experts is soaring. With this guide, you will gain advanced skills in python programming, malware analysis, penetration testin……続きを見る
著者:Dwight Smith
出版社: Rob Satterfield
発売日: 2026年04月22日
This book is perfect for beginners and professionals who want to improve their skills. You will learn how to use essential tools such as metasploit, wireshark, nmap, and burp suite, explore encrypti……続きを見る