Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Sudan, Madhu  Voir les notices liées en tant qu'auteur

Titre(s) : Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems [Texte électronique] / edited by Madhu Sudan

Publication : Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1995

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 1001

Note(s) : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Algorithmes  Voir les notices liées en tant que sujet
Complexité de calcul (informatique)  Voir les notices liées en tant que sujet
Analyse numérique  Voir les notices liées en tant que sujet
Codage  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540484851

Identifiant de la notice  : ark:/12148/cb446928834

Notice n° :  FRBNF44692883 (notice reprise d'un réservoir extérieur)