Hoppa till sidans huvudinnehåll

Thomas Jensen – författare

Visar alla böcker från författaren Thomas Jensen.
5 produkter
Yu-Fang Chen, Thomas Jensen, Ondřej Lengál - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 16417 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

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

AvYu-Fang Chen,Thomas Jensenm. fl.

Häftad, Engelska, 2026

1 079 kr

Skickas inom 10-15 vardagar

Isabelle Attali, Thomas Jensen - Java on Smart Cards: Programming and Security, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Isabelle Attali, Thomas Jensen - Smart Card Programming and Security, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Sandrine Blazy, Thomas Jensen - Static Analysis, Häftad

Static Analysis

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

AvSandrine Blazy,Thomas Jensen

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Thomas Jensen - Planungsstabilität in der Material-Logistik, Häftad

Planungsstabilität in der Material-Logistik

AvThomas Jensen

Häftad, Tyska, 1996

749 kr

Skickas inom 10-15 vardagar