Produktbild: Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

42,79 €

inkl. 7 % MwSt. zzgl. Versandkosten

32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16,2026, Proceedings, Part II, Lecture Notes in Computer Science 16506

ISBN:	3032227488
ISBN 13:	9783032227485
Herausgeber:	Sebastian Junges/Guy Katz
Verlag:	Springer Verlag GmbH
Umfang:	xxvii, 603 S., 57 s/w Illustr., 187 farbige Illustr., 603 p. 244 illus., 187 illus. in color.
Erscheinungsdatum:	16.04.2026
Auflage:	1/2026
Produktform:	Kartoniert
Einband:	Kartoniert

Artikelnummer: 9983933 Kategorie: Informatik

Beschreibung

Beschreibung

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.

Herstellerkennzeichnung:

Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …

Innovative Algorithms and Analysis
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Randomized Algorithms for Analysis and Control of Uncertain Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Intelligent Algorithms for Analysis and Control of Dynamical Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Construction and Data Analysis
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Design and Analysis of Algorithms
61,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Map Construction Algorithms
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Systems Analysis Tools for Better Health Care Delivery
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Technical Analysis Tools
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hierarchical Matrices: Algorithms and Analysis
181,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction of Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
CAD Tools and Algorithms for Product Design
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Convex Analysis and Minimization Algorithms
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Stochastic Simulation: Algorithms and Analysis
64,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Analysis of Algorithms
48,14 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Design and Analysis of Algorithms
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Transactional Memory.Foundations, Algorithms, Tools, and Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
DESIGN AND ANALYSIS OF ALGORITHMS
68,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Design and Analysis of Algorithms
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Gabor Analysis and Algorithms
171,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Methods of Program Analysis
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mathematics for the Analysis of Algorithms
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
42,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Methods of Program Analysis
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Convex Analysis and Minimization Algorithms
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
51,36 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Probabilistic Analysis of Algorithms
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Gabor Analysis and Algorithms
171,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Tools and Algorithms for Biological Systems
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Anaphora: Analysis, Algorithms and Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hierarchical Matrices: Algorithms and Analysis
181,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das Analysis Comparison Tool
61,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Models, Algorithms, Logics and Tools
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Construction Planning Tools and Techniques
49,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Map Construction Algorithms
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Design and Analysis of Algorithms
64,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Systems Analysis Tools for Better Health Care Delivery
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
GENETIC ALGORITHMS IN CONSTRUCTION MANAGEMENT
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Methods of Program Analysis
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Design and Analysis of Algorithms
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
CAD Tools and Algorithms for Product Design
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Analysis of Experimental Algorithms
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Convex Analysis and Minimization Algorithms
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Convex Analysis and Minimization Algorithms
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Analysis of Machining and Machine Tools
96,29 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Randomized Algorithms for Analysis and Control of Uncertain Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Algorithms for Sensor Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Implementation and analysis of DES algorithm
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Analysis and Design of Algorithms
76,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Intelligent Algorithms for Analysis and Control of Dynamical Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Randomized Algorithms for Analysis and Control of Uncertain Systems
64,15 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Tools and Algorithms for Biological Systems
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
An Algorithm for Crypto Analysis in MANET
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Construction and standardization of research tools
71,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tool for simulating reputation management algorithms
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Marketing. Analysis of tools and methods
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Produktbild: Tools and Algorithms for the Construction and Analysis of Systems

Sie sehen: Tools and Algorithms for the Construction and Analysis of Systems 42,79 €

In den Warenkorb