בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
developing microsoft » exploring microsoft, designing microsoft
programs developing » projects developing, program development, process developing
select programs » selected programs, selecting programs, set programs
microsoft https » microscopy https, microsoft htc
integer select » integer seed, integer secret, integer set
developing microsoft » exploring microsoft, designing microsoft
programs developing » projects developing, program development, process developing
select programs » selected programs, selecting programs, set programs
microsoft https » microscopy https, microsoft htc
integer select » integer seed, integer secret, integer set
1
יצא לאור 2010
תוכן הענינים:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני