בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
function structure » functional structure, functional structures, functional structural
program devices » program review, program designs, program divide
structure https » structures https
https function » its function, sites function, ups function
function structure » functional structure, functional structures, functional structural
program devices » program review, program designs, program divide
structure https » structures https
https function » its function, sites function, ups function
1
יצא לאור 2013
תוכן הענינים:
“... -- Probabilistic Reasoning with an Enzyme-Driven DNA Device -- Staged Self-assembly and Polyomino Context-Free...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2014
תוכן הענינים:
“...An Introduction to Smart Cards and RFIDs -- Embedded DSP Devices -- Microprocessors...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
יצא לאור 2013
תוכן הענינים:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“... Contribution to Programming (1946–1950) -- A Miniaturisation of Ramsey’s Theorem -- Graph Structures...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2015
תוכן הענינים:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים:
“... and Thermal Stress/Slip Functions for Scaled Device Design Phase -- Compact Modeling of Phase-Change Memories...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2006
תוכן הענינים:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
תוכן הענינים:
“...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“... by Integer Linear Programming -- An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem -- A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“...Expression -- Spectral Clustering Gene Ontology Terms to Group Genes by Function -- Dynamic De-Novo...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני