Recherche Avancée

Recherche

FAQ

Quelles sont les types de documents recensés dans le catalogue de la bibliothèque CERIST?

Les documents recensés dans le catalogue sont : Les périodiques, Articles de périodiques, les livres, les thèses de post-graduation (magister et doctorat), Rapport de recherche, documents Audiovisuels.

Quels sont les différents horaires de la bibliothèque durant l’année ?

La bibliothèque vous accueille de Dimanche à jeudi de 8h30 à 16h30. Notez que la bibliothèque peut être réquisitionnée pour des raisons administratives.

Où se situe la bibliothèque du Cerist ?

La Bibliothèque se situe au réez de chaussée du bloc B Voir Google Maps du site web pour localiser l’adresse.

Recherche Avancée

Résultats de la recherche: 6147

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Linking Theory and Practice of Digital Libraries

26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20–23, 2022, Proceedings

The Logic of Software. A Tasting Menu of Formal Methods

Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Formal Techniques for Distributed Objects, Components, and Systems

42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings

Fundamental Approaches to Software Engineering

25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings