Portail documentaire Université Mohamed Khider Biskra

Photo bandeau superieur

Nouvelle recherche

lambda-calcul types et modeles

Disponible

Commentaires

Titre :	lambda-calcul types et modeles
Auteurs :	j.l.krivine
Support:	Livre
Editeur :	1990 : MASSON, germany
ISBN/ISSN/EAN :	978-2-225-82091-5
Langues:	Français

Réserver

Exemplaires (2)

Cote	Support	Localisation	Disponibilité	Emplacement
T8/1753	Livre	Bibliothèque centrale El Allia	Disponible
T8/1753	Livre	Bibliothèque centrale El Allia	Exclu du prêt	Magazin

Accueil

COMPTE LECTEUR

Demande de mot de passe
Demande de preinscription

Adresse

07000 Biskra
Algérie
033 54 32 99
contact

Recherche documentaire

Catalogues des bibliothéques

Ce portail vous permet l'identification des ressources disponibles dans les différentes bibliothèques de l'université .

Lire la suite

Brève 1

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.

Exemple de lien

Système National Documentation

Le Système National de Documentation en Ligne est un portail documentaire permettant l’accès a la documentation électronique nationale et internationale.

Lire la suite

Thèses en ligne sur e-print

Afin de permettre une visibilité et accessibilité du patrimoine scientifique de l'université ,le portail offre la possibilité d'accès direct aux mêmes ressources déposés sur le portail national des t

Lire la suite

Catalogue Collectif d'Algerie

CCdz(Catalogue Collectif d'Algérie) est un catalogue national qui regroupe l’ensemble des fonds documentaires des bibliothèques algériennes.

Lire la suite