Your search returned 29 results. Subscribe to this search

|
1. Congrès ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING.Publication : 1515, Broadway N.Y. 10036 : ACM, New York, 1984Description : 01 VOL.,553 P. : RF X ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2639] (1).
2.  Monographies, textes APPROCHE LOGIQUE DE L'INTELLIGENCE ARTIFICIELLE / {A. Thayse}, De la logique modale à la logique des bases de données, 2Publication : PARIS : Bordas, 1988Description : 1 vol., 416 p. ; 24 CMAvailability: Copies available for loan: Bib. Paris[EMP 109.833 (2)] (1). Copies available for reference: Centre de Morphologie Mathématique[L-18/92/MM] (1), Centre de recherche en informatique[EM AI CI5156] (1).
3. Congrès Automated reasoning with analytic tableaux and related methods [ [Texte imprimé]] : 22th International conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 : proceedings ; Didier Galmiche, Dominique Larchey-Wendling (eds.)Publication : Berlin, Heidelberg : Springer, 2013Description : 1 vol. (X-288 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[NAN 13] (1).
4. Congrès AUTOMATIC VERIFICATION OF FINITE STATE MACHINES USING TEMPORAL LOGIC. / {M. Browne}Publication : PITTSBURGH : CARNEGIE MELLON UNIVERSITY, 1989Description : 01 VOL.,141 P. : PR 4 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6271] (1).
5. Congrès Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999proceedings / Nicolas Halbwachs, Doron Peled (Eds.)Publication : Berlin, London : Springer, c1999Description : xii, 506 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TRE 99] (1).
6. Congrès Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000proceedings [ [Texte imprimé]] ; E. Allen Emerson, A. Prasad Sistla (eds.)Publication : Berlin, London : Springer, c2000Description : 1 vol. (X, 582 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[CHI 00] (1).
7. Congrès Computer aided verification [] : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)Publication : Berlin : Springer, cop. 2001Description : 1 vol. (XIII-520 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PAR 01] (1).
8. Congrès Contribution à l'étude du raisonnement temporel : intégration des informations qualitatives et quantitatives et propagation de contraintes / {H. Tolba}Publication : S.L. : [s.n.], 1992Description : 127 P., PR 4 ; 29 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1416] (1).
9. Congrès Elements of a Temporal Logic Coping with Concurrency / {W. Reisig}Publication : S.L. : [s.n.], 1992Description : 34 P., PR 3 ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1068] (1).
10. Congrès Handbook of logic in computer science, Background computational structures, 2Publication : Oxford : CLARENDON PRESS, 1992Description : 571 P., X RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1012] (1).
11. Congrès HANDBOOK OF THEORETICAL COMPUTER SCIENCE. B, FORMAL MODELS AND SEMANTICS.Publication : AMSTERDAM : NORTH-HOLLAND, 1990Description : 01 VOL.,1287 P. : X RF ; 25 CMAvailability: No copies available Checked out (1).
12. 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).
13. 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).
14. Thèses Logiques du temps arborescent pour la spécification et la preuve de programmes / Susanne GrafPublication : [S.l.], [1984]Description : pagination multiple [131] p ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3019] (1).
15. Congrès Model checking / Edmund M. Clarke,Jr., Orna Grumberg, and Doron PeledPublication : Cambridge (MA) : The MIT press, 1999Description : XIV-314 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[CLA] (1).
16. Congrès Model checking software : 8th International SPIN workshop, Toronto, Canada, may 2001 : proceedings / Matthew Dwyer (ed.)Publication : Berlin, Heidelberg : Springer, 2001Description : X-311 p. : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (1).
17. Congrès ON CONSTRUCTIVE SPECIFICATIONS OF ABSTRACT DATA TYPES USING TEMPORAL LOGIC. / {F. Lesske}Publication : S.L. : [s.n.], 1991Description : 01 VOL.,25 P. : 12 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-920] (1).
18. Congrès PARALLEL COMPOSITION OF LIVENESS. / {W. Reisig}Publication : S.L. : [s.n.], 1991Description : 01 VOL.,20 P. : 11 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-792] (1).
19.  Monographies, textes Plans simulation using temporal logics / Eric Rutten, Lionel MarcePublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 35 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (1095)] (1).
20. Congrès SIGSOFT 2002/FSE 10 [Texte imprimé] : Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10), November 18-22, 2002, Charleston, South Carolina, USA / ed. by William G. Griswold ; Sponsored by SIGSOFT...Set Level : , Software engineering notes, v. 27, no. 6Publication : New york, N.Y. : ACM Press, cop. 2002Description : VI-178 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHA 02] (1).
21. Congrès SPECIFICATION AND VERIFICATION OF CONCURRENT PROGRAMS BY V-AUTOMATA. / {Z. Manna, A. Pnueli}Publication : S.L. : [s.n.], 1988Description : 01 VOL.,41 P. : PR 2 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6309] (1).
22.  Monographies, textes Systems and software verification [] : model-checking techniques and tools / B. Bérard, M. Bidoit, A. Finkel... [et al.] ; [traduction par] Pierre McKenzieTranslation of : Vérification de logicielsPublication : Berlin, New York, Paris : Springer, cop. 2001Description : 1 vol. (XII-190 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 5375] (1). Copies available for reference: Centre de recherche en informatique[BER] (1).
23. Congrès TEMPORAL (A) LOGIC OF ACTIONS. / {L. Lamport}Publication : S.L. : [s.n.], 1990Description : 01 VOL.,24 P. : 14 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6810] (1).
24.  Monographies, textes Temporal logic and state systems / by: Fred Kröger, Stephan MerzPublication : Berlin, Heidelberg : Springer, 2008Description : 1 vol. (XI-433 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique (1).
25. Congrès TEMPORAL (THE) LOGIC OF ACTIONS. / {L. Lamport}Publication : S.L. : [s.n.], 1991Description : 01 VOL.,76 P. : 23 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-674] (1).

Powered by Koha