Filtrer vos résultats
- 33
- 8
- 19
- 8
- 6
- 3
- 3
- 2
- 3
- 40
- 3
- 1
- 1
- 4
- 1
- 2
- 3
- 2
- 2
- 2
- 1
- 6
- 2
- 5
- 3
- 2
- 4
- 23
- 18
- 40
- 4
- 1
- 1
- 41
- 6
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
41 résultats
|
|
triés par
|
Distributed and Multi-Type Resource ManagementECOOP'02 Workshop on Resource Management for Safe Languages, Jun 2002, Malaga, Spain. pp.11-12
Communication dans un congrès
hal-01548132v1
|
|||
Hop. un langage de programmation pour le Web (1ère partie)Programmez !, 2008, 104, pp.53-55
Article dans une revue
hal-00640568v1
|
|||
A library for quizzesScheme 2002 - Third Workshop on Scheme and Functional Programming, Oct 2002, Pittsburgh, Pennsylvania, United States. pp.1-7
Communication dans un congrès
hal-01543958v1
|
|||
Programmation Récursive (en Scheme)Dunod, 2004, 978-2-10-007479-2
Ouvrages
hal-01503515v1
|
|||
Automatic Introduction of Mobility for Standard-based FrameworksOn the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE International Symposium on Distributed Objects and Applications (DOA'05), Oct 2005, Agia Napa, Cyprus. pp.813-827, ⟨10.1007/11575771_51⟩
Communication dans un congrès
istex
hal-01489129v1
|
|||
|
Un cédérom pour SchemeTICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie, Nov 2002, Villeurbanne, France. pp.223-231
Communication dans un congrès
edutice-00000660v1
|
||
|
MOOC and mechanized grading2013
Pré-publication, Document de travail
hal-00915254v2
|
||
|
An Infrastructure for Mechanised GradingCSEDU 2010 - 2nd International Conference on Computer Supported Education, Apr 2010, Valencia, Spain. pp.37-45, ⟨10.5220/0002791900370045⟩
Communication dans un congrès
hal-00429671v1
|
||
|
Mechanised grading: the next step2009
Pré-publication, Document de travail
hal-00391368v1
|
||
|
On the Finiteness of Resources in Distributed Computing[Research Report] RR-3147, INRIA. 1997
Rapport
inria-00073542v1
|
||
Teaching CS to Undergraduates at UPMCInternational Lisp Conference, Apr 2007, Clare College, Cambridge, United Kingdom. pp.165-165, ⟨10.1145/1622123.1622128⟩
Communication dans un congrès
hal-01336033v1
|
|||
Recueil de petits problèmes en SchemeSpringer, 1999, 978-3-540-66043-7
Ouvrages
hal-01574460v1
|
|||
|
Ranking students with help of mechanized grading2010
Pré-publication, Document de travail
hal-00671884v1
|
||
Continuations and ConversationsAIMSA 2000 - 9th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2000, Varna, Bulgaria. pp.363-363, ⟨10.1007/3-540-45331-8_36⟩
Communication dans un congrès
istex
hal-01572554v1
|
|||
Sérialisation-désérialisation en DmeroonNOTERE97 Colloque international sur les NOuvelles TEchnologies de la RÉpartition, Nov 1997, Pau, France. pp.333-346
Communication dans un congrès
hal-01623866v1
|
|||
Une expérience de notation en masseTICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'Ingénieurs et dans l'industrie, 2002, Lyon, France. pp.403-404
Communication dans un congrès
hal-01548114v1
|
|||
|
Le langage de commande Gibiane: description informelle[Rapport de recherche] lip6.1997.019, LIP6. 1997
Rapport
hal-02547636v1
|
||
|
Resource Aware ProgrammingACM Transactions on Programming Languages and Systems (TOPLAS), 2005, 27 (3), pp.441-476. ⟨10.1145/1065887.1065891⟩
Article dans une revue
hal-01175935v1
|
||
|
Continuations and Web ServersHigher-Order and Symbolic Computation, 2004, 17 (4), pp.277-295. ⟨10.1007/s10990-004-4866-z⟩
Article dans une revue
hal-01175942v1
|
||
|
Marshaling/Unmarshaling as a Compilation/Interpretation Process[Research Report] lip6.1998.049, LIP6. 1998
Rapport
hal-02548190v1
|
||
|
Inverting back the inversion of control or, continuations versus page-centric programmingACM SIGPLAN Notices, 2003, 38 (2), pp.57-64. ⟨10.1145/772970.772977⟩
Article dans une revue
hal-01199504v1
|
||
Distributed Generic FunctionsObject-Oriented Parallel and Distributed Programming, Hermès Science Publications, pp.135-150, 2000
Chapitre d'ouvrage
hal-01573191v1
|
|||
Enseignement du langage C à l'aide d'un CD-ROM et d'un site - Architecture logicielleColloque international -- Technologie de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie -- TICE 2000, 2000, Troyes, France. pp.93-102
Communication dans un congrès
hal-01573192v1
|
|||
Langage CTechniques de l'Ingénieur, traité Informatique, Techniques de l'Ingénieur, pp.1-15, 2001
Chapitre d'ouvrage
hal-01571758v1
|
|||
Environnement de développement -- annales corrigées, novembre 2004-janvier 2006Paracamplus, Paris, France, 2006, 978-2-916466-02-9
Ouvrages
hal-01352018v1
|
|||
|
Distributed Computations Driven by Resource ConsumptionICCL 98 - IEEE International Conference on Computer Languages, May 1998, Chicago, IL, United States. pp.68-77, ⟨10.1109/ICCL.1998.674158⟩
Communication dans un congrès
hal-01622296v1
|
||
Programmation récursive - annales corrigées, novembre 2001-septembre 2005Paracamplus, Paris, France, 2006, 2916466002
Ouvrages
hal-01351637v1
|
|||
Les Tours de Hanoï : un problème classique de récursionInterstices, 2015
Article dans une revue
hal-01350294v1
|
|||
Marshaling Unmarshaling as a Compilation Interpretation ProcessSecond Merged Symposium IPPS/SPDP 1999 13th International Parallel Processing Symposium 10th Symposium on Parallel and Distributed Processing, Apr 1999, San Juan, Puerto Rico. pp.616-621
Communication dans un congrès
hal-01574458v1
|
|||
Environnement de développement -- annales corrigées, avril 2005-janvier 2007Paracamplus, Paris, France, 2007, 978-2-916466-04-0
Ouvrages
hal-01335979v1
|
- 1
- 2