בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel module » parallel modular, parallel model, parallel models
module programs » modular programs, module programme, model programs
function https » functions https, fiction https
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel module » parallel modular, parallel model, parallel models
module programs » modular programs, module programme, model programs
function https » functions https, fiction 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
יצא לאור 2014
תוכן הענינים:
“... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2012
תוכן הענינים:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים:
“... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני