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