1.  Congrès 10th IEEE symposium on computer arithmetic : June 26-28, 1991, Grenoble, France / Peter Kornerup, David W. MatulaType de document: Congrès.Éditeur: Los Alamitos : IEEE Computer Society Press, 1991 Disponibilité: Pour le prêt: CMI[68-06 KOR] (1). Actions: Add to Cart
2.  Monographie Additive cellular automata. Vol. 1 : theory and applications / Parimal Pal Chaudhuri ... [et al.]Type de document: Monographie.Éditeur: Los Alamitos, CA : IEEE Computer Society Press, 1997 Disponibilité: Pour le prêt: CMI[68 CHA] (1). Actions: Add to Cart
3.  Congrès Fifth annual IEEE symposium on logic in computer science : June 4-7, 1990, Philadelphia, PA / the IEEE Technical Committee on Mathematical Foundations of ComputingType de document: Congrès.Éditeur: Los Alamitos : IEEE Computer Society Press, 1990 Disponibilité: Pour le prêt: CMI[68-06 IEE] (1). Actions: Add to Cart
4.  Monographie Formal verification of hardware design / Michael YoeliType de document: Monographie.Éditeur: Los Alamitos : IEEE Computer Society Press, 1990 Disponibilité: Pour le prêt: CMI[68 YOE] (1). Actions: Add to Cart
5.  Congrès Fourteenth annual IEEE symposium on logic in computer science : July 2-5, 1999, Trento, Italy / the IEEE Technical Committee on Mathematical Foundations of ComputingType de document: Congrès.Éditeur: Los Alamitos : IEEE Computer Society Press, 1999 Disponibilité: Pour le prêt: CMI[68-06 IEE] (1). Actions: Add to Cart
6.  Congrès Ninth annual IEEE symposium on logic in computer science : LICS '94, CNAM, Paris, France, July 4-7, 1994 / the IEEE Technical Committee on Mathematical Foundations of ComputingType de document: Congrès.Éditeur: Los Alamitos : IEEE computer society press, 1994 Disponibilité: Pour le prêt: CMI[68-06 IEE] (1). Actions: Add to Cart
7.  Congrès Sixth annual IEEE symposium on logic in computer science : July 15-18, 1991, Amsterdam, the Netherlands / the IEEE Technical Committee on Mathematical Foundations of ComputingType de document: Congrès.Éditeur: Los Alamitos : IEEE Computer Society Press, 1991 Disponibilité: Pour le prêt: CMI[68-06 IEE] (1). Actions: Add to Cart
Languages: English | Français | |