Hoppa till sidans huvudinnehåll

Thomas Jensen - Böcker

Visar alla böcker från författaren Thomas Jensen.
5 produkter
  • Nyhet

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings

AvYu-Fang Chen,Thomas Jensen m. fl.

Häftad, Engelska, 2026

1 059 kr

Skickas inom 10-15 vardagar

Java on Smart Cards: Programming and Security

First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers

AvIsabelle Attali,Thomas Jensen

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

Smart Card Programming and Security

International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings

AvIsabelle Attali,Thomas Jensen

Häftad, Engelska, 2001

719 kr

Skickas inom 10-15 vardagar

Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

AvSandrine Blazy,Thomas Jensen

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Planungsstabilität in der Material-Logistik

AvThomas Jensen

Häftad, Tyska, 1996

739 kr

Skickas inom 10-15 vardagar