1
Argitaratua 2008
Aurkibidea: ... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
Testu osoa
Baliabide elektronikoa eBook
3
nork Horstmann, Cay S.
Argitaratua 2013
Gaiak: ...Java (Computer program language)....
Cover image
Liburua
4
Argitaratua 2008
Aurkibidea: ... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2007
Aurkibidea: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2006
Aurkibidea: ... Induction for Natural Language -- Stochastic Analysis of Lexical and Semantic Enhanced Structural Language...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2015
Aurkibidea: ...Information Theory in Genome Analysis -- Towards a Theory of Life -- An Excursion through...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2007
Aurkibidea: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2010
Aurkibidea: ... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2012
Aurkibidea: ... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2005
Aurkibidea: ... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2013
Aurkibidea: ... the condition of Random Price -- Electrophysiological Correlates of Processing Visual Target Stimuli during a...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2014
Aurkibidea: ... -- A new method for removing random-valued impulse noise -- CTR Prediction for DSP with Improved Cube...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2012
Aurkibidea: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
Testu osoa
Baliabide elektronikoa eBook