בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
function modulation » junction modulation, functional modulation, function formulation
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
program function » programme function, programs functional, program foundation
modulation https » education https, simulation https, manipulation https
function modulation » junction modulation, functional modulation, function formulation
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
program function » programme function, programs functional, program foundation
modulation https » education https, simulation https, manipulation https
1
יצא לאור 2010
תוכן הענינים:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
תוכן הענינים:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
תוכן הענינים:
“... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
תוכן הענינים:
“... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
יצא לאור 2013
תוכן הענינים:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
נושאים:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
תוכן הענינים:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
מאת Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
יצא לאור 2010
תוכן הענינים:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”יצא לאור 2010
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2015
תוכן הענינים:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2015
תוכן הענינים:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2006
תוכן הענינים:
“... Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים:
“... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2014
תוכן הענינים:
“... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני