|
Searching ... |
0 % | |||
Program Logics for Certified Compilers(1st Edition) by Andrew W. Appel, Aquinas Hobor, Robert Dockins, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy Hardcover, 472 Pages, Published 2014 by Cambridge University Press ISBN-13: 978-1-107-04801-0, ISBN: 1-107-04801-X |
Conference record of POPL 2004 the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Venice, Italy, January 14-16, 2004 by Xavier Leroy Paperback, 353 Pages, Published 2004 by Assn For Computing Machinery ISBN-13: 978-1-58113-729-3, ISBN: 1-58113-729-X |
Inventaire Photographique Et Genealogique de Trentemoult Et Vertou by Xavier Leroy 182 Pages, Published 2017 by Books On Demand ISBN-13: 978-2-322-08557-6, ISBN: 2-322-08557-X |
Adolf Hitler Le dictateur à l'origine de la folie nazie (Grandes Personnalités(14)) (French Edition) by Xavier Leroy, Thomas Jacquemin, 50 Minutes Paperback, 82 Pages, Published 2015 by 50Minutes.Fr ISBN-13: 978-2-8062-6439-8, ISBN: 2-8062-6439-1 |
Types in Compilation(1998th Edition) Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings (Lecture Notes in Computer Science) by Xavier Leroy, Atsushi Ohori Paperback, 297 Pages, Published 2008 by Springer ISBN-13: 978-3-540-64925-0, ISBN: 3-540-64925-5 |
Manuel de référence du langage Caml by Xavier Leroy, Pierre Weis Paperback, 166 Pages, Published 1999 by Dunod ISBN-13: 978-2-7296-0492-9, ISBN: 2-7296-0492-8 |
The Flying Publisher Guide to Les Tumeurs Rénales by Maximilien Goris Gbenou, Aude Fléchon, Mamadou Baldé, Helen Boyle, Xavier Leroy, Pascal Romy, Nathalie Rioux-Leclercq Paperback, 106 Pages, Published 2012 by Bernd Kamps Steinhäuser Verlag ISBN-13: 978-3-942687-10-2, ISBN: 3-942687-10-0 |
Le langage caml - deuxième édition by Pierre Weis, Xavier Leroy Paperback, 370 Pages, Published 1999 by Dunod ISBN-13: 978-2-10-004383-5, ISBN: 2-10-004383-8 |
Pathologie tumorale renale Diagnostic et pronostic anatomopathologique et moleculaire des tumeurs renales by Xavier Leroy, Nathalie Rioux-Leclercq, Sébastien Aubert, Eva Compérat, Sophie Lejeune, Aurore L'herminé-Coulomb, Aurore L'herminé-Coulo Paperback, 272 Pages, Published 2014 by Elsevier Masson ISBN-13: 978-2-294-73737-4, ISBN: 2-294-73737-7 |
Déchiffrement by Dominique Charpin et Xavier Leroy Softcover, Published 2023 by Odile Jacob ISBN-13: 978-2-415-00687-7, ISBN: 2-415-00687-4 |
Le langage Caml by Pierre Weis et Xavier Leroy Published 1997 by Intereditions ISBN-13: 978-2-7296-0639-8, ISBN: 2-7296-0639-4 |
Vie quotidienne des marins nantais au XIXème by Xavier Leroy Paperback, 216 Pages, Published 2015 by Books On Demand ISBN-13: 978-2-322-04149-7, ISBN: 2-322-04149-1 |
Pathologie tumorale rénale Diagnostic et pronostic anatomopathologique et moléculaire des tumeurs rénales by Xavier Leroy, Nathalie Rioux-Leclercq, Sébastien Aubert, Eva Compérat, Sophie Lejeune, Aurore L'hermine Coulomb Paperback, 272 Pages, Published 2014 by Elsevier Masson ISBN-13: 978-2-294-73736-7, ISBN: 2-294-73736-9 |
Le Logiciel entre l'esprit et la matière by Xavier Leroy 80 Pages, Published 2019 by Fayard ISBN-13: 978-2-213-71462-2, ISBN: 2-213-71462-2 |
Le Logiciel entre l'esprit et la matière (Collège de France) (French Edition) by Xavier Leroy Paperback, 80 Pages, Published 2019 by Fayard ISBN-13: 978-2-213-71241-3, ISBN: 2-213-71241-7 |
Adolf Hitler The Emergence Of Nazism by 50 Minutes, Xavier Leroy 52 Pages, Published 2017 by 50Minutes.Com ISBN-13: 978-2-8062-8294-1, ISBN: 2-8062-8294-2 |
Le langage Caml 1er et 2e cycles, Ecoles d'ingénieurs by Pierre Weis, Xavier Leroy 416 Pages, Published 2005 by Dunod ISBN-13: 978-2-10-049213-8, ISBN: 2-10-049213-6 |
Plus est en vous driemaal. Manpowerplanning in de zorgsector in Brusse(1st Edition) by Griet Cattaert, Jozef Pacolet, VRonique Coudron, Micheline Gobert, Xavier Leroy Paperback, Published 2005 by Hiva - Ku Leuven - Onderzoeksinstituut Voor Arbeid En Samenleving, Ku Leuven ISBN-13: 978-90-5550-400-8, ISBN: 90-5550-400-9 |
Lecture Notes in Computer Science Ser. Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings by Xavier Leroy, Atsushi Ohori 308 Pages, Published 2003 by Springer ISBN-13: 978-3-540-68308-7, ISBN: 3-540-68308-9 |
The CAML LIGHT system release 0.5, documentation and user's manual by Xavier Leroy, Michel Mauny 287 Pages, Published 1992 ISBN-13: 978-2-7261-0748-5, ISBN: 2-7261-0748-6 |
Xavier Leroy