1
Опубликовано 2005
Оглавление: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2007
Оглавление: ...Ubiquitous Computing Frameworks -- An Efficient Method to Create Business Level Events Using...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2005
Оглавление: ... to the occurrence of plasmodesmata -- 2.4 Functional aspects of the distribution and evolution of plasmodesmata...
Wiley Online Library
eКнига