בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel assurance » parallel abstract, parallel accurate
assurance program » insurance program, assistance program
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel assurance » parallel abstract, parallel accurate
assurance program » insurance program, assistance program
function https » functions https, fiction https
1
יצא לאור 2010
תוכן הענינים:
“... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים:
“... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2014
תוכן הענינים:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2012
תוכן הענינים:
“...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים:
“..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים:
“... Community Core Members Based on Gene Expression Programming -- Posters -- Integration of a Cryptographic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני