Your search returned 145 results. Subscribe to this search

|
101.  Monographies, textes Principles of computer science : concepts, algorithms, data structures, and applications / M. Sandra Carberry, A. Toni Cohen, Hatem M. KhalilPublication : Rockville, Md. : Computer Science Press, c1986Description : xvi, 636 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3957] (1).
102.  Monographies, textes Principles of computer science / Cullen SchafferPublication : Englewood Cliffs, N.J. : Prentice Hall, c1988Description : xvii, 413 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6313] (1).
103.  Monographies, textes Principles of database systems [] / Jeffrey D. UllmanPublication : Potomac (Md.) : Computer Science Press, cop. 1980Description : 1 vol. (379 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1026] (1).
104. Congrès Proceedings, ACM SIGPLAN Workshop on Intermediate Representations (IR '95) : San Francisco, CA, January 22, 1995 / @ACM SIGPLAN Workshop on Intermediate RepresentationsPublication : New York, N.Y. : ACM Press, [1995]Description : iv, 128 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI16234] (2).
105. Congrès Proceedings of the second ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, PPOPP : Seattle Washington, March 14-16, 1990 / sponsored by the Special Interest Group on Programming Languages, Association for Computing MachineryPublication : New York : The Association, c1990Description : viii, 206 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6668] (2).
106.  Monographies, textes Programmation avancée [] : Algorithmique et structures de données / par Jean-Claude Boussard et Robert MahlPublication : Paris : Eyrolles, DL 1983, Paris : impr. JouveDescription : 1 vol. (235 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1780] (1).
107. Congrès PROGRAMMATION DE STRUCTURES PERMANENTES COMPLEXES / {M. Gauthier}Publication : S.L. : [s.n.], 1983Description : 01 VOL.,17 P. : 14 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2986] (1).
108.  Monographies, textes Programming languages, information structures and machine organization [] / Peter Wegner,...Publication : New York, St. Louis [etc.], Toronto : McGraw-Hill, cop. 1968Description : 1 vol. (XX-401 p.) ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 102.069] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI1217] (1).
109.  Monographies, textes Programming the NS32000 / Chris MartinPublication : Wokingham, Berks., UK. : Addison-Wesley, c1987Description : xi, 239 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3660] (1).
110. Articles Putting static analysis to work for verification [[Texte imprimé]] : a case study / {T. Lev-ami, M. Sagiv, T. Reps, R. Wilhelm}Publication : New York : ACM Press, 2000Description : P. 26-38 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[POR 00] (1).
111.  Monographies, textes Reliable data structures in C / Thomas PlumPublication : Cardiff, N.J. : Plum Hall, c1985Description : 1 v. (various pagings) : ill. ; 26 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3209] (2).
112. Congrès RESTRUCTURING SYMBOLIC PROGRAMS FOR CONCURRENT EXECUTION ON MULTIPROCESSORS. / {J. Larus}Publication : S.L. : [s.n.], 1989Description : 01 VOL.,141 P. : 78 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-691] (1).
113.  Monographies, textes Reusable data structures for C / Roger SessionsPublication : Englewood Cliffs, NJ : Prentice Hall, 1989Description : VII-166 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6970] (1).
114. Congrès Scalapack: a scalable algebra library for distributed memory concurrent computers / {J. Choi}Publication : S.L. : [s.n.], 1992Description : 7 P., 19 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1045] (1).
115.  Monographies, textes Schémas algorithmiques fondamentaux [] : séquences et itération / Pierre-Claude Scholl,... Jean-Pierre Peyrin,...Publication : Paris, Milan, Barcelone [etc.] : Masson, impr. 1988, 14-Condé-sur-Noireau : Impr. CorletDescription : 1 vol. (288 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[SCH] (1).
116. Congrès SIMPLE (A) AND EFFICIENT IMPLEMENTATION FOR SMALL DATABASES. / {A. Birrell, E. Wobber, M. Jones}Publication : PALO-ALTO : DIGITAL, 1988Description : 01 VOL.,13 P. : 11 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6525] (1).
117. Congrès Static analysis [Texte imprimé] : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.)Publication : Berlin, New York : Springer, cop. 2003Description : XIV-503 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 03] (1).
118. Congrès Static debugging of C programs / {R. Gaugne} : detection of pointer errors in recursive data structuresPublication : Rocquencourt (FRA) : INRIA, 1997Description : 24 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2258] (1).
119.  Monographies, textes Structuration des données informatiques [] : initiation et applications / Bertrand Ibrahim, Christian PellegriniPublication : Paris : Dunod-Bordas, 1989, 93-Montreuil : Impr. Gauthier-VillarsDescription : 1 vol (253 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 2672] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI6478] (1).
120.  Monographies, textes STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS. [ [Texte imprimé]] / {H. Abelson, G. Sussman}Publication : CAMBRIDGE : MIT press, 1987Availability: Copies available for loan: Bib. Paris[EMP 109.674] (1). Copies available for reference: Centre de recherche en informatique[ABE] (3).
121. Congrès STRUCTURE DE DONNEES POUR LA REPRESENTATION ET LA MANIPULATION DES POLYEDRES. / {T. Carlier, N. Szafran}Publication : S.L. : [s.n.], 1989Description : 01 VOL.,41 P. : 8 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6662] (1).
122.  Monographies, textes Structure et interprétation des programmes informatiques [] / Harold Abelson,... Gerald Jay Sussman,... ; avec Julie Sussman,... ; texte français de Michel Briand,... Pierre Chamard,... et André Pic,...Translation of : , Structure and interpretation of computer programs[Texte imprimé] / Harold Abelson, Gerald Jay Sussman = 1985Publication : Paris : InterEditions, cop. 1989, 28-La Loupe : Arts graphiques du PercheDescription : 1 vol. (XIX-496 p.) : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5029] (1).
123. Congrès STRUCTURES COMPLEXES PERMANENTES : FORMALISATION ET PRATIQUES EN ADA. / {M. Gauthier}Publication : S.L. : [s.n.], 1985Description : 01 VOL.,20 P. : 12 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2987] (2).
124. Congrès Structures de données : Une Approche avancée utilisant C / {J. Esakov}Translation of : Data structures: an advanced approach using CPublication : Paris la Défense : AFNOR, 1994Description : 382 P., PR 6 : Ill./Couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1643] (1).
125.  Monographies, textes Les Structures de données et leur représentation en mémoire / C. Pair, M.C. Gaudel ; [publié par l'] Institut de recherche d'informatique et d'automatiquePublication : Rocquencourt : IRIA, 1979, 78-Rocquencourt : Impr. IRIADescription : VIII-274 p : ill ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CA1149] (1).

Powered by Koha