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

Programmierung | Softwareentwicklung

2  Treffer  für „Tinelli, Cesare“
Alle Filter löschen
    Pientka / Tinelli | Automated Deduction - CADE 29 | Buch | Sack Fachmedien

    Pientka / Tinelli Automated Deduction - CADE 29

    29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38498-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Tinelli | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems

    21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46680-3
    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