Calcul formel / James H. Davenport

Public ISBD Titre : Calcul formel : systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : James H. Davenport, Auteur ; Yvon Siret, Auteur ; Évelyne Tournier, Auteur Editeur : Paris : Masson Année de publication : 1993 Collection : Etudes et recherches en informatique Importance : X-275 p. Présentation : graph., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-84200-9 Note générale : Bibliogr. p. 255-269. Index Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Calcul formel  Algorithmes Calcul formel : systèmes et algorithmes de manipulations algébriques [texte imprimé] / James H. Davenport, Auteur ; Yvon Siret, Auteur ; Évelyne Tournier, Auteur . - Paris : Masson, 1993 . - X-275 p. : graph., couv. ill. ; 25 cm. - (Etudes et recherches en informatique) . ISBN : 978-2-225-84200-9 Bibliogr. p. 255-269. Index Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Calcul formel  Algorithmes

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.76.04	INF 07.76.04	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
511.3-6/2	511.3-6/2	Livre externe	BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE	Mathématique (TEC)	Disponible
511.3-8-1	511.3-8-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-8-2	511.3-8-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-8-3	511.3-8-3	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

Lambda-calcul / Jean-Louis Krivine

Public ISBD Titre : Lambda-calcul : types et modèles Type de document : texte imprimé Auteurs : Jean-Louis Krivine, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : Etudes et recherches en informatique Importance : VIII-176 p. Présentation : couv. ill. en coul. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-82091-5 Note générale : Bibliogr. p. 167-170. Index Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Lambda-calcul  Logique mathématique  Logique combinatoire Lambda-calcul : types et modèles [texte imprimé] / Jean-Louis Krivine, Auteur . - Paris : Masson, 1990 . - VIII-176 p. : couv. ill. en coul. ; 25 cm.. - (Etudes et recherches en informatique) . ISBN : 978-2-225-82091-5 Bibliogr. p. 167-170. Index Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Lambda-calcul  Logique mathématique  Logique combinatoire

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.64.03	INF 07.64.03	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
511.3-7/2	511.3-7/2	Livre externe	BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE	Mathématique (TEC)	Disponible
511.3-7/5	511.3-7/5	Livre externe	BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE	Mathématique (TEC)	Disponible
511.3-9-1	511.3-9-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
511.3-9-2	511.3-9-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-9-3	511.3-9-3	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

Logique temporelle / Eric Audureau

Public ISBD Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Auteurs : Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : Etudes et recherches en informatique Importance : 234 p Présentation : ill., couv. ill Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81967-4 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Programmation logique  Programmation parallèle (informatique) Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] / Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur . - Paris : Masson, 1990 . - 234 p : ill., couv. ill ; 25 cm. - (Etudes et recherches en informatique) . ISBN : 978-2-225-81967-4 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Programmation logique  Programmation parallèle (informatique)

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.60.02	INF 07.60.02	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
511.3-10-1	511.3-10-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-10-2	511.3-10-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

Problèmes d'ordonnancement / Jacques Carlier

Public ISBD Titre : Problèmes d'ordonnancement : modélisation, complexité, algorithmes Type de document : texte imprimé Auteurs : Jacques Carlier, Auteur ; Philippe Chrétienne, Auteur ; Claude Girault, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1987 Collection : Etudes et recherches en informatique Importance : 326 p. Présentation : graph., couv. ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81275-0 Note générale : Bibliogr. p. 314-321. Index Langues : Français Catégories : MATH Mots-clés : Ordonnancement (gestion) -- Informatique Voir les notices liées en tant que sujet Problèmes d'ordonnancement : modélisation, complexité, algorithmes [texte imprimé] / Jacques Carlier, Auteur ; Philippe Chrétienne, Auteur ; Claude Girault, Préfacier, etc. . - Paris : Masson, 1987 . - 326 p. : graph., couv. ill. ; 24 cm.. - (Etudes et recherches en informatique) . ISBN : 978-2-225-81275-0 Bibliogr. p. 314-321. Index Langues : Français Catégories : MATH Mots-clés : Ordonnancement (gestion) -- Informatique Voir les notices liées en tant que sujet

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.58.01	INF 07.58.01	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
519.7.01-01	519.7.01-01	Livre d'enseignant	SALLE DES ENSEIGNANTS (bibliothéque d'économie)	Mathématiques (SEE)	Disponible

Systèmes de transitions finis et sémantique des processus communicants / André Arnold

Public ISBD Titre : Systèmes de transitions finis et sémantique des processus communicants Type de document : texte imprimé Auteurs : André Arnold, Auteur Editeur : Paris : Masson Année de publication : 1992 Collection : Etudes et recherches en informatique Importance : 1 vol. (XII-196 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-82746-4 Langues : Français Mots-clés : Langages de programmation  Langages formels  Parallélisme (informatique)  Machines séquentielles  Automates mathématiques Systèmes de transitions finis et sémantique des processus communicants [texte imprimé] / André Arnold, Auteur . - Paris : Masson, 1992 . - 1 vol. (XII-196 p.) : ill. ; 25 cm. - (Etudes et recherches en informatique) . ISBN : 978-2-225-82746-4 Langues : Français Mots-clés : Langages de programmation  Langages formels  Parallélisme (informatique)  Machines séquentielles  Automates mathématiques

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.63.03	INF 07.63.03	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
004.3-2-1	004.3-2-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
004.3-2-2	004.3-2-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

Utilisation des langages objets pour le prototypage / Philippe Krief

Permalink

---

page 1/1