Încărcări
Categories, Types, and Structures: An Introduction To Category Theory For The Working Computer Scientist 100% au considerat acest document utilSheaves, Cosheaves and Applications 0% au considerat acest document utilAbstraction Recovery For Scalable Static Binary Analysis 0% au considerat acest document utilCryptographic Security For Mobile Code 0% au considerat acest document util2011 Jacobs Rutten New 0% au considerat acest document utilAudin, M. - Topologie, Revêtements Et Groupe Fondamental 0% au considerat acest document utilAdvances in Cryptology - EUROCRYPT 2009 0% au considerat acest document utilIntegral Cryptanalysis (Extended Abstract) 0% au considerat acest document utilModels and Theories of Lambda Calculus, M. Giulio 0% au considerat acest document utilThe Mathematical Intelligencer Vol 31 No 1 Januray 2009 100% au considerat acest document utilFoundations of Quantitative and Real-Time Veritfication - Timed and Hybrid Automata 0% au considerat acest document util