Liste des notices ISBN, ISSN... Titre Auteur Cote Nbr. Exp. Equations ...
3.4.5 - Propriétés logiques de la conditionnelle alternative. 3.4.6 - Exercice. 3.5 -
Dijkstra : Plus faible précondition : wp(S,Q). 3.5.1 - Introduction ;. 3.5.2 - Définition
: 3.5.3 - Axiome de l'affectation. 3.5.4 - Règle de la composition séquentielle. 3.5.
5 - Règle de conséquence (cons.) 3.5.6 - Règle de conjonction (conj.).
Part of the document
Liste des notices
|ISBN, ISSN...|Titre |Auteur |Cote |Nbr|
| | | | |. |
| | | | |Exp|
| | | | |. |
| |Equations |Bebbouchi , |515.3 Beb. 85. |20 |
| |differentielles |Rachid | | |
| |ordinaires existence | | | |
| |unicite et anayse non | | | |
| |classique | | | |
| |Cours de mathématiques |Smirnov, V. |510 Smi. |15 |
| |suppérieurs : tome 1 | | | |
| |Calcul différentiel et |Piskounov.N |515.4 Pis. T2. |11 |
| |intégral : tome 2 | | | |
| |Introduction a la |Lampbert, |514 Lam. |61 |
| |topologie generale |Gerard | | |
| |Analyse non standard et|Diener, M. |515 Die. 1985. |16 |
| |representation du reel | | | |
| |Chapitres |Arnold , V |515.3 Arn. |20 |
| |supplémentaires de la | | | |
| |théorie des équations | | | |
| |différentielles | | | |
| |ordinaires | | | |
| |Introduction à la |Guikhman , I |510 Gui. |15 |
| |théorie des processus | | | |
| |aléatoires | | | |
| |Singularités des |Arnold , V |510 Arn. T2. |5 |
| |applications | | | |
| |différentiables : | | | |
| |monodromie et | | | |
| |comportement | | | |
| |asymtotique des | | | |
| |intégrales : 2e partie | | | |
| |Théorie des |Ventsel . H |519.2 Ven. |6 |
| |Probabilités | | | |
| |Singularités des |Arnold , V |510 Arn. T1. |5 |
| |appliations | | | |
| |différentiables : | | | |
| |classification des | | | |
| |points critiques : des | | | |
| |caustiques et des | | | |
| |fronts d'onde : 1re | | | |
| |partie | | | |
| |Problèmes mathématiques|Moisséev, N. |519 Moi. |20 |
| |d'analyse des systèmes | | | |
| |Exercices et problèmes |Danko, P. |519 Dan. T1. |19 |
| |des mathématiques | | | |
| |supérieures : 1 er | | | |
| |partie | | | |
| |Méthodes asymptotiques |Fédoriouk, M. |515.3 Féd. |15 |
| |pour les équations | | | |
| |différentielles | | | |
| |ordinaires linéaires | | | |
| |Géométrie analytique |Iline, V. |516.3 Ili. |30 |
| |méthodes Numériques |Bakhvalov , N |518.2 Bak. |10 |
| |Schémas aux différences|Godounov, S. |515.6 God. |12 |
| |: introduction à la | | | |
| |théorie | | | |
| |Algebre lineaire : |Gourari, Salah |512.5 Gou. |21 |
| |cours et exercices | | | |
| |resolus | | | |
| |Eléments de |Quittard Pinon |519 Qui. |13 |
| |statistiques series |, P | | |
| |chronologiques | | | |
| |scalaires | | | |
| |Cours d'analyse non |Diener, |515 Die. |18 |
| |standard |Francine | | |
| |Statistiques |Hamdani, Hocine|519.5 Ham. |11 |
| |descriptive et | | | |
| |expression graphique | | | |
| |Recueil d'exercices et |Baranenkov, G. |515 Bar. |28 |
| |de problèmes d'analyse | | | |
| |mathématique | | | |
| |Introduction à l' |Kostrikin, A. |512 Kos. |30 |
| |algèbre | | | |
| |Statistique |Borovkov, A. |519.5 Bor. |19 |
| |mathématique | | | |
| |Exercices de |Bougrov, Y. |510 Bou. |11 |
| |mathématiques | | | |
| |supérieures | | | |
| |Géométrie contemporaine|Doubrovine, B. |516 Dou. T1. |3 |
| |: méthodes et | | | |
| |applications : | | | |
| |géométrie des surfaces | | | |
| |: des groupes de | | | |
| |transformations et des | | | |
| |champs : tome 1 | | | |
| |Recueil de problèmes |Krasnov, M. |515.3 Kra. |19 |
| |sur les équations | | | |
| |différentielles | | | |
| |ordinaires | | | |
| |Géométrie contemporaine|Doubrovine, B. |516 Dou. T2. |15 |
| |: méthodes et | | | |
| |applications : | | | |
| |géométrie et topologie | | | |
| |des variétés : tome 2 | | | |
| |Géométrie supérieure |Efimov, N. |516 Efi. |30 |
| |Méthodes appliquées en |Starjinski, V. |510 Sta. |20 |
| |théorie des | | | |
| |oscillations non | | | |
| |Linéaires | | | |
| |Eléments de |Aivazian, S. |519 Aiv. |6 |
| |modélisation et | | | |
| |traitement primaire des| | | |
| |données | | | |
| |Leçons de géométrie : |Postnikov, M. |516 Pos. |19 |
| |groupes et algèbres de | | | |
| |lie | | | |
| |Programmation linéaire |Achmanov, S. |519.7 Ach. |25 |
|9961007301 |S.E.M 300 par ses |Hazi, Mohammed |515 Haz. T1. |34 |
| |examens : analyse et | | | |
| |algèbre de première | | | |
| |année des universités | | | |
| |et grandes écoles | | | |
| |scientifiques : tome 1 | | | |
| |Eléments de |Pinon, F. |519.5 Pin. T2. |12 |
| |statistiques : décision|Quittard | | |
| |: estimation : test : | | | |
| |tome 2 | | | |
| |Algorithmes et |Maltsev, I. |511.8 Mal. |7 |
| |fonctions recursives | | | |
|9961009665 |Des mathématiques |Fuentes, A. |510 Fue. T2. |3 |
| |élémentaires aux | | | |
| |mathématiques | | | |
| |superieures. : | | | |
| |mathématiques