1
יצא לאור 2007
תוכן הענינים: ...-by-Step Description of Lateral Interaction in Accumulative Computation -- Suitability of Edge Segment...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים: ...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים: ... and Possibilities of BDDs in State Space Search -- Interactive Dynamic Information Extraction -- Fusing DL Reasoning...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני