Biblioteca Digital

973 resultados para Computer Sciences

TR-2003006: Rijndael for Algebraists: An Expanded Version of Lenstra's Manuscript

Relevância:

60.00% 60.00%

Publicador:

TR-2003007: On the Complexity of the Reflected Logic of Proofs

Relevância:

60.00% 60.00%

Publicador:

TR-2003008: Learning and Applying Temporal Patterns through Experience

Relevância:

60.00% 60.00%

Publicador:

TR-2003009: A Hierarchical Projection Pursuit Clustering Algorithm

Relevância:

60.00% 60.00%

Publicador:

TR-2003010: A Semantic Proof of the Realizability of Modal Logic in the Logic of Proofs

Relevância:

60.00% 60.00%

Publicador:

TR-2003011: Data Modelling and Description: A Guide to Using the SYLModel Library

Relevância:

60.00% 60.00%

Publicador:

TR-2003012: A Semantics for the Logic of Proofs

Relevância:

60.00% 60.00%

Publicador:

TR-2003013: QR-Like Algorithms for Generalized Semiseparable Matrices

Relevância:

60.00% 60.00%

Publicador:

TR-2003014: A High-Performance Abstract Machine for Prolog and Its Extensions

Relevância:

60.00% 60.00%

Publicador:

TR-2003015: Two Counterexamples in the Logic of Dynamic Topological Systems

Relevância:

60.00% 60.00%

Publicador:

TR-2004001: Tableaux for the Logic of Proofs

Relevância:

60.00% 60.00%

Publicador:

TR-2004002: OOPN: An Object-Oriented Petri Nets and Its Integrated Development Environment

Relevância:

60.00% 60.00%

Publicador:

TR-2004003: Intuitionistic Logic with Classical Atoms

Relevância:

60.00% 60.00%

Publicador:

TR-2004004: Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant

Relevância:

60.00% 60.00%

Publicador:

TR-2004005: A Parallel Monte Carlo Simulation of Five-Dimensional Hyperspheres Using a WebComputing Framework

Relevância:

60.00% 60.00%

Publicador:

«
1
2
...
5
6
7
8
9
10
11
...
64
65
»