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

Av Yu-Fang Chen, Thomas Jensen m. fl

Häftad, Engelska, 2026

1 509 kr

Kommande

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, Engelska, 2001

729 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

Av Isabelle Attali, Thomas Jensen

Häftad, Engelska, 2001

729 kr

Skickas inom 10-15 vardagar

Static Analysis

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

Av Sandrine Blazy, Thomas Jensen

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar
Del 10 - Schriften zur Quantitativen Betriebswirtschaftslehre

Planungsstabilität in der Material-Logistik

Av Thomas Jensen

Häftad, Tyska, 1996

749 kr

Skickas inom 10-15 vardagar