Your search returned 147 results. Subscribe to this search

|
1. Articles A comparison of Presburger engines for EFSM reachability [[Texte imprimé]] / Thomas R. Shiple, James H. Kukula, Rajeev K. RanjanPublication : Berlin, Heidelberg : Springer, 1998Description : P. 280-292 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
2.  Monographies, textes À l'image de l'Homme [] : du Golem aux créatures virtuelles / Philippe BretonPublication : Paris : Éd. du Seuil, 1995, 61-Lonrai : Impr. Normandie rotoDescription : 1 vol. (187 p.-[8] p. de pl.) : couv. ill. ; 21 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 4014] (1).
3.  Monographies, textes A new kind of science [] / Stephen WolframPublication : Champaign : Wolfram media, cop. 2002Description : 1 vol. (XIV-1197 p.) : ill. en noir ; 25 cmAvailability: Copies available for loan: Centre de recherche en informatique[WOL] (1).
4.  Monographies, textes Les A.P.I [ [Texte imprimé]] : architecture et applications des automates programmables industriels / Gilles Michel ; préf. de Bernard GirardPublication : Paris : Dunod, 1988Description : XIX-335 p. ; 25 cmAvailability: Copies available for loan: Bib. Paris[EMP 108.192] (1), Sophia Antipolis[EMS 110-C/N 2334] (2).
5.  Monographies, textes Algebraic automata theory [] / W. M. L. Holcombe,...Publication : Cambridge, New York, Melbourne [etc.] : Cambridge University Press, cop. 1982Description : 1 vol. (xi-228 p.) : fig. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6441] (1).
6.  Monographies, textes Algebraic theory of automata [] / Abraham Ginzburg,...Publication : New York, London : Academic press, cop.1968Description : 1 vol. (IX-165 p.) : fig. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 102.936] (1). Copies available for reference: Centre de recherche en informatique[EM AI CC0723] (1).
7.  Monographies, textes Algèbre de Boole et machines logiques [] / sous la direction de J. Kuntzmann, P. NaslinPublication : Paris : Dunod, 1967Description : 1 vol. (XVI-313 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 101.377] (1). Copies available for reference: Centre de recherche en informatique[KUN] (1).
8. Congrès ALGORITHMIQUE ET REPRESENTATION DE DONNEES.1,FILES AUTOMATES D'ETATS FINIS. / {J. Peyrin, M. Lucas, P. Sholl}Publication : PARIS : Masson, 1985Description : 01 VOL.,196 P. ; 23 CMAvailability: Copies available for reference: Sophia Antipolis[EMS Nø89-085(CENERG)] (1).
9. Congrès ALGORITHMIQUE ET REPRESENTATION DES DONNEES. 1,FILES, AUTOMATES D'ETATS FINIS. / {M. Lucas, P. Scholl, J. Peyrin}Publication : PARIS : Masson, 1983Description : 01 VOL.,196 P. : RF 6 ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1930] (1).
10.  Monographies, textes An introduction to formal language theory [] / Robert N. Moll, Michael A. Arbib, A.J. Kfoury ; with contributions by James PustejovskyPublication : New York : Springer-Verlag, cop. 1988Description : 1 vol. (x, 203 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6292] (1).
11. Thèses Analyseurs syntaxiques et non-déterminisme [Texte imprimé] / Sylvie BillotPublication : [S.l.], [s.n.], 1988Description : 1 vol. (210 p.) : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3950] (1).
12. 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).
13. Congrès Applications du Model-Checking à des problèmes de vérification de systèmes sur puce / par Manuel BacletPublication : Cachan : Ecole normale supérieure de Cachan, 2005Description : 1 vol. (161 p.) : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[05 BAC] (1).
14. Congrès ARCHITECTURE DE L'ORDINATEUR. 1,TECHNOLOGIE. / {H. Boucher}Publication : TOULOUSE : CEPADUES EDITIONS, 1984Description : 01 VOL.,351 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6273] (1).
15. Congrès ARCHITECTURE DE L'ORDINATEUR. 2,STRUCTURE. / {H. Boucher}Publication : TOULOUSE : CEPADUES EDITIONS, 1984Description : 01 VOL.,255 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6274] (1).
16. Congrès ARCHITECTURE DE L'ORDINATEUR. 3,LOGICIEL. / {H. Boucher}Publication : TOULOUSE : CEPADUES EDITIONS, 1984Description : 01 VOL.,479 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6275] (1).
17.  Monographies, textes AUTO : un systéme de vérification de processus paralléles et communicants : A verification system for parallel and communicating processes / Valérie Lecompte, Eric Madelaine, Didier VergaminiPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987Description : 20 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3553] (1).
18.  Monographies, textes Automata studies [] / W.R. Ashby, J. T. Culbertson, M. T. Davis [et al.] ; edited by C. E. Shannon and J. McCarthyPublication : Princeton (N.J.) : Princeton University Press, 1956Description : 1 vol. (VIII-285 p.) : fig. ; 26 cmAvailability: Copies available for loan: Bib. Paris[EMP 102.112] (2).
19.  Monographies, textes Automate à réseaux de Pétri colorés : Version 1.2. Manuel d'utilisationPublication : Pouyastruc : SAPEX, 1994Description : x p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 502.502] (1).
20.  Monographies, textes L'Automate et ses mobiles [] / Jean-Claude BeaunePublication : Paris : Flammarion, impr. 1980, 36-Argenton-sur-Creuse : Impr. de l'IndreDescription : 1 vol. (469 p.) ; 22 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 0819] (1).
21. Congrès Automates à piles et programmation dynamique DyALog: Une application à la programmation logique / {E. Villemonte de la clergerie}Publication : S.L. : [s.n.], 1993Description : 269 P., PR 5 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1402] (1).
22. Mémoires, thèses professionnelles Les automates de vente / Michel Da Silva, matthieu Kerzoncuf, Michel Da Silva, matthieu KerzoncufPublication : Paris : ENSMP, 2000Description : 68 f. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 148.762 CCL.5788] (1).
23.  Monographies, textes Les automates programmables [] / Jean-Claude BossyPublication : Paris : Hermès, 1988Description : 60 p. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 113.436] (1).
24.  Monographies, textes Automates programmables [] : programmation, automatisme & logique programmée / par André Simon,... ; préface de G. Gonda et M. Quoirin,...Publication : Liège : L'Élan, DL 1983Description : 1 vol. (222 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2680] (1).
25.  Monographies, textes Les Automates programmables industriels [] / Gilles Michel,... Claude Laurgeau,... Bernard Espiau,...Publication : Paris : Dunod, 1979, 93-Montreuil : impr. Gauthier-VillarsDescription : 1 vol. (XXI-273 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 112.707] (1).

Powered by Koha