Liknande böcker

High Performance Computing for Computational Science -- VECPAR 2014
Bok av Michel Dayde
Compiler Construction : 20th International Conference, CC 2011, Held as...
Bok av Jens. Knoop
Practical Aspects of Declarative Languages
Bok
Formal Modeling and Analysis of Timed Systems
Bok
Objects, Models, Components, Patterns
Bok av Jan. Vitek
Network and Parallel Computing : 13th IFIP WG 10.3 International Confere...
Bok av Guang R Gao
Experimental Algorithms : 9th International Symposium, SEA 2010, Ischia...
Bok av Paola. Festa
Cryptographic Hardware and Embedded Systems -- CHES 2012
Bok av Emmanuel. Prouff

A Polynomial Translation of Mobile Ambients into Safe Petri Nets

Bok av Susanne Gobel