Buchumschlag

QR-Code

Théorie des programmes : schémas, preuves, sémantique / par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Livercy, C.
Weitere Verfasser:	Finance, Jean-Pierre, Pair, Claude (1934- ). (Przedm.)
Format:	Buch
Sprache:	Französisch
Veröffentlicht:	Paris : Dunod, 1978.
Schriftenreihe:	Dunod Informatique. Phase Formation
Schlagworte:	Informatyka.

Ähnliche Einträge

Les systèmes d'information : analyse et conception / GALACSI ; nom collectif de : H. Briand [i 6 pozostałych] ; préface de Jacques Arsac.
Veröffentlicht: (1986)

The theory of computer science : a programming approach / J. M. Brady.
von: Brady, Michael (1945- ).
Veröffentlicht: (1977)

L'informatique système de communication et vocabulaire de l'entreprise / par H. Lesca, J. J. Maugis ; préface de Pierre Berger.
von: Lesca, Humbert
Veröffentlicht: (1976)

Principles and practice of information theory / Richard E. Blahut.
von: Blahut, Richard E.
Veröffentlicht: (1987)

Lexique de l'informatique / Jean Guilhaumou.
von: Guilhaumou, Jean
Veröffentlicht: (1976)

Lexique d'informatique et de micro-informatique : avec index alphabétique anglais-français / par Jeanne Milsant.
von: Milsant, Jeanne
Veröffentlicht: (1986)

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.
von: Bauer, Friedrich Ludwig (1924-2015)
Veröffentlicht: (1990)

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.
von: Bauer, Friedrich Ludwig (1924-2015)
Veröffentlicht: (1990)

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.
Veröffentlicht: (1985)

Ainsi naquit l'informatique : les hommes, les matériels à l'origine des concepts de l'informatique d'aujourd'hui / par R. Moreau.
von: Moreau, René (1921-2009)
Veröffentlicht: (1982)

Programming and coding for automatic digital computers / G. W. Evans, C. L. Perry.
von: Evans, George William (1920- ).
Veröffentlicht: (1961)

Dictionnaire de l'informatique / André le Garff ; préf. de Robert Faure.
von: Le Garff, Andre
Veröffentlicht: (1975)

Studia z informatyki prawniczej : [praca zbiorowa / pod red. nauk. Sylwestra Zawadzkiego].
Veröffentlicht: (1978)

Wstęp do systemów operacyjnych / A. J. T. Colin ; z języka angielskiego tłumaczył: Jan Bielecki.
von: Colin, Andrew John Theodore (1936-2018)
Veröffentlicht: (1976)

Dictionary of data processing : including applications in industry, administration and business = Fachwörterbuch der Datenverarbeitung : mit Anwendungsgebieten in Industrie, Verwaltung und Wirtschaft = Dictionnaire du traitement des données : et de son application dans l'industrie, l'administration et l'économie / Alfred Wittmann, Joël Klos.
von: Wittmann, Alfred
Veröffentlicht: (1977)

Informatyka dla ekonomistów / [red.] Stanisław Wrycza ; [aut. rozdz. Ryszard Ruszniak et al.].
Veröffentlicht: (2000)

Dicţionar de informatică / autori: Valentin Cristea, Petrică Dumitru, Cristian Giumale, Valeriu Iorga, Florica Moldoveanu, Tiberiu Popescu, Luca Şerbănaţi.
von: Cristea, Valentin
Veröffentlicht: (1981)

Popularny angielsko-niemiecko-polski słownik terminów komputerowych i informatycznych / [aut. oprac. Paweł Bąk et al.].
Veröffentlicht: (2006)

Die allgemeine Systemtheorie als Basis für Richtlingen zur Gestaltung von Management-Ingormationssystemen / von Klaus-Jürgen Teller.
von: Teller, Klaus-Jürgen (1943- ).
Veröffentlicht: (1975)

Prawne problemy systemów informatycznych : materiały konferencji naukowej. T. 2 / [organizator] Zarząd Główny i Zarząd Oddziału Wrocławskiego Towarzystwa Naukowego Organizacji i Kierownictwa, Instytut Nauk Społecznych Politechniki Wrocławskiej.
Veröffentlicht: (1977)

Prawne problemy systemów informatycznych : materiały konferencji informatyki prawniczej. T. 1 / [organizator] Zarząd Główny i Zarząd Oddziału Wrocławskiego Towarzystwa Naukowego Organizacji i Kierownictwa, Instytut Nauk Społecznych Politechniki Wrocławskiej.
Veröffentlicht: (1976)

Prawne problemy systemów informatycznych : materiały konferencji informatyki prawniczej. T. 1, z. 2 / [organizator] Zarząd Główny i Zarząd Oddziału Wrocławskiego Towarzystwa Naukowego Organizacji i Kierownictwa, Instytut Nauk Społecznych Politechniki Wrocławskiej.
Veröffentlicht: (1976)

Informatyczne przygotowanie nauczycieli : kształcenie zdalne - uwarunkowania, bariery, prognozy / pod red. Jacka Migdałka i Barbary Kędzierskiej.
Veröffentlicht: (2003)

Les enfants de l'ordinateur / Sherry Turkle ; traduit de l'américain par Claire Demange.
von: Turkle, Sherry (1948- ).
Veröffentlicht: (1986)

Les préalables à l'informatique / Pierre Palasi.
von: Palasi, Pierre

Systems thinking in Europe / edited by M. C. Jackson, G. J. Mansell, R. L. Flood, R. B. Blackham and S. V. E. Probert.
Veröffentlicht: (1991)

Informatyka dla humanistów / Włodzimierz Gogołek.
von: Gogołek, Włodzimierz (1949- ).
Veröffentlicht: (2012)

Wprowadzenie do informatyki / Jacek Bańkowski, Konrad Fiałkowski.
von: Bańkowski, Jacek (1940-2019)
Veröffentlicht: (1980)

Uwarunkowania rozwoju rynku komputerowego w Polsce / Dušan Bogdanov.
von: Bogdanov, Dušan
Veröffentlicht: (2001)

A dictionary of computers / Anthony Chandor with John Graham, Robin Williamson.
von: Chandor, Anthony
Veröffentlicht: (1977)

Dydaktyka informatyki : problemy teorii / pod red. Waldemara Furmanka, Aleksandra Piecucha.
Veröffentlicht: (2004)

Upravlenie v raspredelennyh informacionnyh sistemah : sbornik naučnyh trudov / otvet. red. V. G. Lazarev ; V. G. Černâev ; Akademiâ nauk SSSR. Institut problem peredači informacii.
Veröffentlicht: (1989)

Mały słownik informatyczny angielsko-polski / [red. Hanna Jezierska].
Veröffentlicht: (1990)

Słownik informatyczny angielsko-polski : 22335 haseł / Andrzej Marciniak, Michał Jankowski ; redaktor naukowy Wiktor Jassem.
von: Marciniak, Andrzej (1953- ).
Veröffentlicht: (1991)

Elemente einer Informatik-orientierten Sprache für den Entwurf von Organisationen / vorgelegt von Bernd Pletschacher.
von: Pletschacher, Bernd (1943- ).
Veröffentlicht: (1974)

ACM Guide to Computing Literature.
Veröffentlicht: (1977)

Upravlenie processami i resursami v raspredelennyh sistemah : sbornik naučnyh trudov / otvet. red. V. G. Lazarev ; V. G. Černâev ; Akademiâ nauk SSSR. Institut problem peredači informacii.
Veröffentlicht: (1989)

Propedeutyka informatyki / Władysław M. Turski.
von: Turski, Władysław Marek (1938-2013)
Veröffentlicht: (1979)

TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk.
Veröffentlicht: (1997)

The Penguin dictionary of computers / Anthony Chandor with John Graham, Robin Williamson.
von: Chandor, Anthony
Veröffentlicht: (1985)