בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programming integration » programming integrating, programming international, programming information
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
integration based » interaction based
based tools » based tool, basic tools
programming integration » programming integrating, programming international, programming information
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
integration based » interaction based
based tools » based tool, basic tools
1
תוכן הענינים:
“... -- Integrating R with Other Phylogenetic and Functional Trait Analytical Software -- References -- Index....”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“... Architecture for Reconfigurable Computing -- Integrated Design Environment for Reconfigurable HPC...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
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...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2007
תוכן הענינים:
“...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2005
תוכן הענינים:
“... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים:
“... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2014
תוכן הענינים:
“... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2015
תוכן הענינים:
“... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2006
תוכן הענינים:
“... FOR MICROSTRUCTURE-BASED COMPUTATIONAL MICRO-MECHANICS OF HETEROGENEOUS MATERIALS -- A UNIFORM EXPRESSION...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2014
תוכן הענינים:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
תוכן הענינים:
“... -- Flexible Design – Planning of Supply Chain Networks -- Integrated Operations and Environmental Planning...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים:
“... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
יצא לאור 2007
תוכן הענינים:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני



