Théorie des programmes : schémas, preuves, sémantique / par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair.
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | , |
| Natura: | Libro |
| Lingua: | francese |
| Pubblicazione: |
Paris :
Dunod,
1978.
|
| Serie: | Dunod Informatique. Phase Formation
|
| Soggetti: |
Documenti analoghi
Les systèmes d'information : analyse et conception / GALACSI ; nom collectif de : H. Briand [i 6 pozostałych] ; préface de Jacques Arsac.
Pubblicazione: (1986)
Pubblicazione: (1986)
The theory of computer science : a programming approach / J. M. Brady.
di: Brady, Michael (1945- ).
Pubblicazione: (1977)
di: Brady, Michael (1945- ).
Pubblicazione: (1977)
L'informatique système de communication et vocabulaire de l'entreprise / par H. Lesca, J. J. Maugis ; préface de Pierre Berger.
di: Lesca, Humbert
Pubblicazione: (1976)
di: Lesca, Humbert
Pubblicazione: (1976)
Principles and practice of information theory / Richard E. Blahut.
di: Blahut, Richard E.
Pubblicazione: (1987)
di: Blahut, Richard E.
Pubblicazione: (1987)
Lexique de l'informatique / Jean Guilhaumou.
di: Guilhaumou, Jean
Pubblicazione: (1976)
di: Guilhaumou, Jean
Pubblicazione: (1976)
Theorie und Praxis des Lexikons / hrsg. von Frank Beckmann und Gerhard Heyer.
Pubblicazione: (1993)
Pubblicazione: (1993)
Methods of information integration theory / Norman H. Anderson.
di: Anderson, Norman H.
Pubblicazione: (1982)
di: Anderson, Norman H.
Pubblicazione: (1982)
Dictionnaire de l'informatique / André le Garff ; préf. de Robert Faure.
di: Le Garff, Andre
Pubblicazione: (1975)
di: Le Garff, Andre
Pubblicazione: (1975)
Comprendre les systèmes d'information : exercises corrigés d'analyse et de conception / GALACSI ; nom collectif de : H. Briand [et al.].
Pubblicazione: (1985)
Pubblicazione: (1985)
Méthode générale d'analyse d'une application informatique. T. 2, Étapes et points fondamentaux de l'analyse détaillée et de la programmation / par Xavier Castellani.
di: Castellani, Xavier (1946- )
Pubblicazione: (1975)
di: Castellani, Xavier (1946- )
Pubblicazione: (1975)
Lexique d'informatique et de micro-informatique : avec index alphabétique anglais-français / par Jeanne Milsant.
di: Milsant, Jeanne
Pubblicazione: (1986)
di: Milsant, Jeanne
Pubblicazione: (1986)
Les préalables à l'informatique / Pierre Palasi.
di: Palasi, Pierre
di: Palasi, Pierre
Comment conduire un projet informatique / Pierre Lhermitte et l'équipe des informaticiens de la SG2.
di: Lhermitte, Pierre
Pubblicazione: (1979)
di: Lhermitte, Pierre
Pubblicazione: (1979)
The managerial implications of microelectronics / edited by Brian C. Twiss.
Pubblicazione: (1981)
Pubblicazione: (1981)
Programmation linéaire / par M. Simonnard ; préf. de R. Fortet.
di: Simonnard, Michel
Pubblicazione: (1962)
di: Simonnard, Michel
Pubblicazione: (1962)
Empirical foundations of information and software science : proceedings of the Second Symposium on Empirical Foundations of Information and Software Science, sponsored by the School of Information and Computer Science, Georgia Institute of Technology, held October 3-5, 1984, in Atlanta, Georgia / edited by Jagdish C. Agrawal and Pranas Zunde.
Pubblicazione: (1985)
Pubblicazione: (1985)
Programming and coding for automatic digital computers / G. W. Evans, C. L. Perry.
di: Evans, George William (1920- ).
Pubblicazione: (1961)
di: Evans, George William (1920- ).
Pubblicazione: (1961)
Conception et gestion des systèmes documentaires / Georges Van Slype.
di: Slype, Georges van (1928-2009)
Pubblicazione: (1977)
di: Slype, Georges van (1928-2009)
Pubblicazione: (1977)
Dictionary based methods and tools for language engineering / Zygmunt Vetulani [et al.].
Pubblicazione: (1998)
Pubblicazione: (1998)
A dictionary of computers / Anthony Chandor with John Graham, Robin Williamson.
di: Chandor, Anthony
Pubblicazione: (1977)
di: Chandor, Anthony
Pubblicazione: (1977)
Informatyka : komputer i internet : słownik encyklopedyczny / Zdzisław Płoski.
di: Płoski, Zdzisław
Pubblicazione: (2002)
di: Płoski, Zdzisław
Pubblicazione: (2002)
Komputery w dydaktyce szkoły wyższej / Stanisław Jarmark ; Ministerstwo Nauki, Szkolnictwa Wyższego i Techniki.
di: Jarmark, Stanisław Eugeniusz
Pubblicazione: (1979)
di: Jarmark, Stanisław Eugeniusz
Pubblicazione: (1979)
An introduction to the principles of communication theory / John C. Hancock.
di: Hancock, John C. (1929- ).
Pubblicazione: (1961)
di: Hancock, John C. (1929- ).
Pubblicazione: (1961)
Słownik angielsko-polski z zakresu informatyki. T. 1 / [oprac. Józef Bohdanowicz] ; Ośrodek Badawczo-Rozwojowy Informatyki.
di: Bohdanowicz, Józef
Pubblicazione: (1977)
di: Bohdanowicz, Józef
Pubblicazione: (1977)
Słownik angielsko-polski z zakresu informatyki. T. 2 / [oprac. Józef Bohdanowicz] ; Ośrodek Badawczo-Rozwojowy Informatyki.
di: Bohdanowicz, Józef
Pubblicazione: (1977)
di: Bohdanowicz, Józef
Pubblicazione: (1977)
Informatika : vvodnyj kurs. Č. 1 / F. L. Bauèr, G. Gooz ; per. s nem. M. K. Valieva, V. G. Kerbelâ i V. K. Sabel'fel'da ; pod red. A. P. Eršova.
di: Bauer, Friedrich Ludwig (1924-2015)
Pubblicazione: (1990)
di: Bauer, Friedrich Ludwig (1924-2015)
Pubblicazione: (1990)
Informatika : vvodnyj kurs. Č. 2 / F. L. Bauèr, G. Gooz ; per. s nem. M. K. Valieva, V. G. Kerbelâ i V. K. Sabel'fel'da ; pod red. A. P. Eršova.
di: Bauer, Friedrich Ludwig (1924-2015)
Pubblicazione: (1990)
di: Bauer, Friedrich Ludwig (1924-2015)
Pubblicazione: (1990)
Informatyka : poradnik dla ekonomistów : praca zbiorowa / pod red. Elżbiety Niedzielskiej ; [aut.: Jerzy Chełchowski et al.].
Pubblicazione: (1977)
Pubblicazione: (1977)
Ainsi naquit l'informatique : les hommes, les matériels à l'origine des concepts de l'informatique d'aujourd'hui / par R. Moreau.
di: Moreau, René (1921-2009)
Pubblicazione: (1982)
di: Moreau, René (1921-2009)
Pubblicazione: (1982)
Politique informatique dans l'entreprise / par R. Baulac ; avec la collab. de J. Latil [et al.] ; préf. de J. J. Baron.
di: Baulac, Raymond
Pubblicazione: (1975)
di: Baulac, Raymond
Pubblicazione: (1975)
Słownik terminów z zakresu informatyki polsko-angielsko-rosyjski / Bronisława Lenczewska ; Politechnika Łódzka. Ośrodek Elektronicznej Techniki Obliczeniowej.
di: Lenczewska, Bronisława
Pubblicazione: (1977)
di: Lenczewska, Bronisława
Pubblicazione: (1977)
Wstęp do systemów operacyjnych / A. J. T. Colin ; z języka angielskiego tłumaczył: Jan Bielecki.
di: Colin, Andrew John Theodore (1936-2018)
Pubblicazione: (1976)
di: Colin, Andrew John Theodore (1936-2018)
Pubblicazione: (1976)
Economics and artificial intelligence : proceedings of the IFAC/IFORS/IFIP/IASC/AFCET Conference, Aix-en-Provence, France, 2-4 September 1986 / edited by Jean-Louis Roos.
Pubblicazione: (1987)
Pubblicazione: (1987)
Studia z informatyki prawniczej : [praca zbiorowa / pod red. nauk. Sylwestra Zawadzkiego].
Pubblicazione: (1978)
Pubblicazione: (1978)
Datenmanagement : Datenbanken und betriebliche Datenmodellierung / von Joachim Fischer ; unter Mitarb. von Holger Dresing.
di: Fischer, Joachim (1950- ).
Pubblicazione: (1992)
di: Fischer, Joachim (1950- ).
Pubblicazione: (1992)
Organization, management, and expert systems : models of automated reasoning / ed.: Michael Masuch.
Pubblicazione: (1990)
Pubblicazione: (1990)
Problemy i metody nauki o informacji : szkice i studia / pod red. Mirosława Górnego i Piotra Nowaka ; Instytut Lingwistyki Uniwersytetu im. A. Mickiewicza. Zakład Komunikacji Społecznej.
Pubblicazione: (1998)
Pubblicazione: (1998)
Théorie sociologique / par Pierre Birnbaum et François Chazel.
di: Birnbaum, Pierre (1940- )
Pubblicazione: (1975)
di: Birnbaum, Pierre (1940- )
Pubblicazione: (1975)
Informatik als Schulfach : didaktische Handreichungen für das Schulfach Informatik / herausgegeben von Wolfgang Arlt.
Pubblicazione: (1981)
Pubblicazione: (1981)
Dynamic economic theory : a viability approach / Jean-Pierre Aubin.
di: Aubin, Jean-Pierre
Pubblicazione: (1997)
di: Aubin, Jean-Pierre
Pubblicazione: (1997)