Ihre Suche nach „Taeha Types“ in „Informatik & EDV“
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Andreas Lochbihler
Fr. 47.90
Introducing Regular Expressions
Jörg Krause
Fr. 29.90
Angular for Material Design
Venkata Keerti Kotaru
Fr. 71.00
React
Oliver Zeigermann, Nils Hartmann
Fr. 39.90
Fr. 118.00
3D-Printed Interaction
Martin Schmitz
Fr. 69.90
Fr. 118.00
Fr. 59.00
DITA - the Topic-Based XML Standard
Sissi Closs
Fr. 83.00
Envisioning Holograms
M. Pell
Fr. 88.50
Fr. 59.00
Hacking Product Design
Tony Jing
Statt Fr. 53.90
Fr. 53.50
Fr. 118.00
Der Einsatz von Wikis im IT-Projektmanagement
Markus Böttger
Fr. 47.90
Pro TypeScript
Steve Fenton
Fr. 88.50
Soft Skills für Softwareentwickler
Uwe Vigenschow, Björn Schneider, Ines Meyrose
Fr. 42.90
Moderne Webanwendungen für .NET-Entwickler
Holger Schwichtenberg, Jörg Krause
Fr. 59.90
Fr. 59.00
Fr. 59.00
Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems
Sebastian Kleinschmager
Fr. 36.90
Extensional Constructs in Intensional Type Theory
Martin Hofmann
Fr. 165.50
Semantics of the Probabilistic Typed Lambda Calculus
Dirk Draheim
Fr. 132.00