Microelectromechanical Systems - Materials and Devices IV: Volume 1299 Eberl, Christoph de Boer, Maarten P. DelRio, Frank W. Gusev, Evgeni 9781107406834 MRS Proceedings Heftet 05.06.2014 Engelsk Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods Boer, Frank de Lakhnech, Yassine Roever, Willem-Paul de Hanneman, Ulrich Poel, Mannes Hooman, Jozef Zwiers, Job 9780521169325 Cambridge Tracts in Theoretical Computer Science Heftet 26.01.2012 Engelsk Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods Boer, Frank de Lakhnech, Yassine Roever, Willem-Paul de Hanneman, Ulrich Poel, Mannes Hooman, Jozef Zwiers, Job 9780521806084 Cambridge Tracts in Theoretical Computer Science Innbundet 26.11.2001 Engelsk Produseres på bestilling