- 2 402 202 книги
- Поиск
Computational Methods in Systems Biology
Автор: Pierpaolo Degano, Автор: Roberto GorrieriКатегория: Математика, Вычислительная математика
Размер книги: 6.64 Mb
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Computer Science Security and Cryptology)
Автор: Pierpaolo Degano, Автор: Joshua D. GuttmanКатегория: Компьютеры
Размер книги: 3.05 Mb
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 (Lecture Notes in Computer Science Lecture Notes in Bioinformatics)
Автор: Pierpaolo Degano, Автор: Roberto GorrieriКатегория: Компьютеры
Размер книги: 7.42 Mb
Formal Aspects in Security and Trust (Lecture Notes in Computer Science, 5983)
Автор: Pierpaolo Degano, Автор: Joshua D. GuttmanКатегория: Компьютеры
Размер книги: 3.48 Mb
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science Security and Cryptology)
Автор: Pierpaolo Degano, Автор: Luca ViganòКатегория: Компьютеры
Размер книги: 2.60 Mb
Formal Aspects of Security and Trust, 7th International Workshop, FAST 2010 Pisa, Italy, September 16-17, 2010 Revised
Автор: Pierpaolo Degano, Автор: Sandro Etalle, Автор: Joshua Guttman
Размер книги: 2.82 Mb
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)
Автор: Pierpaolo Degano, Автор: Luca Viganò
Размер книги: 3.16 Mb
Programming Languages and Systems, 12 conf., ESOP 2003
Автор: Pierpaolo DeganoКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.64 Mb
Automata, Languages and Programming, 24 conf., ICALP97
Автор: Pierpaolo Degano, Автор: Roberto Gorrieri, Автор: Alberto Marchetti-SpaccamelaКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 10.31 Mb
Concurrency, Graphs and Models
Автор: Pierpaolo Degano, Автор: Rocco de Nicola, Автор: José MeseguerКатегория: CsLn_
Размер книги: 10.15 Mb
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Автор: Pierpaolo Degano, Автор: Rocco de Nicola, Автор: José MeseguerКатегория: Computer Science, Computer Science
Размер книги: 24.22 Mb
