Contributions systémiques et informatiques au multipilotage des villes :: SCD d'Orléans

Contributions systémiques et informatiques au multipilotage des villes

Contributions systémiques et informatiques au multipilotage des villes

Enregistré dans:

Détails bibliographiques
Auteur principal:	Laurini, Robert, 1947-
Autres auteurs:	Favrel, Joël (Directeur de thèse)
Format:	Thèse et Mémoire papier
Langue:	Français
Publié:	[Paris] : INRIA Documentation 1980.
Collection:	INRIA
Sujets:	Génie logiciel Génie urbain Thèses et écrits académiques
Note:	IDE 8012
Autres localisations:	Voir dans le Sudoc

Documents similaires

Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage
par: Guesmi, Asma, 1988-
Publié: (2016)

Stratégies innovantes pour une valorisation d'extraits de plantes en cosmétique : Mise en oeuvre d'un outil de profilage métabolique et recherche de nouvelles activités biologiques
par: Jouravel, Glorianne, 1990-
Publié: (2018)

Génie logiciel en informatique de gestion
par: Soberman, Marcel
Publié: (1992)

Formal verification of trusted layers of software : application to the TPM Software Stack
par: Ziani, Yani, 1995-
Publié: (2025)

Structure et interprétation des programmes informatiques
par: Abelson, Harold, 1947-, et autres
Publié: (1989)

Propriétés de séchage de textures complexes appliquées à la cosmétologie
par: Fichot, Julie
Publié: (2013)

Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : proceedings

Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 16, 1995 : proceedings

Interaction de la Cytogaligine avec l'a-Synucléine et les protéines d'autophagie. Perturbation de l'expression des gènes d'autophagie dans le sang périphérique de patients atteints de la maladie de Parkinson
par: El Haddad, Saïd, 1991-
Publié: (2017)

Development and evolution of software architecture for product families : Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain February 26 27, 1998 : proceedings

The Journal of systems and software.
Publié: (1998)

Petri nets for systems engineering : a guide to modeling, verification, and applications
par: Girault, Claude, 19..-...., informaticien, et autres
Publié: (2010)

Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8 10, 1990 : proceedings

Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings

Advanced information systems engineering : 6th International Conference, CAiSE'94, Utrecht, The Netherlands, June 6 10, 1994 : proceedings

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : proceedings

Advanced information systems engineering : 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20 24, 1996 : proceedings

Idendification de gènes à effet de dose impliqués dans la pathophysiologie des aneuploïdies associées au chromosome 21
par: Dalloneau, Emilie, 1983-
Publié: (2010)

La mitogaligine, protéine de la mort cellulaire programmée : localisation nucléaire, conséquences de modifications post-traductionnelles potentielles et interaction fonctionnelle avec Mcl-1
par: Robinet, Pauline, 1979-
Publié: (2010)

COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003 : proceedings

COTS-based software systems : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4 6, 2002 : proceedings

COTS-based software systems : Third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings

Software reliability : modelling and identification
par: Bittanti, Sergio, 1947-

Advanced information systems engineering : 10th International Conference, CAiSE '98 Pisa, Italy, June 8 12, 1998 : proceedings

Ecodynamique des éléments traces et caractérisation de l'exposition des sols contaminés : expérimentation et modélisation par les réseaux de neurones artificiels
par: Hattab, Nour
Publié: (2013)

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
par: Hoffmann, Berthold, 19..-

Software engineering : an advanced course
par: Bauer, Friedrich Ludwig, 1924-2015, et autres
Publié: (2005)

Le génie logiciel
par: Printz, Jacques
Publié: (2000)

Software engineering
par: Sommerville, Ian
Publié: (2001)

Automated software engineering.
Publié: (2002)

Version control with Git
par: Loeliger, Jon, et autres
Publié: (2012)

Le génie logiciel
par: Printz, Jacques
Publié: (2001)

Précis de génie logiciel
par: Schlienger-Dupuy, Françoise
Publié: (1996)

Le génie logiciel
par: Printz, Jacques
Publié: (2002)

Le génie logiciel
par: Printz, Jacques
Publié: (2010)

System configuration management : 19th International Symposium, SCM-9, Toulouse, France, September 5 7, 1999 : proceedings

Requirements targeting software and systems engineering : International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997 : proceedings

Contribution à l'étude de la croissance urbaine dans le système urbain français
par: Pumain, Denise, 1946-
Publié: (1980)

The IOTA programming system : a modular programming environment

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
par: Wangler, Benkt, et autres

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales