Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4
- 4
- Erscheinungsjahr
-
- 2
- 4
- 2
- Autoren
-
- 3
- 3
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 3
- 3
- 3
- 3
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 2
- 1
- 1
- 3
- 1
- 3
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 2
- 3
- 3
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 3
- 3
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 3
- 1
- 1
- 3
- 1
- 8
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 3
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- Verlag
-
- 8
- Preis
-
- 8
- Sprachen
-
- 8
- Verfügbarkeit
-
- 8
- Katalog
-
- 8
Artikel pro Seite:
Sortierung nach:
-
Carvalho / Stolz Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-63882-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Dang / Stolz Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-17196-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Stolz / Dang Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-17195-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stolz / Carvalho Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-63881-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mann / Stolz Advances in Service-Oriented and Cloud Computing
Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-79090-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Stolz / Mann Advances in Service-Oriented and Cloud Computing
Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-79089-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pun / Stolz / Simao Theoretical Aspects of Computing – ICTAC 2020
17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-64276-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Pun / Simao / Stolz Theoretical Aspects of Computing - ICTAC 2020
17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-64275-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Artikel pro Seite:
Sortierung nach:
vorherige Seite
nächste Seite
Artikel pro Seite:
Sortierung nach:
Bitte ändern Sie das Passwort