Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Mes premières constructions de programmesA. Gerbier P BacchusSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Software, langages et systèmes d'exploitation ..François Chenique 1927-Paris Dunod 1971Localização: IME - Inst. Matemática e Estatística (QA750 C518s )(Acessar) |
|
3 |
Material Type: Livro
|
Dictionnaire d'informatiqueMichel Ginguay Annette LauretParis New York Masson 1987Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (R001.603 D554 )(Acessar) |
|
4 |
Material Type: Livro
|
Logique de la programmation sur les ensembles électroniquesB. Thuring G VangrevelingheParis Dunod 1963Item não circula. Consulte sua biblioteca.(Acessar) |
|
5 |
Material Type: Livro
|
TravauxL. Bolliet J.-C Boussard; Seminaire De Programmation (1967-1968 Grenoble)S.l. s.n. 1967Localização: IME - Inst. Matemática e Estatística (QA750.C S471t )(Acessar) |
|
6 |
Material Type: Livro
|
TravauxG. Huet Gilles Kahn; Colloques Sur La Construction, Amelioration Et Verification De Programmes (1975 Arc-Et-Senans)S.l. Iria n.d.Localização: IME - Inst. Matemática e Estatística (QA750.C C714t )(Acessar) |
|
7 |
Material Type: Tese de Doutorado
|
Etude de la construction des programmes methodes et langages de specification et de resolution de problemesJean-Pierre Finance1979Localização: IME - Inst. Matemática e Estatística (QA754.T F491e )(Acessar) |
|
8 |
Material Type: Livro
|
Bases de données et systèmes relationnelsC. Delobel 1938- Michel AdibaParis Dunod c1982Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (651.8 D361b )(Acessar) |
|
9 |
Material Type: Livro
|
Entraînement à la programmationJean Dominique Warnier Honeywell Bull CorporationParis Éditioins d'organisation 1972-Localização: IME - Inst. Matemática e Estatística (QA754 W285e v.2 )(Acessar) |
|
10 |
Material Type: Tese de Doutorado
|
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programmeBruno Courcelie Maurice Nivat1976Localização: IME - Inst. Matemática e Estatística (QA806.T C859s )(Acessar) |