1
יצא לאור 2005
תוכן הענינים: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2015
תוכן הענינים: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ...-Unit Based Regular Expression Matching with Reconfigurable Function Unit -- Availability Analysis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני