בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
using theory » nursing theory, queuing theory, testing theory
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
using theory » nursing theory, queuing theory, testing theory
1
יצא לאור 2008
תוכן הענינים:
“... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים:
“... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
תוכן הענינים:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים:
“... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים:
“... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים:
“... -- Clique-Width for Four-Vertex Forbidden Subgraphs -- Computational Game Theory -- On the Complexity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
8
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
יצא לאור 2013
תוכן הענינים:
“... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים:
“... Communication Networks Using Evolutionary Algorithm -- A New GA – Based and Graph Theory Supported Distribution...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2006
תוכן הענינים:
“...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
תוכן הענינים:
“...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2005
תוכן הענינים:
“... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2007
תוכן הענינים:
“...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים:
“... Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2007
תוכן הענינים:
“... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2008
תוכן הענינים:
“... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים:
“...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים:
“... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני