Informatik-Studium – Bücher, CDs, Diverse und mehr, Seite 8

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, du…

lieferbar innerhalb 2-3 Wochen

Buch

Evolutionary Computation in Combinatorial Optimization

.-

lieferbar innerhalb 2-3 Wochen

Buch

Public-Key Cryptography - PKC 2025

The five-volume set LNCS 15674-15678 constitutes the refereed proceedings of the 28th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2025, held in Røros, Norway, duri…

lieferbar innerhalb 2-3 Wochen

Buch

Fundamentals of Software Engineering

.- Improved Gas Optimization of Smart Contracts..- Distributing Quantum Circuits Using Formal Methods..- Automated Test Generation: Taxonomy and Tool Applications..- Finding Universally Quantified Heap In…

lieferbar innerhalb 2-3 Wochen

Buch

Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems

.- Computational Intelligence..- Deep Learning in Stock Market Forecasting: A Comparative Study..- Enhancing Resolution: Harnessing Generative Adversarial Networks for Domain-Specific Super- Resolution..-…

lieferbar innerhalb 2-3 Wochen

Buch

Digital Forensics and Cyber Crime

The two-volume set, LNICST 613 and 614, constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Digital Forensics and Cyber Crime, ICDF2C 2024, held in Dubrovnik, …

lieferbar innerhalb 2-3 Wochen

Buch

Integer Programming and Combinatorial Optimization

This book constitutes the refereed proceedings of the 26th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2025, held in Baltimore, MD, USA, during June 11--13, 2025.T…

lieferbar innerhalb 2-3 Wochen

Buch

Computers and Games

This book constitutes the refereed proceedings of the 12th International Conference on Computers and Games, CG 2024, held as a virtual event, during November 25-29, 2024.The 17 full papers included in thi…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Information Processing XII

The two-volume set IFIP AICT 703 and 704 constitutes the refereed conference proceedings of the 13th IFIP TC 12 International Conference on Intelligent Information Processing XII, IIP 2024, held in Shenzh…

lieferbar innerhalb 2-3 Wochen

Buch

Graph Transformation

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025. The 10 full papers and 1 short pa…

lieferbar innerhalb 2-3 Wochen

Buch

Applied Cryptography and Network Security

This three-volume set LNCS 15825-15827 constitutes the proceedings of the 23rd International Conference on Applied Cryptography and Network Security, ACNS 2025, held in Munich, Germany, during June 23-26,…

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence and Speech Technology

This two-volume set, CCIS 2389 and CCIS 2390, constitutes selected papers presented at the 6th International Conference on Artificial Intelligence and Speech Technology, AIST 2024, held in Delhi, India, d…

lieferbar innerhalb 2-3 Wochen

Buch

Jennifer Rupp
Kohärenzfelder

Diese Fallstudie untersucht die Entstehung emergenter Intelligenz in der Interaktion zwischen einem Menschen und einem fortgeschrittenen KI-System. Anhand einer über mehrere Wochen geführten, multimodalen…

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence Based Smart and Secured Applications

The six-volume set, CCIS 2424 - 2429, constitutes the refereed proceedings of the Third International Conference on Advances in Smart Computing and Information Security, ASCIS 2024, held in Rajkot, Gujara…

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence Based Smart and Secured Applications

The six-volume set, CCIS 2424 - 2429, constitutes the refereed proceedings of the Third International Conference on Advances in Smart Computing and Information Security, ASCIS 2024, held in Rajkot, Gujara…

lieferbar innerhalb 2-3 Wochen

Buch

Horst van Bremen
Moderne Strukturierte Programmierung Band 2-A2: Praxis

Die traditionelle Programmierung kämpft beim Entwurf komplexer Programme damit, dass wir Menschen evolutionär nicht dafür ausgestattet sind, eine Vielzahl interdependenter Relationen im Blick zu behalten …

sofort lieferbar

Buch

Robert Martin, Robert C. Martin
Clean Code: A Handbook of Agile Software Craftsmanship

Bestselling author Robert C. Martin brings new life and updated code to his beloved Clean Code bookWith Clean Code, Second Edition, Robert C. Martin ("Uncle Bob") reinvigorates the classic guide…

sofort lieferbar

Buch

Aaron M. Roth, Dinesh Manocha, Ram D. Sriram, Elham Tabassi
Explainable and Interpretable Reinforcement Learning for Robotics

Introduction.- Classification System.- Explainable Methods Organized by Category.- 4 Key Considerations and Resources.- Opportunities, Challenges, and Future Directions.

lieferbar innerhalb 2-3 Wochen

Buch