Cookie-Einstellungen
Wir verwenden Cookies, um die Nutzung aller Funktionen auf unserer Website zu ermöglichen. Dazu zählen Cookies, die für den Betrieb der Seite notwendig sind, sowie solche, die zu anonymen Statistikzwecken, für Komforteinstellungen oder zur Anzeige personalisierter Inhalte genutzt werden. Sie können selbst entscheiden, welche Kategorien Sie zulassen möchten. Bitte beachten Sie, dass auf Basis Ihrer Einstellungen womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Osteraktion: Bis zum 30.4.2025 von 20% Rabatt auf folgende Produkte profitieren. Code: NEST25
cover
Static Analysis

Static Analysis

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Buch (broschiert)103.00 CHF
lieferbar in ca. 20-45 Arbeitstagen

Inhalt

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area. The 18 papers included here were carefully reviewed and selected from 45 submissions.

Bibliografische Angaben

Januar 2025, 464 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-74775-5

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen
Ada 2022 Reference Manual. Volume 1 - Core Language
International Standard ISO/IEC 8652:2023 (E)
Springer International Publishing, 2025
978-3-031-83730-2
103.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 2025

Weitere Titel zum Thema

Lehrbuch der Softwaretechnik
Springer, 2025
978-3-662-67655-4
ca. 71.00 CHF
erhältlich ab September 2025
A Guide to Implementing MLOps
From Data to Operations
Springer International Publishing, 2025
978-3-031-82009-0
56.50 CHF
lieferbar in ca. 20-45 Arbeitstagen
Proceedings of the Third International Conference on Advances in Computing ...
Springer International Publishing, 2025
978-3-031-87646-2
ca. 260.00 CHF
erhältlich ab Mai 2025
Advances in Knowledge Discovery and Management
Volume 10
Springer International Publishing, 2025
978-3-031-40405-4
189.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Health Analytics with R
Learning Data Science Using Examples from Healthcare and Direct-to-Consumer Genetics
Springer International Publishing, 2025
978-3-031-74382-5
135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Large Language Models for Sustainable Urban Development
Springer International Publishing, 2025
978-3-031-86038-6
ca. 236.00 CHF
erhältlich ab Juni 2025
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
261.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Scalable Data Management for Future Hardware
Springer International Publishing, 2025
978-3-031-74096-1
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Chefsache Business Transformation
Datenökonomie durch Demokratisierung und Monetarisierung
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-47491-1
ca. 52.50 CHF
erhältlich ab August 2025
Advances in Data Science
Women in Data Science and Mathematics (WiSDM) 2023
Springer International Publishing, 2025
978-3-031-87803-9
ca. 206.00 CHF
erhältlich ab Mai 2025
A Course in Natural Language Processing
Springer International Publishing, 2025
978-3-031-27228-8
97.00 CHF
lieferbar in ca. 20-45 Arbeitstagen