בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
generation computer » generation computers, decoration computer, integration computer
program function » programme function, programs functional, program foundation
https generation » status generation, its generation, arts generation
function https » functions https, fiction https
computer https » computers https, computing https, computer arts
generation computer » generation computers, decoration computer, integration computer
program function » programme function, programs functional, program foundation
https generation » status generation, its generation, arts generation
function https » functions https, fiction https
computer https » computers https, computing https, computer arts
1
יצא לאור 2010
תוכן הענינים:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
תוכן הענינים:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2012
תוכן הענינים:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2013
תוכן הענינים:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
תוכן הענינים:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2006
תוכן הענינים:
“... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
תוכן הענינים:
“... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2006
תוכן הענינים:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2007
תוכן הענינים:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2015
תוכן הענינים:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2013
תוכן הענינים:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
יצא לאור 2010
תוכן הענינים:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
יצא לאור 2014
תוכן הענינים:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
יצא לאור 2010
תוכן הענינים:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני