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

Mathematik | Informatik

4  Treffer  für „Jensen, Thomas“
Alle Filter löschen
    Attali / Jensen | Java on Smart Cards: Programming and Security | Buch | Sack Fachmedien

    Attali / Jensen Java on Smart Cards: Programming and Security

    First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42167-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Attali / Jensen | Smart Card Programming and Security | Buch | Sack Fachmedien

    Attali / Jensen Smart Card Programming and Security

    International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42610-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blazy / Jensen | Static Analysis | Buch | Sack Fachmedien

    Blazy / Jensen Static Analysis

    22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48287-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Jensen / Lengál | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Chen / Jensen / Lengál Verification, Model Checking, and Abstract Interpretation

    27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-15699-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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