בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
program functionality » protein functionality, programs functional, supra functionality
parallel foundations » parallel foliations, particles foundations, parallel connections
foundations program » foundation program, foundations problems, foundations pastoral
functionality from » functionals from, functionality do, functionality rbd
from https » from hts
program functionality » protein functionality, programs functional, supra functionality
parallel foundations » parallel foliations, particles foundations, parallel connections
foundations program » foundation program, foundations problems, foundations pastoral
functionality from » functionals from, functionality do, functionality rbd
from https » from hts
1
יצא לאור 2005
תוכן הענינים:
“... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים:
“... of Fuzzy Relations -- Efficient Learning of Pseudo-Boolean Functions from Limited Training Data...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2015
תוכן הענינים:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2013
תוכן הענינים:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
תוכן הענינים:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
תוכן הענינים:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
תוכן הענינים:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2006
תוכן הענינים:
“... with Imperfect Information -- Relating Two Standard Notions of Secrecy -- Jump from Parallel to Sequential Proofs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2013
תוכן הענינים:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
נושאים:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2015
תוכן הענינים:
“... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים:
“... Formal Proof of the Irrationality of ζ(3) -- From Operational Models to Information Theory; Side Channels...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2013
תוכן הענינים:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני