Aller au contenu principal
Bibliothèque de L'IMIST/CNRST
Votre panier est vide.
Panier
Listes
Listes publiques
Nouvelles acquisitions - Mai
Lexis Nexis
Contributions académiques
Acquisition Septembre 2021
Langue arabe
Tout voir
Mes listes
Connectez-vous pour créer vos listes personnelles
Langues
Français
English
لعربية
Connexion à votre compte
Historique de recherche
Effacer
×
Ask A Librarian
Name:
Phone No:
Email:
Comment:
Chercher
Catalogue
Titre
Auteur
Sujet
ISBN
ISSN
Collection
Cote
Toutes les bibliothèques
La bibliothèque des lettres et sciences humaines et sociales
La bibliothèque des sciences de l'ingénieur
La bibliothèque des Sciences Exactes et Naturelles
La bibliothèque des Sciences Juridiques, Economiques et de Gestion
La bibliothèque des Sciences Médicales et Pharmaceutiques
Valider
Recherche avancée
Recherche d'autorités
Nuage de tags
Suggestions d'achat
×
Connexion à votre compte
Identifiant :
Mot de passe :
Vous n'avez pas de compte ?
Cliquer ici pour vous créer un compte.
Accueil
›
Résultats de recherche pour 'ccl=su:Mathematical statistics and su-to:Computer Science. and su-to:Logics and Meanings of Programs'
Affiner votre recherche
Disponibilité
Limiter aux exemplaires disponibles.
Auteurs
Colom, José-Manuel
(1)
Desel, Jörg
(1)
Remke, Anne
(1)
Stoelinga, Mariëlle
(1)
Types de document
Ebook
(2)
Collection
Lecture Notes in Com...
(2)
Sujets
Computation by Abstr...
(1)
Computer logic
(2)
Computer science
(2)
Computer Science
(2)
Computers
(1)
Data Structures
(1)
Data structures (Com...
(1)
Logics and Meanings ...
(2)
Mathematical logic
(1)
Mathematical Logic a...
(1)
Mathematical statist...
(2)
Probability and Stat...
(2)
Programming Language...
(2)
Programming language...
(2)
Software engineering
(2)
Software Engineering
(2)
Afficher plus
Afficher moins
Votre recherche a retourné 2 résultats.
Pertinence
Popularité (plus à moins)
Popularité (moins à plus)
Auteur (A-Z)
Auteur (Z-A)
Cote (0-9 à A-Z)
Cote (Z-A à 9-0)
Date de publication : décroissante
Date de publication : Croissante
Date d'acquisition : décroissante
Date d'acquisition : croissante
Titre (A-Z)
Titre (Z-A)
Ne pas surligner
Surligner
|
|
Application and Theory of Petri Nets and Concurrency
34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
Publication :
. XII, 411 p. 166 illus.
Disponibilité :
http://dx.doi.org/10.1007/978-3-642-38697-8
,
Ajouter au panier
(Supprimer)
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
Publication :
. XII, 281 p. 69 illus.
Disponibilité :
http://dx.doi.org/10.1007/978-3-662-45489-3
,
Ajouter au panier
(Supprimer)
Vous ne trouvez pas ce que vous cherchez ?
Faites une
suggestion d'achat
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST
/
IMIST
Propulsé par
Koha