בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
function structures » functions structures, function structure, functional structures
programs computer » programming computer, forms computer
computer https » computers https, computing https, computer arts
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
programs computer » programming computer, forms computer
computer https » computers https, computing https, computer arts
https function » its function, sites function, ups function
1
2
יצא לאור 2006
תוכן הענינים:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2013
תוכן הענינים:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
יצא לאור 2013
תוכן הענינים:
“... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
8
יצא לאור 2007
תוכן הענינים:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
תוכן הענינים:
“...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2006
תוכן הענינים:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
יצא לאור 2007
תוכן הענינים:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2013
תוכן הענינים:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני