בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
structures » structure
texts » text, tests
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
structures » structure
texts » text, tests
1
יצא לאור 2005
תוכן הענינים:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים:
“... and Fast Algorithms -- Minimization, Learning, and Conformance Testing of Boolean Programs -- A Capability...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני