Biblioteca Digital

16 resultados para 2003-2012, Jan and Feb, std

em Department of Computer Science E-Repository - King's College London, Strand, London

On the implementation of compact DAWG's

Relevância:

100.00% 100.00%

Publicador:

On Identifying and Managing Relationships in Multi-Agent Systems

Relevância:

100.00% 100.00%

Publicador:

Interaction nets with McCarthy's amb: Properties and Applications

Relevância:

100.00% 100.00%

Publicador:

Normalization, Approximation and Semantics for Combinator Systems

Relevância:

100.00% 100.00%

Publicador:

Architectural Configuration with EDOC and .NET Component Services.

Relevância:

100.00% 100.00%

Publicador:

Architectural Configuration with EDOC and .NET Component Services

Relevância:

100.00% 100.00%

Publicador:

The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning

Relevância:

100.00% 100.00%

Publicador:

Using the box to think outside it - creative scepticism and computer decision support in criminal investigations

Relevância:

100.00% 100.00%

Publicador:

Waiting time and complexity for matching patterns with automata

Relevância:

100.00% 100.00%

Publicador:

Occurrence and substring heuristics for delta-matching

Relevância:

100.00% 100.00%

Publicador:

Speeding-up Hirschberg and Hunt-Szymanski LCS algorithms

Relevância:

100.00% 100.00%

Publicador:

A basis of tiling motifs for generating repeated patterns and its complexity for higher quorum

Relevância:

100.00% 100.00%

Publicador:

Combinatorial Chemistry and the Grid

Relevância:

100.00% 100.00%

Publicador:

Autonomy: Variable and Generative

Relevância:

100.00% 100.00%

Publicador:

Formal Specification and Verification of Railway Systems using UML

Relevância:

100.00% 100.00%

Publicador:

«
1
2
»