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)
Automatentheorie und Logik Allemand 07.04.2011 Livre de poche Fr. 44.50 1-2 semaines (titre imprimé sur commande)
Powerful Arguments Anglais 05.03.2020 Livre Relié Fr. 254.40 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
Problemlösung Hypertext Allemand 01.01.1995 Livre Relié épuisé
PC-Pannenhelfer Spezial Allemand 01.01.2005 Livre de poche épuisé
Automated Construction of XSL-Templates Anglais 01.01.2008 Livre de poche épuisé