Thomas Jensen – författare

Visar alla böcker från författaren Thomas Jensen.

5 produkter

1. 

   Verification, Model Checking, and Abstract Interpretation

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

   Av Yu-Fang Chen, Thomas Jensen m. fl.

   Häftad, 2026

   1089 kr

   Lägg i varukorg

2. 

   Java on Smart Cards: Programming and Security

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

   Av Isabelle Attali, Thomas Jensen

   Häftad, 2001

   739 kr

   Lägg i varukorg

3. 

   Smart Card Programming and Security

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

   Av Isabelle Attali, Thomas Jensen

   Häftad, 2001

   739 kr

   Lägg i varukorg

4. 

   Static Analysis

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

   Av Sandrine Blazy, Thomas Jensen

   Häftad, 2015

   739 kr

   Lägg i varukorg

5. 

   Planungsstabilität in der Material-Logistik

   Av Thomas Jensen

   Häftad, 1996

   759 kr

   Lägg i varukorg