1
Argitaratua 2010
Aurkibidea: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2014
Aurkibidea: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2005
Aurkibidea: ... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2013
Aurkibidea: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2007
Aurkibidea: ... on the Multistage Markov Process -- Performance Analysis and Evaluation of Digital Connection Oriented Internet...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2010
Aurkibidea: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2007
Aurkibidea: ... -- Constant-Time Record Management in a Java Embedded Small Device -- Agent Based Simulation -- Crisis...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2015
Aurkibidea: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
Testu osoa
Baliabide elektronikoa eBook