1
יצא לאור 2012
נושאים: ...Computer programming....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2015
תוכן הענינים: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2011
נושאים: ...Programming languages (Electronic computers)....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים: ... to Students with Mixed Interests -- An Initial Study Identifying Trends in Test Case Selection -- Providing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2007
תוכן הענינים: ... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2007
תוכן הענינים: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2005
תוכן הענינים: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים: ... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני