Ergebnisse filtern
Fachgebiet
Medium
  • 6
Erscheinungsjahr
  • 3
  • 2
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
Verlag
  • 1
  • 5
Preis
  • 5
  • 1
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6

Programmierung | Softwareentwicklung

6  Treffer  für „Sun, Jun“
Alle Filter löschen
    André / Sun | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45331-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Sun | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45328-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Sun / Bu | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Hermanns / Sun / Bu Dependable Software Engineering. Theories, Tools, and Applications

    9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8663-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Pihlajasaari / Sun | FM 2014: Formal Methods | Buch | Sack Fachmedien

    Jones / Pihlajasaari / Sun FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Lai / Wu | Particle Swarm Optimisation | Buch | Sack Fachmedien

    Sun / Lai / Wu Particle Swarm Optimisation

    Classical and Quantum Perspectives
    1. Auflage 2019
    Verlag: CRC Press
    ISBN: 978-0-367-38193-6
    Medium: Buch
    91,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guan / Katoen / Sun | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Guan / Katoen / Sun Dependable Software Engineering. Theories, Tools, and Applications

    5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-35539-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular