Your search returned 98 results. Subscribe to this search

|
1.  Monographies, textes Abstract data types [] : their specification, representation, and use / Pete Thomas, Hugh Robinson, and Judy Emms, ...Publication :Oxford : Clarendon Press, New York : Oxford University Press, 1988Description : 1 vol. (xii-256 p.) : ill. ; 22 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CA6252] (1).
2. Congrès ABSTRACT DATA TYPES WITH EXEPTION HANDLING : AN INITIAL APPROACH BASED ONA DISTINCTION BETWEEN EXECPTIONS AND ERRORS. / {G. Bernot, C. Choppy, M. Bidoit}Publication :S.L. : [s.n.], 1985Description : 01 VOL.,48 P. : PR 2 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3116] (1).
3.  Monographies, textes Abstract implementations and correctness proofs / Gilles Bernot, Michel Bidoit, Christine ChoppyPublication :Orsay : LRI, 1985Description : 20 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3084] (1).
4. Articles ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROFFS. / {C. Farshid nourani}Publication :New York : ACM, 1983Description : P. 343 A 359 : RF 29 ; 26 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6139] (1).
5. Congrès ABSTRACT TYPES AND THE DOT NOTATION. / {L. Cardelli, X. Leroy}Publication :S.L. : [s.n.], 1990Description : 01 VOL.,32 P. : 16 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6808] (1).
6.  Monographies, textes Abstraction and specification in program development [] / Barbara Liskov and John GuttagPublication :Cambridge (Mass.) : MIT Press, New York : McGraw-Hill, cop. 1986Description : 1 vol. (XV, 469 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3393] (1).
7. Congrès ADVANCES IN COMPUTERS. 22.Publication :NEW-YORK : Academic press, 1983Description : 01 VOL.,391 P. : RF X ; 23 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1955] (1).
8. Congrès ALGEBRAIC METHODS : THEORY,TOOLS AND APPLICATIONS.Publication :Springer, Berlin, Heidelberg, 1989Description : 01 VOL.,558 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6679] (1).
9.  Monographies, textes Algebraic specification [] / edited by J.A. Bergstra, J. Heering, P. KlintPublication :New York, N.Y. : ACM Press, Wokingham, England, Reading, Mass. : Addison-Wesley, c1989Description : xiii, 397 p. : ill. ; 25 cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI6389] (2).
10. Articles ALGEBRAIC (THE) SPECIFICATION OF ABSTRACT DATA TYPES. / {J. Guttag}Publication :Berlin, Heidelberg : Springer, 1978Description : P. 27 A 52 : RF 26 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3475] (2).
11. Congrès Algèbre galactique / {A. Megrelis}Publication :S.L. : [s.n.], 1990Description : 232 P., 49 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1160] (1).
12.  Monographies, textes An introduction to data types / J. Craig CleavelandPublication :Reading Mass, Menlo Park Calif. [etc.] : Addison-Wesley, cop. 1986Description : xii, 239 p : fig ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 109.658] (1). Copies available for reference: Centre de recherche en informatique[CLE] (1).
13. Congrès ASSPEGIQUE / {M. Bidoit, C. Choppy} : AN INTEGRATED ENVIRONMENT FOR ALGEBRAIC SPECIFICATIONS.Publication :S.L. : [s.n.], 1985Description : 01 VOL.,21 P. : PR 3 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3081] (1).
14. Congrès ASSPEGIQUE (THE) SPECIFICATION ENVIRONMENT MOTIVATIONS AND DESIGN. / {C. Choppy, M. Bidoit, F. Voisin}Publication :S.L. : [s.n.], 1985Description : 01 VOL.,14 P. : PR 3 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3114] (1).
15. Congrès ATLAS : a typed language for algebraic specification / B.M. Hearn, K. MeinkePublication :München : Technische Universität München, 1993Description : 21 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1993 BNI: 8914] (1).
16. Congrès Automata, languages and programming [Texte imprimé] : 10th Colloquium, Barcelona, Spain, July 18-22, 1983 : the European Association for Theoretical Computer Science (EATCS) / ed. Josep DiazPublication :Berlin, New York, Paris : Springer, cop. 1983Description : 1 vol. (VIII-733 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2015] (1).
17.  Monographies, textes Bibliography on abstract data types [] / B. Kutzler, F. LichtenbergerPublication :Berlin, New York, Tokyo : Springer, cop. 1983Description : 1 vol. (194 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2056] (1).
18. Congrès Cip-System User's Guide / {M. Lichtmannegger}Publication :S.L. : [s.n.], 1992Description : 93 P., 13 RF ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1065] (1).
19.  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).
20. Congrès COMPLEXITY ANALYSIS OF TERM REWRITING SYSTEMS. / {C. Choppy, M. Soria, S. Kaplan}Publication :ROCQUENCOURT : INRIA, 1988Description : 01 VOL.,17 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6173] (1).
21. Congrès Conference record of the eleventh annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and ] Special Interest Group on Programming LanguagesPublication :New York : ACM, c1983 [i.e. 1984]Description : vi, 302 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2643] (1).
22. Congrès DATA ABSTRACTION AND THE CORRECTNESS OF MODULAR PROGRAMMING. / {O. Schoett}Publication :S.L. : [s.n.], 1987Description : 01 VOL.,374 P. : PR 20 ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5104] (1).
23. Congrès DATA ABSTRACTION,DATABASES AND CONCEPTUAL MODELLING.Publication :ACM, 1515, Broadway N.Y. 10036, New York, 1980Description : P. 1 A 211 : X RF ; 28 CMAvailability: Copies available for loan: Centre de recherche en informatique[SANS COTE 5275] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI4766] (1).
24.  Monographies, textes Data abstraction in programming languages [] / Judy Bishop,...Publication :Wokingham, England, Reading, Mass. : Addison-Wesley, cop.1986Description : 1 vol. (X-166 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3378] (1).
25. Congrès DATA STRUCTURES AND ALGORITHMS [[Texte imprimé]] / {A. Aho, J. Ullman, J. Hopcroft}Publication :Reading : ADDISON-WESLEY PRESS, 1983Description : 1 vol. (438 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1729] (1), Sophia Antipolis[EMS 110-C03/N 2695] (1).

Powered by Koha

//]]>