![Photo bandeau superieur](https://buc.univ-saida.dz/admin/opac_css/temp/cms_vign/buce/large/section79.jpeg)
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1 (37)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Description de l'API avec de nombreux exemples de programmation en C. Pour ceux qui ne sont pas familiers avec la programmation parallèle, la première partie du livre couvre tous les concepts liés à cette manière de programmer. Ensuite, il prop[...]![]()
texte imprimé
Comment garantir qu'un programme assure de manière correcte l'ensemble des fonctionnalités pour lesquelles il a été construit? Les réseaux de Petri constituent l'un des outils mathématiques de spécification et de description des systèmes fonctio[...]![]()
texte imprimé
André Arnold, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1992Ces programmes séquentiels itératifs permettent de modéliser un processus, son état et son évolution dans le temps. Cette étude insiste sur le produit synchronisé, et présente des langages formalisés logiques et leurs propriétés, précisant la no[...]![]()
texte imprimé
Présente les méthodes de modélisation par objets des systèmes industriels complexes en décrivant les objets, leurs relations et leurs interactions, et dresse un tableau représentatif des démarches, modèles, méthodes, applications industrielles..[...]![]()
texte imprimé
Explique de façon claire et précise ce qu'est la technologie orientée objet. A l'attention des décideurs de l'entreprise.![]()
texte imprimé
De l'initiation au C++ au développement d'applications Windows professionnelles, avec des exercices corrigés .![]()
texte imprimé
Maître développeur, l'auteur partage son expérience acquise sur la complexité et les secrets du codage pour les nouvelles plate-formes Microsoft 32 bits. Ce livre explique comment porter des applications Windows 3.1 16 bits vers les plate-formes[...]