1
יצא לאור 2007
תוכן הענינים: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים: ... -- Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools -- Computational...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים: ... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2007
תוכן הענינים: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים: ... Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים: ...-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2014
תוכן הענינים: ... Window Functions for Speech Enhancement -- Methods for Estimation of Structural State of Alkali Feldspars...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים: ... – Computational Methods in Bioinformatics (CMB 2005) -- Protein Sequence Classification Through Relevant Sequence...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים: ... -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים: ... -- Recovering Repetitive Sub-functions from Observations -- Specification of Timed EFSM Fault Models in SDL...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2012
תוכן הענינים: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים: ... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים: ... in Software Development -- Towards a Tomographic Framework for Structured Observation of Communicative...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים: ... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני