בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
program functioning » program functionality, programs functional, project functioning
parallel complete » parallel complexity, parallel computer, parallel coupled
functioning using » function using, functions using, functioning among
complete program » computer program, complete problems
using https » using http, nursing https, aging https
1
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
מאת Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
יצא לאור 2012
תוכן הענינים: “....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
מאת Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
יצא לאור 2015
תוכן הענינים: “... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2011
תוכן הענינים: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2012
תוכן הענינים: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2014
תוכן הענינים: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
מאת Pace, Larry., Pace, Larry., Wiley, Joshua.
יצא לאור 2015
נושאים: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
מאת Bjørner, Dines., Bjørner, Dines.
יצא לאור 2006
תוכן הענינים: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
מאת Sharan, Kishori., Sharan, Kishori.
יצא לאור 2014
נושאים: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... -- A Complete and Compact Propositional Deontic Logic -- Verifying Lock-Freedom Using Well-Founded...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2015
תוכן הענינים: “... Concretization for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש