Your search returned 2 results. Subscribe to this search

|
1. Thèses On type-based termination and dependent pattern matching in the calculus of inductive constructions [Ressource électronique] / par Jorge Luis Sacchini ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2011Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00622429] (1).
2. Thèses Tapping into the source : corporate involvement in open source software [Ressource électronique] / par Jan Eilhard ; sous la direction de François LévêquePublication : Ville : Nom de l'institution l'ayant mis en ligne, Année de mise en ligneAvailability: Click here to access online Copies available for reference: En ligne[http://tel.archives-ouvertes.fr/tel-00528121] (1).

Powered by Koha