Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Date Ascending
Filter
  • 1-10 ل  251 نتائج ل ""Universal""

فلترة النتائج

Collection : Universite De Rennes 1 Sort Order : Publication Date Acsending
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Imagining CLP (Lambda, alphabeta)

Subjects: CLP; LAMBDACALCULUS; LP

  • Source: https://hal.inria.fr/inria-00074287 ; [Research Report] RR-2388, INRIA. 1994.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols

Subjects: OBJECT-ORIENTED MODELING; VALIDATION AND VERIFICATION; PROTOCOLS

  • Source: https://hal.inria.fr/inria-00073884 ; [Research Report] RR-2808, INRIA. 1996.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

A Uniform Approach for Compile-time and Run-time Specialization

Subjects: PARTIAL EVALUATION; COMPILE-/RUN-TIME SPECIALIZATION; BINDING-TIME ANALYSIS

  • Source: https://hal.inria.fr/inria-00073917 ; [Research Report] RR-2775, INRIA. 1996.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Functional Back-Ends within the Lambda-Sigma Calculus

Subjects: WEAK LAMBDA CALCULUS; EXPLICIT SUBSTITUTIONS; SEMANTICS OF FUNCTIONAL LANGUAGES

  • Source: https://inria.hal.science/inria-00073659 ; [Research Report] RR-3034, INRIA. 1996.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Constructing orders by means of inductive definitions

Subjects: ordres; orders; induction

  • Source: https://inria.hal.science/inria-00098791 ; [Intern report] 99-R-035 || bonfante99a, 1999, 15 p.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Structure arborescente pour le raffinement progressif en radiosité hiérarchique

Subjects: [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Reims; France

  • Source: Journées AFIG ; https://inria.hal.science/inria-00510078 ; Journées AFIG, 1999, Reims, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Region-Of-Interest Selection and Statistical Analysis of Dynamic Breast Magnetic Resonance Imaging Data

Subjects: MAGNETIC RESONANCE IMAGING; REGION-OF-INTEREST; TIME-SIGNAL INTENSITY CURVES

  • Source: https://inria.hal.science/inria-00072338 ; [Research Report] RR-4249, INRIA. 2001.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Towards a General Guidance and Support Tool for Usability Optimization

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]New Orleans; USA; France

  • Source: Proceedings of HCI International 2001, Volume 3 (ISBN 0-8058-3609-8) Universal access in HCI: Towards an information society for all ; 9th International Conference on on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A graph process for easy design of refiners in hierarchical radiosity

Subjects: radiosity; [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Plzen; Czech Republic

  • Source: WSCG (Winter School of Computer Graphics) ; https://inria.hal.science/inria-00510042 ; WSCG (Winter School of Computer Graphics), 2001, Plzen, Czech Republic

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Monitoring approaches in general anesthesia: a survey.

Subjects: Depth of anesthesia; DOA; EEG

  • Source: ISSN: 0278-940X ; Critical Reviews in Biomedical Engineering ; https://inserm.hal.science/inserm-00131053 ; Critical Reviews in Biomedical Engineering, 2002, 30 (1-3), pp.85-97.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  251 نتائج ل ""Universal""