chaeh
audio

Editeur

chaeh

Publications

10:40Réglementer le kWh nucléaire une monstruosité économique
Category

Documents

10:40Réglementer le kWh nucléaire une monstruosité économique

Francois Levêque

10:40Réglementer le kWh nucléaire une monstruosité économique Alternate Text
Category

Documents

Etudes supérieures

10:40Réglementer le kWh nucléaire une monstruosité économique

Francois Levêque

Book

3 pages

Flag

Français

1Francesca Rapetti Universite de Nice Sophia Antipolis Laboratoire Jean Alexandre Dieudonne Parc Valrose Nice Cedex France
Category

Documents

1Francesca Rapetti Universite de Nice Sophia Antipolis Laboratoire Jean Alexandre Dieudonne Parc Valrose Nice Cedex France

Sophia - Antipolis Laboratoire

1Francesca Rapetti Universite de Nice Sophia Antipolis Laboratoire Jean Alexandre Dieudonne Parc Valrose Nice Cedex France Alternate Text
Category

Documents

Etudes supérieures

1Francesca Rapetti Universite de Nice Sophia Antipolis Laboratoire Jean Alexandre Dieudonne Parc Valrose Nice Cedex France

Sophia - Antipolis Laboratoire

Book

79 pages

Flag

1Generation and characterization of mid infrared femtosecond pulses
Category

Documents

1Generation and characterization of mid infrared femtosecond pulses

Gaultier Sylvain

1Generation and characterization of mid infrared femtosecond pulses Alternate Text
Category

Documents

Etudes supérieures

1Generation and characterization of mid infrared femtosecond pulses

Gaultier Sylvain

Book

13 pages

Flag

English

1Mines–ParisTech ES éléments finis S3733 S3735 novembre
Category

Documents

1Mines–ParisTech ES éléments finis S3733 S3735 novembre

Collectif

1Mines–ParisTech ES éléments finis S3733 S3735 novembre Alternate Text
Category

Documents

Etudes supérieures

1Mines–ParisTech ES éléments finis S3733 S3735 novembre

Collectif

Book

109 pages

Flag

1N° Mercredi janvier
Category

Documents

1N° Mercredi janvier

Paoadm

1N° Mercredi janvier Alternate Text
Category

Documents

Etudes supérieures

1N° Mercredi janvier

Paoadm

Book

4 pages

Flag

Français

1PENSIERO LAICO ED ASSOLUTI: I PARADIGMI DELLA SCIENZA
Category

Documents

1PENSIERO LAICO ED ASSOLUTI: I PARADIGMI DELLA SCIENZA

Giuseppe Longo

1PENSIERO LAICO ED ASSOLUTI: I PARADIGMI DELLA SCIENZA Alternate Text
Category

Documents

Etudes supérieures

1PENSIERO LAICO ED ASSOLUTI: I PARADIGMI DELLA SCIENZA

Giuseppe Longo

Book

7 pages

Flag

Italiano

A Brief Survey of Imprinting Options for Constrained Devices
Category

Documents

A Brief Survey of Imprinting Options for Constrained Devices

Eric Rescorla

A Brief Survey of Imprinting Options for Constrained Devices Alternate Text
Category

Documents

Etudes supérieures

A Brief Survey of Imprinting Options for Constrained Devices

Eric Rescorla

Book

4 pages

Flag

English

A Comparison of the Effect of Large and Small Dams on Cropland Productivity in South Africa
Category

Documents

A Comparison of the Effect of Large and Small Dams on Cropland Productivity in South Africa

Elodie Blanc

A Comparison of the Effect of Large and Small Dams on Cropland Productivity in South Africa Alternate Text
Category

Documents

Etudes supérieures

A Comparison of the Effect of Large and Small Dams on Cropland Productivity in South Africa

Elodie Blanc

Book

53 pages

Flag

English

A Focused Approach to Combining Logics
Category

Documents

A Focused Approach to Combining Logics

C Liang

A Focused Approach to Combining Logics Alternate Text
Category

Documents

Etudes supérieures

A Focused Approach to Combining Logics

C Liang

Book

33 pages

Flag

English

A Focused Sequent Calculus Framework for
Category

Documents

A Focused Sequent Calculus Framework for

Stéphane Lengrand

A Focused Sequent Calculus Framework for Alternate Text
Category

Documents

Etudes supérieures

A Focused Sequent Calculus Framework for

Stéphane Lengrand

Book

33 pages

Flag

English

A formal framework for specifying sequent calculus proof systems
Category

Documents

A formal framework for specifying sequent calculus proof systems

Elaine Pimentelb

A formal framework for specifying sequent calculus proof systems Alternate Text
Category

Documents

Etudes supérieures

A formal framework for specifying sequent calculus proof systems

Elaine Pimentelb

Book

35 pages

Flag

English

A Framework for Studying Complex Industrial Systems: An Example Based on the UMTS Infrastructure
Category

Documents

A Framework for Studying Complex Industrial Systems: An Example Based on the UMTS Infrastructure

Simon Bliudze

A Framework for Studying Complex Industrial Systems: An Example Based on the UMTS Infrastructure Alternate Text
Category

Documents

Etudes supérieures

A Framework for Studying Complex Industrial Systems: An Example Based on the UMTS Infrastructure

Simon Bliudze

Book

157 pages

Flag

English

A Generic Service Model for QoS Management Service Management in Next Generation Network
Category

Documents

A Generic Service Model for QoS Management Service Management in Next Generation Network

Tatiana Aubonnet

A Generic Service Model for QoS Management Service Management in Next Generation Network Alternate Text
Category

Documents

Etudes supérieures

A Generic Service Model for QoS Management Service Management in Next Generation Network

Tatiana Aubonnet

Book

7 pages

Flag

English

A Local System for Linear Logic
Category

Documents

A Local System for Linear Logic

Lutz Strassburger

A Local System for Linear Logic Alternate Text
Category

Documents

Etudes supérieures

A Local System for Linear Logic

Lutz Strassburger

Book

15 pages

Flag

English

A Logic for Reasoning with Higher Order Abstract Syntax
Category

Documents

A Logic for Reasoning with Higher Order Abstract Syntax

Raymond Mcdowell

A Logic for Reasoning with Higher Order Abstract Syntax Alternate Text
Category

Documents

Etudes supérieures

A Logic for Reasoning with Higher Order Abstract Syntax

Raymond Mcdowell

Book

12 pages

Flag

English

A neutral approach to proof and refutation in MALL
Category

Documents

A neutral approach to proof and refutation in MALL

Olivier Delande

A neutral approach to proof and refutation in MALL Alternate Text
Category

Documents

Etudes supérieures

A neutral approach to proof and refutation in MALL

Olivier Delande

Book

11 pages

Flag

English

a Par cos cos2 et lim
Category

Documents

A Par cos cos2 et lim

a Par cos cos2 et lim Alternate Text
Category

Documents

Annales d’examens et concours

A Par cos cos2 et lim

Book

3 pages

Flag

Français

A pedestrian introduction to quantum computing
Category

Documents

A pedestrian introduction to quantum computing

A pedestrian introduction to quantum computing Alternate Text
Category

Documents

Etudes supérieures

A pedestrian introduction to quantum computing

Book

55 pages

Flag

English

A Proof Theoretic Approach to the Static Analysis of Logic Programs Dale Miller
Category

Documents

A Proof Theoretic Approach to the Static Analysis of Logic Programs Dale Miller

Peter Andrews

A Proof Theoretic Approach to the Static Analysis of Logic Programs Dale Miller Alternate Text
Category

Documents

Etudes supérieures

A Proof Theoretic Approach to the Static Analysis of Logic Programs Dale Miller

Peter Andrews

Book

20 pages

Flag

English

A proof theoretical journey through programming model checking and
Category

Documents

A proof theoretical journey through programming model checking and

David Baelde

A proof theoretical journey through programming model checking and Alternate Text
Category

Documents

Etudes supérieures

A proof theoretical journey through programming model checking and

David Baelde

Book

26 pages

Flag

English

A Proof Theory for Generic Judgments: An extended abstract
Category

Documents

A Proof Theory for Generic Judgments: An extended abstract

Dale Miller

A Proof Theory for Generic Judgments: An extended abstract Alternate Text
Category

Documents

Etudes supérieures

A Proof Theory for Generic Judgments: An extended abstract

Dale Miller

Book

10 pages

Flag

English

A proposal for broad spectrum proof certificates
Category

Documents

A proposal for broad spectrum proof certificates

A proposal for broad spectrum proof certificates Alternate Text
Category

Documents

Etudes supérieures

A proposal for broad spectrum proof certificates

Book

16 pages

Flag

English

A Proposal for Broad Spectrum Proof Certificates
Category

Documents

A Proposal for Broad Spectrum Proof Certificates

Dale Miller

A Proposal for Broad Spectrum Proof Certificates Alternate Text
Category

Documents

Etudes supérieures

A Proposal for Broad Spectrum Proof Certificates

Dale Miller

Book

34 pages

Flag

English

A Search Model of Electronic Cash Cards
Category

Documents

A Search Model of Electronic Cash Cards

Sébastien Lotzy

A Search Model of Electronic Cash Cards Alternate Text
Category

Documents

Etudes supérieures

A Search Model of Electronic Cash Cards

Sébastien Lotzy

Book

15 pages

Flag

English

A short article for the
Category

Documents

A short article for the

Second Edition

A short article for the Alternate Text
Category

Documents

Etudes supérieures

A short article for the

Second Edition

Book

6 pages

Flag

English

A Survey of Linear Logic Programming Dale Miller
Category

Documents

A Survey of Linear Logic Programming Dale Miller

Howard Isomorphism

A Survey of Linear Logic Programming Dale Miller Alternate Text
Category

Documents

Etudes supérieures

A Survey of Linear Logic Programming Dale Miller

Howard Isomorphism

Book

8 pages

Flag

English

A System of Interaction and Structure IV: The Exponentials and Decomposition
Category

Documents

A System of Interaction and Structure IV: The Exponentials and Decomposition

Lutz Strassburger

A System of Interaction and Structure IV: The Exponentials and Decomposition Alternate Text
Category

Documents

Etudes supérieures

A System of Interaction and Structure IV: The Exponentials and Decomposition

Lutz Strassburger

Book

43 pages

Flag

English

A tA A Association Italienne d Aix et du P ys d Aix
Category

Documents

A tA A Association Italienne d'Aix et du P ys d'Aix

A tA A Association Italienne d Aix et du P ys d Aix Alternate Text
Category

Documents

Annales d’examens et concours

A tA A Association Italienne d'Aix et du P ys d'Aix

Book

8 pages

Flag

Français

Abstract Interpretation and Application to Logic Programs
Category

Documents

Abstract Interpretation and Application to Logic Programs

Patrick Cousot

Abstract Interpretation and Application to Logic Programs Alternate Text
Category

Documents

Etudes supérieures

Abstract Interpretation and Application to Logic Programs

Patrick Cousot

Book

65 pages

Flag

English

Abstract interpretation of cellular signalling networks
Category

Documents

Abstract interpretation of cellular signalling networks

Vincent Danos1

Abstract interpretation of cellular signalling networks Alternate Text
Category

Documents

Etudes supérieures

Abstract interpretation of cellular signalling networks

Vincent Danos1

Book

15 pages

Flag

English

Alternate Text