Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 857 Treffer.


Mathematics of Program Construction

13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 467 Seiten

Erscheinungsdatum: 20.10.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 23–26, 2020, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 181 Seiten

Erscheinungsdatum: 20.06.2020

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Intelligent Tutoring Systems

14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 523 Seiten

Erscheinungsdatum: 17.05.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 179 Seiten

Erscheinungsdatum: 27.01.2015

42,80 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computer Safety, Reliability, and Security

33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 356 Seiten

Erscheinungsdatum: 20.08.2014

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 185 Seiten

Erscheinungsdatum: 03.06.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Practical Aspects of Declarative Languages

21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 239 Seiten

Erscheinungsdatum: 19.12.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 610 Seiten

Erscheinungsdatum: 02.06.2015

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 528 Seiten

Erscheinungsdatum: 06.10.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Web Services – ICWS 2021

28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 113 Seiten

Erscheinungsdatum: 18.02.2022

58,84 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel