1
Argitaratua 2014
Aurkibidea: ...OpenSHMEM Implementations and Evaluations -- Designing a High Performance OpenSHMEM Implementation...
Testu osoa
Baliabide elektronikoa eBook
2
Aurkibidea: ...Preface to the Second Edition -- Preface to the First Edition -- Part I: Basic Object-Oriented...
Testu osoa
Baliabide elektronikoa eBook
3
Aurkibidea: ... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2005
Aurkibidea: ... -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2008
Aurkibidea: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2008
Aurkibidea: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2006
Aurkibidea: ... Programming -- Solving First-Order Constraints in the Theory of the Evaluated Trees -- Relaxation...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2008
Aurkibidea: ... Web Page -- On Sustaining Self -- Research Papers -- Huemul – A Smalltalk Implementation -- SBCL: A...
Testu osoa
Baliabide elektronikoa eBook
9
nork Ang, Clifford S., Ang, Clifford S.
Argitaratua 2015
Gaiak: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2014
Aurkibidea: ... -- Considerations and optimization of adaptive trial design in clinical development programs -- Optimal Cost...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2012
Aurkibidea: ... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2005
Aurkibidea: ...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...
Testu osoa
Baliabide elektronikoa eBook
13
nork Yee, Thomas W., Yee, Thomas W.
Argitaratua 2015
Gaiak: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2007
Aurkibidea: ... Generalisation Operators for First-Order Objects -- Efficient and Scalable Induction of Logic Programs Using a...
Testu osoa
Baliabide elektronikoa eBook
15
Gaiak: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
Testu osoa
Baliabide elektronikoa eBook
16
Gaiak: ...Operating Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I14045...
Testu osoa
Baliabide elektronikoa eBook
17
nork Liu, G.R., Liu, G.R., Gu, Y.T.
Argitaratua 2005
Gaiak: ...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...
Testu osoa
Baliabide elektronikoa eBook
18
nork Zhang, Yue., Zhang, Yue.
Argitaratua 2015
Aurkibidea: ...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...
Testu osoa
Baliabide elektronikoa eBook
19
nork Hofstedt, Petra., Hofstedt, Petra.
Argitaratua 2011
Aurkibidea: ...Basic Notions -- Programming Languages and Paradigms -- Constraints -- Multiparadigm Constraint...
Testu osoa
Baliabide elektronikoa eBook
20
Gaiak: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testu osoa
Baliabide elektronikoa eBook