בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computing mechanising » computing mechanism, computing meaning, computing mechanics
computing mechanisms » computing mechanism, computing mechanics, conducting mechanisms
electronics organic » electronic organs, optoelectronics organic, electronics basic
electronic organ » electronic age
computing mechanising » computing mechanism, computing meaning, computing mechanics
computing mechanisms » computing mechanism, computing mechanics, conducting mechanisms
electronics organic » electronic organs, optoelectronics organic, electronics basic
electronic organ » electronic age
1
יצא לאור 2012
תוכן הענינים:
“...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2013
תוכן הענינים:
“... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני