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