בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computation programming » communication programming, computation programmatic, computing programming
structure computation » structure computations, structures computation, structure computational
programming recursion » programming decision, programming session, programming decisions
recursion case » recursion a, recursion free, recursion g.e
case struts » case stories, basic struts
computation programming » communication programming, computation programmatic, computing programming
structure computation » structure computations, structures computation, structure computational
programming recursion » programming decision, programming session, programming decisions
recursion case » recursion a, recursion free, recursion g.e
case struts » case stories, basic struts
1
יצא לאור 2006
תוכן הענינים:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2012
תוכן הענינים:
“... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים:
“... Performance Computing -- Trust Worthy Architecture for Mobile Ad Hoc Network Environment -- A Cross Layer...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני