Software Engineering – alle Bücher und LPs, Seite 8

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Software Engineering" finden. Könnten diese Produkte zu Ihrer Suche passen?

Joseph Albahari, Ben Albahari
C# 12 Pocket Reference

Looking for quick answers for using C# 12? This tightly focused and practical guide tells you exactly what you need to know without long intros or bloated samples. Succinct and easy to browse, this pocket…

sofort lieferbar

Buch

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took pl…

lieferbar innerhalb 2-3 Wochen

Buch

Frontiers of Combining Systems

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

lieferbar innerhalb 2-3 Wochen

Buch

Security and Trust Management

.- Identity Management, Authentication, Access Control & Formal Modeling..- Toward Secure and Trustworthy Identity Management Systems: A Knowledge-base Driven Approach..- Always Authenticated, Never E…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Conceptual Modeling

.- FCM. .- Logical Foundations of Conceptual Modelling for Relational and SQL Databases - an introduction. .- Disentangling the schema turn: Restoring the information base to conceptual modelling. .- Repr…

lieferbar innerhalb 2-3 Wochen

Buch

Perspectives in Business Informatics Research

This book constitutes the proceedings of the 24th International Conference on Perspectives in Business Informatics Research, BIR 2025, which took place in Riga, Latvia, in September 2025. The central them…

lieferbar innerhalb 2-3 Wochen

Buch

Conceptual Modeling

This book constitutes the proceedings of the 44th International Conference on Conceptual Modeling, ER 2025, which took place in Poitiers, France, during October 20--23, 2025.The 22 full papers included in…

lieferbar innerhalb 2-3 Wochen

Buch

Adrienne Braganza
Looks Good to Me

From the back cover:"Looks Good To Me" is a comprehensive guide to code reviews. It's perfect for any stage of your process--whether you're improving your practices, setting up a new review syst…

lieferbar innerhalb 1-2 Wochen

Buch

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

.- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025). .- An end-to-end testbed for communication, compute, and control co-design: th…

lieferbar innerhalb 2-3 Wochen

Buch

Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers

Industry Papers.- Obtaining Test Data in the Estonian e-Government System: Challenges and Improvement Potential.- From C to Rust -- How Feasible is it?.- Cross-Domain Evaluation of Transformer-Based Vulne…

lieferbar innerhalb 2-3 Wochen

Buch

Charles Petzold
Code

The classic guide to how computers work, updated with new chapters and interactive graphics"For me, Code was a revelation. It was the first book about programming that spoke to me. It started with a …

sofort lieferbar

Buch

Adam Bellemare
Building Event-Driven Microservices

Event-driven microservices offer an optimal approach to harnessing event streams, reacting and responding to changes as they occur across your company. With this fully revised and updated guide, you'll le…

sofort lieferbar

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

Applications and Usability of Interactive TV

.- Technologies, services, and applications for digital TV..- Integration of content in TVC+ through the second screen..- Innovative Design and Implementation of a Low-Cost ISDB-T Receiver and Transport S…

sofort lieferbar

Buch

Systems, Software and Services Process Improvement

The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during S…

lieferbar innerhalb 2-3 Wochen

Buch

Enterprise Information Systems

.- Design and Software Engineering Experience Report: Designing and Implementing Data Registration via File Import in an Administrative e-Commerce System. .- A Comparative Analysis of the Interactive Web …

lieferbar innerhalb 2-3 Wochen

Buch

Computer and Communication Engineering

This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23--25, 2025.The 12 full papers i…

lieferbar innerhalb 2-3 Wochen

Buch

Model Checking Software

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar innerhalb 2-3 Wochen

Buch

Hybrid Human-AI Collaborative Networks

This two-volume set, IFIP AICT 770-771, constitutes the refereed proceedings of the 26th IFIP WG 5.5 SOCOLNET Working Conference on Virtual Enterprises on Hybrid Human-AI Collaborative Networks, PRO-VE 20…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.