1
יצא לאור 2007
תוכן הענינים: ... Complete Bipartite Subgraphs -- Safely Composing Security Protocols -- Computationally Sound Typing for Non...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים: ... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2012
תוכן הענינים: ...-core Processors --  Assessing Software Interference Management When Modifying Safety-Related Software...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני