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