#computation

Alternate Text
CEE 2010 Registered CS Full Paper List
Category

Documents

CEE 2010 Registered CS Full Paper List

Ian Sommerville

CEE 2010 Registered CS Full Paper List Alternate Text
Category

Documents

Cours

CEE 2010 Registered CS Full Paper List

Ian Sommerville

Book

16 pages

Flag

English

icon play Lire
icon play Infos
University of Illinois at Urbana Champaign Fall
Category

Documents

University of Illinois at Urbana Champaign Fall

University of Illinois at Urbana Champaign Fall Alternate Text
Category

Documents

Education

University of Illinois at Urbana Champaign Fall

Book

4 pages

Flag

English

icon play Lire
icon play Infos
Language Theory And Automata
Category

Documents

Language Theory And Automata

Administrator

Language Theory And Automata Alternate Text
Category

Documents

Travaux de classe

Language Theory And Automata

Administrator

Book

143 pages

Flag

English

icon play Lire
icon play Infos
Abstract geometrical computation a reversible conservative and rational based
Category

Documents

Abstract geometrical computation a reversible conservative and rational based

Abstract geometrical computation a reversible conservative and rational based Alternate Text
Category

Documents

Rapports de stage

Abstract geometrical computation a reversible conservative and rational based

Book

16 pages

Flag

English

icon play Lire
icon play Infos
An overview of Structural Proof Theory and Computing
Category

Documents

An overview of Structural Proof Theory and Computing

Dale Miller

An overview of Structural Proof Theory and Computing Alternate Text
Category

Documents

Etudes supérieures

An overview of Structural Proof Theory and Computing

Dale Miller

Book

28 pages

Flag

English

icon play Lire
icon play Infos
Under consideration for publication in Math Struct in Comp Science
Category

Documents

Under consideration for publication in Math Struct in Comp Science

Alan Perlis

Under consideration for publication in Math Struct in Comp Science Alternate Text
Category

Documents

Rapports de stage

Under consideration for publication in Math Struct in Comp Science

Alan Perlis

Book

4 pages

Flag

English

icon play Lire
icon play Infos
Introduction Output Privacy: a Definitional Effort
Category

Documents

Introduction Output Privacy: a Definitional Effort

Emmanuel Bresson

Introduction Output Privacy: a Definitional Effort Alternate Text
Category

Documents

Education

Introduction Output Privacy: a Definitional Effort

Emmanuel Bresson

Book

20 pages

Flag

English

icon play Lire
icon play Infos
Team Automata and Ordinal Register Machines
Category

Documents

Team Automata and Ordinal Register Machines

Ryan Bissell - Siders

Team Automata and Ordinal Register Machines Alternate Text
Category

Documents

Cours

Team Automata and Ordinal Register Machines

Ryan Bissell - Siders

Book

27 pages

Flag

English

icon play Lire
icon play Infos
Abstract Geometrical Computation and Computable Analysis
Category

Documents

Abstract Geometrical Computation and Computable Analysis

Jérôme Durand-Lose

Abstract Geometrical Computation and Computable Analysis Alternate Text
Category

Documents

Cours

Abstract Geometrical Computation and Computable Analysis

Jérôme Durand-Lose

Book

24 pages

Flag

English

icon play Lire
icon play Infos
Representing and reasoning with operational semantics
Category

Documents

Representing and reasoning with operational semantics

Representing and reasoning with operational semantics Alternate Text
Category

Documents

Rapports de stage

Representing and reasoning with operational semantics

Book

17 pages

Flag

English

icon play Lire
icon play Infos
Managing heterogeneity in the study of neural oscillator dynamics
Category

Documents

Managing heterogeneity in the study of neural oscillator dynamics

Laing, Zou Yu, Smith Ben, Kevrekidis

Managing heterogeneity in the study of neural oscillator dynamics Alternate Text
Category

Documents

Savoirs

Managing heterogeneity in the study of neural oscillator dynamics

Laing, Zou Yu, Smith Ben, Kevrekidis

Book

22 pages

Flag

English

icon play Lire
icon play Infos
A Measure of Space for Computing over the Reals
Category

Documents

A Measure of Space for Computing over the Reals

Paulin Jacobe

A Measure of Space for Computing over the Reals Alternate Text
Category

Documents

Rapports de stage

A Measure of Space for Computing over the Reals

Paulin Jacobe

Book

10 pages

Flag

English

icon play Lire
icon play Infos
Complexity Classes
Category

Documents

Complexity Classes

Complexity Classes Alternate Text
Category

Documents

Education

Complexity Classes

Book

4 pages

Flag

English

icon play Lire
icon play Infos
Efficient Protocols for Principal Eigenvec- tor Computation over ...
Category

Documents

Efficient Protocols for Principal Eigenvec- tor Computation over ...

Louise Renshaw

Efficient Protocols for Principal Eigenvec- tor Computation over ... Alternate Text
Category

Documents

Travaux de classe

Efficient Protocols for Principal Eigenvec- tor Computation over ...

Louise Renshaw

Book

85 pages

Flag

English

icon play Lire
icon play Infos
Solving Q SAT in bounded space and time by
Category

Documents

Solving Q SAT in bounded space and time by

Solving Q SAT in bounded space and time by Alternate Text
Category

Documents

Rapports de stage

Solving Q SAT in bounded space and time by

Book

10 pages

Flag

English

icon play Lire
icon play Infos
SIMULATION OF ADAPTIVE APPLICATIONS IN ...
Category

Documents

SIMULATION OF ADAPTIVE APPLICATIONS IN ...

Patrick Geddes

SIMULATION OF ADAPTIVE APPLICATIONS IN ... Alternate Text
Category

Documents

Cours

SIMULATION OF ADAPTIVE APPLICATIONS IN ...

Patrick Geddes

Book

3 pages

Flag

English

icon play Lire
icon play Infos
GETCO 00 to appear
Category

Documents

GETCO'00 to appear

Jérôme Feret

GETCO 00 to appear Alternate Text
Category

Documents

Education

GETCO'00 to appear

Jérôme Feret

Book

18 pages

Flag

English

icon play Lire
icon play Infos
Black hole computation: emulation with signal machines
Category

Documents

Black hole computation: emulation with signal machines

Jérôme Durand-Lose

Black hole computation: emulation with signal machines Alternate Text
Category

Documents

Cours

Black hole computation: emulation with signal machines

Jérôme Durand-Lose

Book

42 pages

Flag

English

icon play Lire
icon play Infos
Light Logics for Polynomial Time Computations April 3th
Category

Documents

Light Logics for Polynomial Time Computations April 3th

Time Computations

Light Logics for Polynomial Time Computations April 3th Alternate Text
Category

Documents

Etudes supérieures

Light Logics for Polynomial Time Computations April 3th

Time Computations

Book

58 pages

Flag

English

icon play Lire
icon play Infos
ENSMP 2nd 3rd year finite element course 22nd 26st of november
Category

Documents

ENSMP 2nd 3rd year finite element course 22nd 26st of november

Thomas Dick

ENSMP 2nd 3rd year finite element course 22nd 26st of november Alternate Text
Category

Documents

Cours

ENSMP 2nd 3rd year finite element course 22nd 26st of november

Thomas Dick

Book

4 pages

Flag

English

icon play Lire
icon play Infos
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Alternate Text