בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computation programming » communication programming, computation programmatic, computing programming
section computation » section computational, deduction computation, function computation
programming logic » programmable logic
logic array » logic arrays, logic carry
array a » array _
computation programming » communication programming, computation programmatic, computing programming
section computation » section computational, deduction computation, function computation
programming logic » programmable logic
logic array » logic arrays, logic carry
array a » array _
1
יצא לאור 2008
תוכן הענינים:
“... over Positive Temporal Templates -- A Logic of Singly Indexed Arrays -- Session 10. Modal and Temporal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
יצא לאור 2014
תוכן הענינים:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
תוכן הענינים:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
תוכן הענינים:
“...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“...Invited Program -- Embedded Systems as Datacenters -- Larrabee: A Many-Core Intel Architecture...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2013
תוכן הענינים:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2015
תוכן הענינים:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
תוכן הענינים:
“... Structures -- Iteration Structures -- Logic, Shifting, Rotating, and Stacks -- Procedures and Macros...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2013
תוכן הענינים:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2012
תוכן הענינים:
“... to Relational Logic and Back -- On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers -- ATLTest: A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“... Chains -- Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach -- Annotation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2014
תוכן הענינים:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2013
תוכן הענינים:
“... Home Automation System -- Design of a Smart Battery System for Laptop Computer -- A Novel Fuzzy Neural...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני