Algorithmes et Algorithmique: Deux méthodes expérimentales pour le calcul de p (Französisch)
- Neue Suche nach: Marneffe, P.-A.De
- Neue Suche nach: Marneffe, P.-A.De
In:
Technique et science informatiques
;
16
, 9
; 1211
;
1997
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Algorithmes et Algorithmique: Deux méthodes expérimentales pour le calcul de p
-
Beteiligte:Marneffe, P.-A.De ( Autor:in )
-
Erschienen in:Technique et science informatiques ; 16, 9 ; 1211
-
Verlag:
- Neue Suche nach: Ed. Hermès
-
Erscheinungsort:Paris
-
Erscheinungsdatum:1997
-
ISSN:
-
ZDBID:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Französisch
- Neue Suche nach: 250/3155
- Neue Suche nach: 54.00 / 54.00
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 16, Ausgabe 9
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1109
-
EditorialGaravel, Hubert et al. | 1997
- 1111
-
Optimized storage management for automatically parallelized programsLefebvre, Vincent et al. | 1997
- 1141
-
Generating efficient protocol code from an abstract specificationsCastelluccia, Claude et al. | 1997
- 1165
-
Formal description and verification of a cruise controlCastanet, Richard et al. | 1997
- 1187
-
Formal development for safety-critical software: Using the B-method by the french railwaysTaoull-Traverson, Souâd et al. | 1997
- 1211
-
Algorithmes et Algorithmique: Deux méthodes expérimentales pour le calcul de pMarneffe, P.-A.De et al. | 1997
- 1211
-
Algorithmes et Algorithmique: Deux methodes experimentales pour le calcul deDe Marneffe, P.-A. et al. | 1997