1
יצא לאור 2010
תוכן הענינים: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים: ... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2015
תוכן הענינים: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2011
תוכן הענינים: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2012
תוכן הענינים: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2014
תוכן הענינים: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2006
תוכן הענינים: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2015
תוכן הענינים: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
מאת Pickering, Robert., Pickering, Robert.
יצא לאור 2010
תוכן הענינים: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
מאת Karrenberg, Ralf., Karrenberg, Ralf.
יצא לאור 2015
נושאים: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
תוכן הענינים: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני