Ihre Suche ergab 1197 Treffer.
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Numerical Computations: Theory and Algorithms
Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Natural and Artificial Computation for Biomedicine and Neuroscience
International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verification and Evaluation of Computer and Communication Systems
13th International Conference, VECoS 2019, Porto, Portugal, October 7-9, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Algorithms and Discrete Applied Mathematics
6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
79,17 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Fundamentals of Computation Theory
23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
96,29 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Produktform: Buch / Einband - flex.(Paperback)
90,94 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
High Performance Computing for Computational Science – VECPAR 2018
13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage