בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion based » recursion case, reception based, recursion focused
based tools » based tool, basic tools
1
יצא לאור 2008
תוכן הענינים:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
יצא לאור 2013
תוכן הענינים:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
יצא לאור 2005
תוכן הענינים:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2007
תוכן הענינים:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2013
תוכן הענינים:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2006
תוכן הענינים:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
תוכן הענינים:
“... -- Tendering and Vendor Selection -- Functional Specifications -- Design, Development, Testing and Acceptance...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים:
“... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“... Preferences Aggregation -- Ranked Modelling with Feature Selection Based on the CPL Criterion Functions -- A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני