Résultat de la recherche

Extensional Constructs in Intensional Type Theory Anglais 25.07.2012 Livre de poche Fr. 178.00 1-2 semaines (titre imprimé sur commande)
A Holistic Approach to Process Optimisation Anglais 01.01.2022 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
A Holistic Approach to Process Optimisation Anglais 30.09.2021 Livre Relié Fr. 103.00 2-3 semaines (titre imprimé sur commande)
Powerful Arguments Anglais 05.03.2020 Livre Relié Fr. 253.20 min. 4 semaines (titre commandé spécialement)
Typed Lambda Calculi and Applications Anglais 27.05.2003 Livre de poche Fr. 70.00 6-7 semaines
Automata Theory and Logic Anglais Livre de poche Fr. 90.00 Paraît le 28.12.2025
Automated Construction of XSL-Templates Anglais 01.01.2008 Livre de poche épuisé