Your search returned 171 results. Subscribe to this search

|
1. Aide aux choix de conception de bâtiments économes en énergie / par Maxime Trocmé ; sous la direction de Bruno PeuportierPublication : 2009Description : 1 vol. (148 p.) ; 30 cmAvailability: Click here to access online
2. Thèses Algorithmique de la vérification des systèmes à compteurs [Texte imprimé] : approximation et accélération, implémentation de l'outil FAST / par Jérôme Leroux ; [sous la dir. de Alain Finkel]Publication : [S.l.] : [s.n.], 2003Description : 207 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[03 LER] (1).
3. Thèses Analyse de complexité des programmes [ [Texte imprimé]] : vérification et inférence / Vincent DornicPublication : Paris : ENSMP, 1992Description : 103 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 141.140 CCL.TH.701] (2).
4. Analyse de systèmes réactifs synchrones à des fins de vérification : Application au langage ESTEREL / Michel Bourdellès ; sous la dir. de Robert de SimonePublication : 1999Description : 1 vol. (146 p.) : ill. ; 30 cmAvailability: Copies available for reference: Bib. Paris[EMP 147.609 CCL.TH.938] (2).
5. Thèses Analyse des systèmes mobiles par interprétation abstraite [Texte imprimé] / par Jérôme Feret ; sous la direction de [non précisé : le formulaire indique : sous la direction de "Jérôme Feret"]Publication : [S.l.] : [s.n.], 2005Description : 1 vol. (372 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2005 FER] (1).
6. Analyse et simulations de défauts des équipements de climatisation en vue d'un audit énergétique / par Daniela Bory ; sous la direction de Dominique MarchioPublication : 2008Description : 1 vol. ( 169 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 153.981 CCL. TH. 1225] (2).
7. Thèses Analyse et simulations de défauts des équipements de climatisation en vue d'un audit énergétique [Ressource électronique] / par Daniela Bory ; sous la direction de Dominique MarchioPublication : Paris : MINES ParisTech, 2008Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00004297] (1).
8. Thèses Analyse statique de programmes Java [et] application à la parallélisation [Texte imprimé] / par Romain Guider ; dir. Isabelle Attali [et] Denis CaromelPublication : [S.l.] : [s.n.], 2000Description : 186 p. ; 30cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 GUI] (1).
9. Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants / Vivien Maisonneuve ; sous la direction de François IrigoinPublication : 2015Availability: Accès au texte intégral | Click here to access online | Click here to access online
10. Thèses Application des méthodes d'ordre partiel aux équivalences comportementales des systèmes concurrents / Monica Robert-Lara de Souza, Monica Robert-Lara de SouzaPublication : Sophia-Antipolis : ENSMP, 1995Description : 105 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.849 CCL.TH.819] (2). Copies available for reference: Sophia Antipolis[EMS T-CMA-0037] (1).
11.  Monographies, textes Audit d'environnement [] : législation, méthodologie, politique européenne / Corinne Lepage-Jessua,...Publication : Paris : Dunod, 1992, Paris : Impr. JouveDescription : 287 p. : couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMFE 114] (1).
12.  Monographies, textes Audit des achats [] / Christian BouvierPublication : Paris : Éd. d'Organisation, DL 1990, 33-Artigues-près-Bordeaux : Impr. DelmasDescription : 1 vol. (157 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.926] (1).
13.  Monographies, textes L'audit des performances de l'entreprise [] / Jacques RichardPublication : Paris : La Villeguerin, 1989Description : 1 vol. (624 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.664] (1).
14.  Monographies, textes Audit et collectivités territoriales [] / Michel Poisson,...Publication : Paris : Presses universitaires de France, 1996, 41-Vendôme : Impr. des PUFDescription : 1 vol. (127 p.) : ill. ; 18 cmAvailability: Copies available for loan: Bib. Paris[EMP C 11 (2477)] (1).
15.  Monographies, textes Audit et contrôle interne [] / Benoît PigéPublication : Paris : Éd. EMS, 2001Description : 1 vol. (216 p.) ; 21 cmAvailability: Copies available for loan: Sophia Antipolis[EMS Cindy/N 5957] (1).
16.  Monographies, textes Audit et informatique [] / Jean Raffegeau,... Alain Ritz,...Publication : Paris : Presses universitaires de France, 1993, 41-Vendôme : Impr. des PUFDescription : 1 vol. (127 p.) : ill. ; 18 cmAvailability: Copies available for loan: Bib. Paris[EMP C 11 (2299)] (1).
17.  Monographies, textes L'audit financier [] / Jean Raffegeau,... Pierre Dufils,... Didier de Menonville,...Publication : Paris : Presses universitaires de France, 1994, 41-Vendôme : Impr. des PUFDescription : 1 vol. (126 p.) : ill. ; 18 cmAvailability: Copies available for loan: Bib. Paris[EMP C 11 (2852)] (1).
18.  Monographies, textes Audit informatique [] : [DECF, épreuve n° 10] / par Sylvain Faurie,... Philippe Sarret,... ; préf. de Daniel VitryPublication : Paris, Milan, Barcelone : Masson, Paris : Nouv. éd. fiduciaires, 1991, 14-Condé-sur-Noireau : Impr. CorletDescription : 1 vol. (XXIII-437 p.) : ill. ; 22 cmAvailability: Copies available for loan: Bib. Paris[EMP 111.634] (1).
19.  Monographies, textes L'audit informatique [] : introduction aux règles et à la méthode / Marc Thorin,...Publication : Paris, New York, Barcelone : Masson, 1981, 58-Clamecy : Impr. LaballeryDescription : 1 vol. (136 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1340] (1).
20.  Monographies, textes Audit opérationnel [] / Jean-Charles Bécour, Henri BouquinPublication : Paris : Économica, DL 1991, 53-Lassay-les-Châteaux : Impr. Europe media duplicationDescription : 1 vol. (389 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 111.747] (1).
21.  Monographies, textes L'audit opérationnel [] / Jean Raffegeau,... Fernand Dubois,... Didier de Menonville,...Publication : Paris : Presses universitaires de France, 1992Description : 1 vol. (127 p.) : ill. ; 18 cmAvailability: Copies available for loan: Bib. Paris[EMP C 11 (2167)] (1).
22.  Monographies, textes Audit qualité-sécurité-environnement [ [Texte imprimé]] : mode d'emploi / Pierre VandevillePublication : Saint-Denis La Plaine : AFNOR, DL2007Description : 1 vol. (VII-192 p.) : couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Fontainebleau[658.408 3 VAN a] (1).
23.  Monographies, textes Authentication systems for secure networks / Rolf OppligerPublication : Boston : Artech House, c1996Description : xvii, 186 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2290] (1).
24.  Monographies, textes / Mônica Lara de Souza, Robert de SimoneLes automates d'ordre-partiel et les équivalences comportementales = partial-order automata and behaviour equivalences, Mônica Lara de Souza, Robert de SimonePublication : ENSMP, 1996Description : [8 f.]Availability: Copies available for loan: Bib. Paris[EMP 144.940 CCL.5679] (1).
25.  Monographies, textes Bien gérer l'environnement [] : une chance pour l'entreprise / Corinne Lepage,...Publication : Paris : le Moniteur, DL1999, cop. 1999Description : 1 vol. (474 p.) ; 26 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 15568-8] (1).

Powered by Koha