1
יצא לאור 2005
תוכן הענינים: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים: ...Ubiquitous Computing Frameworks -- An Efficient Method to Create Business Level Events Using...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... to the occurrence of plasmodesmata -- 2.4 Functional aspects of the distribution and evolution of plasmodesmata...
Wiley Online Library
ספר אלקטרוני