Your search returned 47 results. Subscribe to this search

|
1. Congrès A New Timed Petri Net Model for Loop Scheduling with Resource Constraints / {J. Wang}Publication :S.L. : [s.n.], 1992Description : 25 P., PR 2 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1111] (1).
2. Congrès Algebres exotiques et systemes a evenements discrets / Seminaire CNRS, CNET, INRIA, 3-4 juin 1987, CNET, Issy-les-MoulineauxPublication :Rocquencourt : INRIA, 1987Description : 213 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3504] (1).
3. 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).
4. Congrès Analyse de la complexité et transformation de programmes / par Jean-Yves MoyenPublication :Nancy : Univ. Nancy 2, 2003Description : IV-99 p. : Ill. ; 30 cmAvailability: No copies available Checked out (1).
5. Congrès ASPECTS MATHEMATIQUES DES RESEAUX DE PETRI. / {C. Reutenauer}Publication :PARIS : Masson, 1989Description : 01 VOL.,117 P. : PR 4 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6181] (1).
6. Congrès Automated technology for verification and analysis [Texte imprimé] : Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / Doron A. Peled, Yih-Kuen Tsay (Eds.)Publication :Berlin, New York, NY : Springer, cop. 2005Description : 1 vol. (XII-506 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TAI 05] (1).
7. Congrès Automated technology for verification and analysis [ [Texte imprimé]] ; edited by: Zhiming Liu, Anders P. Ravn : 7th International symposium, ATVA 2009 Macao, China, october 14-16, 2009. ProceedingsPublication :Berlin, Heidelberg : Springer, 2009Description : 1 vol. (XI-414 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAC 09] (1).
8.  Monographies, textes Une Combinaison des réseaux de Petri et des types abstraits algébriques pour la spécification des systèmes parallèles / J. VautherinPublication :Orsay : LRI, 1985Description : [13] p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3115] (1).
9. Congrès Conception des systèmes de production à l'aide des réseaux de Petri: vérification incrémentale des proprietés qualitatives / {F. Chu}Publication :S.L. : INRIA, 1995Description : 176 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1872] (1).
10. Thèses Gestion hiérarchisée de systèmes de production discrets [Texte imprimé] : une approche basée sur les réseaux de Petri / par Liming Wang ; [sous la dir. de Jean-Marie Proth]Publication :[Le Chesnay] : [INRIA], [1996]Description : X-157 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1901] (1).
11. Congrès GRAPHES D'EVENEMENTS DETERMINISTES ET STOCHASTIQUES / {S. Laftit} : APPLICATION AUX SYSTEMES DE PRODUCTION.Publication :ROCQUENCOURT : INRIA, 1991Description : 01 VOL.,171 P. : PR 7 ; 29 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-591] (1).
12.  Monographies, textes Handbook of software engineering [] / edited by C.R. Vick, C.V. RamamoorthyPublication :New York : Van Nostrand Reinhold Co., c1984Description : 1 vol. (XXXIII-683 p.) : ill. ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2901] (1).
13. Congrès INFORMATION PROCESSING 83.Publication :AMSTERDAM : NORTH-HOLLAND, 1983Description : 01 VOL.,980 P. : RF X ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1911] (1).
14. Congrès INFORMATION PROCESSING 83 RECUEIL DES CONFERENCES IFIP.Publication :S.L. : [s.n.], 1983Description : 01 VOL.,312 P. : RF X ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1912] (1).
15. Congrès INFORMATIQUE.LOGICIEL ET MATERIEL.APPLICATIONS ET IMPLICATIONS.Publication :PARIS : EDITIONS HOMMES ET TECHNIQUES, 1980Description : 01 VOL.,760 P. : PR X ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1336] (1).
16.  Monographies, textes Internet-based workflow management [] : toward a semantic web / Dan C. MarinescuPublication :New York, Chichester : Wiley, 2002Description : xxiv, 627 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAR] (1).
17. Congrès Les langages de spécification : actes / des journées AFCET-GROPLAN, Aix-en-Provence, 4-6 février 1987 ; org. par le LSI [Langages et systèmes informatiques] ; en collab. avec les GRECO [Groupements de Recherches coordonnées], Programmation et C3Publication :Rennes : Bigre + Globule, 1987Description : 204 p ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI10957] (1).
18. Congrès MODELES DE SYSTEMES ET DE RESEAUX. 1,PERFORMANCE / {S. Fdida, G. Pujolle}Publication :Eyrolles, Paris, 1989Description : 01 VOL.,303 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CA6263] (1).
19. Congrès Modélisation, analyse et réalisation de systèmes distribués / {P. Estraillier}Publication :S.L. : [s.n.], 1991Description : 175 P., 34 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1293] (1).
20. Thèses Modélisation et analyse des systèmes de production discrets par les réseaux de Pétri temporisés [Texte imprimé] / Hervé HillionPublication :[S.l.], [s.n.], 1989Description : 1 vol. (231 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5085] (1).
21.  Monographies, textes Nets, terms, and formulas [] : three views of concurrent processes and their relationship / E.-R. OlderogPublication :Cambridge, New York, Melbourne [etc.] : Cambridge University Press, 1991Description : x-267 p. : ill. ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-637] (1).
22.  Monographies, textes On the representation of Petri nets as state difference equations [] / Srinivasan Parthasarathy ; INRIA, Institut national de recherche en informatique et en automatiquePublication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1983Description : 1 vol. (9 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1892] (1).
23. Congrès Outils pour la validation de contraintes de synchronisation dans des systemes distribues / {C. Chaouiya}Publication :S.L. : [s.n.], 1992Description : 181 P., 72 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1178] (1).
24. Congrès PARALLEL AND DISTRIBUTED PROCESSING, 1.Publication :s.l. : [s.n.], 1979Description : 01 VOL.,266 P. : PR X ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1373] (1).
25.  Monographies, textes Parallélisme, communication et synchronisation [] / [travaux de l'ATP Parallélisme, communication, synchronisation] ; édité par J.P. Verjus,... G. Roucairol,...Publication :Paris : Éd. du Centre national de la recherche scientifique, 1985, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (VIII-584 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2862] (1).

Powered by Koha

//]]>