#specification-informatique-

icon subthematics
THÈSE
Category

Documents

THÈSE

THÈSE Alternate Text
Category

Documents

Education

THÈSE

Book

262 pages

Flag

Français

Dependability Benchmark Definition: DBench prototypes
Category

Documents

Dependability Benchmark Definition: DBench prototypes

Dependability Benchmark Definition: DBench prototypes Alternate Text
Category

Documents

Savoirs

Dependability Benchmark Definition: DBench prototypes

Book

45 pages

Flag

English

Specification for the Extensible Configuration Checklist ...
Category

Documents

Specification for the Extensible Configuration Checklist ...

Neal Ziring, Stephen Quinn

Specification for the Extensible Configuration Checklist ... Alternate Text
Category

Documents

Savoirs

Specification for the Extensible Configuration Checklist ...

Neal Ziring, Stephen Quinn

Book

132 pages

Flag

English

IF Tutorial IF Tutorial
Category

Documents

IF Tutorial IF Tutorial

Iulian Ober

IF Tutorial IF Tutorial Alternate Text
Category

Documents

Savoirs

IF Tutorial IF Tutorial

Iulian Ober

Book

94 pages

Flag

English

ACSL Mini-Tutorial
Category

Documents

ACSL Mini-Tutorial

ACSL Mini-Tutorial Alternate Text
Category

Documents

Savoirs

ACSL Mini-Tutorial

Book

18 pages

Flag

English

Le contrôle statistique
Category

Documents

Le contrôle statistique

Jean-Marie Gogue

Le contrôle statistique Alternate Text
Category

Documents

Savoirs

Le contrôle statistique

Jean-Marie Gogue

Book

17 pages

Flag

Français

Chapter 3: Dependability Benchmark Real Time Kernels in ...
Category

Documents

Chapter 3: Dependability Benchmark Real Time Kernels in ...

Crouzet

Chapter 3: Dependability Benchmark Real Time Kernels in ... Alternate Text
Category

Documents

Savoirs

Chapter 3: Dependability Benchmark Real Time Kernels in ...

Crouzet

Book

32 pages

Flag

English

Exploring, Programming, and Prototyping MP-SoCs in 24 hours
Category

Documents

Exploring, Programming, and Prototyping MP-SoCs in 24 hours

Exploring, Programming, and Prototyping MP-SoCs in 24 hours Alternate Text
Category

Documents

Savoirs

Exploring, Programming, and Prototyping MP-SoCs in 24 hours

Book

15 pages

Flag

English

A list-machine benchmark for mechanized metatheory
Category

Documents

A list-machine benchmark for mechanized metatheory

A list-machine benchmark for mechanized metatheory Alternate Text
Category

Documents

Savoirs

A list-machine benchmark for mechanized metatheory

Book

37 pages

Flag

English

HLPSL Tutorial
Category

Documents

HLPSL Tutorial

HLPSL Tutorial Alternate Text
Category

Documents

Savoirs

HLPSL Tutorial

Book

53 pages

Flag

English

UNIVERSITÉ DE CORSE – PASQUALE PAOLI U.F.R. SCIENCES ET ...
Category

Documents

UNIVERSITÉ DE CORSE – PASQUALE PAOLI U.F.R. SCIENCES ET ...

UNIVERSITÉ DE CORSE – PASQUALE PAOLI U.F.R. SCIENCES ET ... Alternate Text
Category

Documents

Education

UNIVERSITÉ DE CORSE – PASQUALE PAOLI U.F.R. SCIENCES ET ...

Book

171 pages

Flag

Français

Introduction
Category

Documents

Introduction

Introduction Alternate Text
Category

Documents

Education

Introduction

Book

12 pages

Flag

Français

TPC BENCHMARK ™ E Standard Specification Version 1.5.1 April 2008
Category

Documents

TPC BENCHMARK ™ E Standard Specification Version 1.5.1 April 2008

TPC BENCHMARK ™ E Standard Specification Version 1.5.1 April 2008 Alternate Text
Category

Documents

Savoirs

TPC BENCHMARK ™ E Standard Specification Version 1.5.1 April 2008

Book

278 pages

Flag

English

Thèse présentée par pour obtenir le titre de DOCTEUR de ...
Category

Documents

Thèse présentée par pour obtenir le titre de DOCTEUR de ...

Thèse présentée par pour obtenir le titre de DOCTEUR de ... Alternate Text
Category

Documents

Education

Thèse présentée par pour obtenir le titre de DOCTEUR de ...

Book

164 pages

Flag

Catalan

THÈSE
Category

Documents

THÈSE

THÈSE Alternate Text
Category

Documents

Education

THÈSE

Book

244 pages

Flag

Français

Détermination des bornes de l activité de commutation des ...
Category

Documents

Détermination des bornes de l'activité de commutation des ...

Détermination des bornes de l activité de commutation des ... Alternate Text
Category

Documents

Education

Détermination des bornes de l'activité de commutation des ...

Book

303 pages

Flag

English

CIM Tutorial > Introduction
Category

Documents

CIM Tutorial > Introduction

CIM Tutorial > Introduction Alternate Text
Category

Documents

Savoirs

CIM Tutorial > Introduction

Book

105 pages

Flag

English

Working with XML
Category

Documents

Working with XML

Working with XML Alternate Text
Category

Documents

Savoirs

Working with XML

Book

494 pages

Flag

English

A JML Tutorial - Modular Specification and Verification of ...
Category

Documents

A JML Tutorial - Modular Specification and Verification of ...

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

A JML Tutorial - Modular Specification and Verification of ... Alternate Text
Category

Documents

Savoirs

A JML Tutorial - Modular Specification and Verification of ...

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

Book

232 pages

Flag

English

ÉTUDE COMPARATIVE ENTRE KOHA ET CDS/ISIS
Category

Documents

ÉTUDE COMPARATIVE ENTRE KOHA ET CDS/ISIS

Dcaissy

ÉTUDE COMPARATIVE ENTRE KOHA ET CDS/ISIS Alternate Text
Category

Documents

Savoirs

ÉTUDE COMPARATIVE ENTRE KOHA ET CDS/ISIS

Dcaissy

Book

29 pages

Flag

Français

these-Only_one
Category

Documents

These-Only_one

Sandrine Balbo

these-Only_one Alternate Text
Category

Documents

Education

These-Only_one

Sandrine Balbo

Book

298 pages

Flag

Français

  • 1
Alternate Text