La lecture à portée de main
Suivre
Documents
CEE 2010 Registered CS Full Paper List
Ian Sommerville
Documents
University of Illinois at Urbana Champaign Fall
Documents
Language Theory And Automata
Administrator
Documents
Abstract geometrical computation a reversible conservative and rational based
Documents
Rapports de stage
Abstract geometrical computation a reversible conservative and rational based
16 pages
English
Documents
An overview of Structural Proof Theory and Computing
Dale Miller
Documents
Etudes supérieures
An overview of Structural Proof Theory and Computing
Dale Miller
28 pages
English
Documents
Under consideration for publication in Math Struct in Comp Science
Alan Perlis
Documents
Rapports de stage
Under consideration for publication in Math Struct in Comp Science
Alan Perlis
4 pages
English
Documents
Introduction Output Privacy: a Definitional Effort
Emmanuel Bresson
Documents
Education
Introduction Output Privacy: a Definitional Effort
Emmanuel Bresson
20 pages
English
Documents
Team Automata and Ordinal Register Machines
Ryan Bissell - Siders
Documents
Cours
Team Automata and Ordinal Register Machines
Ryan Bissell - Siders
27 pages
English
Documents
Abstract Geometrical Computation and Computable Analysis
Jérôme Durand-Lose
Documents
Cours
Abstract Geometrical Computation and Computable Analysis
Jérôme Durand-Lose
24 pages
English
Documents
Representing and reasoning with operational semantics
Documents
Rapports de stage
Representing and reasoning with operational semantics
17 pages
English
Documents
Managing heterogeneity in the study of neural oscillator dynamics
Laing, Zou Yu, Smith Ben, Kevrekidis
Documents
Savoirs
Managing heterogeneity in the study of neural oscillator dynamics
Laing, Zou Yu, Smith Ben, Kevrekidis
22 pages
English
Documents
A Measure of Space for Computing over the Reals
Paulin Jacobe
Documents
Rapports de stage
A Measure of Space for Computing over the Reals
Paulin Jacobe
10 pages
English
Documents
Complexity Classes
Documents
Efficient Protocols for Principal Eigenvec- tor Computation over ...
Louise Renshaw
Documents
Travaux de classe
Efficient Protocols for Principal Eigenvec- tor Computation over ...
Louise Renshaw
85 pages
English
Documents
Solving Q SAT in bounded space and time by
Documents
SIMULATION OF ADAPTIVE APPLICATIONS IN ...
Patrick Geddes
Documents
Cours
SIMULATION OF ADAPTIVE APPLICATIONS IN ...
Patrick Geddes
3 pages
English
Documents
GETCO'00 to appear
Jérôme Feret
Documents
Black hole computation: emulation with signal machines
Jérôme Durand-Lose
Documents
Cours
Black hole computation: emulation with signal machines
Jérôme Durand-Lose
42 pages
English
Documents
Light Logics for Polynomial Time Computations April 3th
Time Computations
Documents
Etudes supérieures
Light Logics for Polynomial Time Computations April 3th
Time Computations
58 pages
English
Documents
ENSMP 2nd 3rd year finite element course 22nd 26st of november
Thomas Dick
Documents
Cours
ENSMP 2nd 3rd year finite element course 22nd 26st of november
Thomas Dick
4 pages
English
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}