skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical foundations of computer science 1991 : MFCS '91 proceedings
Material Type:
Acte de conférence
Ajouter à Mon espace

Mathematical foundations of computer science 1991 : MFCS '91 proceedings

Symposium on Mathematical Foundations of Computer Science 016 Kazimierz Dolny 1991. ; Tarlecki, Andrzej (1956-....)

Berlin New York NY Paris : Springer, 1991

Voir les exemplaires

2
Computation as logic.
Material Type:
Livre
Ajouter à Mon espace

Computation as logic.

Lalement, René ; Plaice, John

Paris Hemel : Masson Prentice Hall, 1993

Voir les exemplaires

3
Material Type:
Thèse
Ajouter à Mon espace

Contributions théoriques à la conception et l'évaluation d'un système d'informations appliqué à la gestion.

Delobel, Claude. ; Université Scientifique et Médicale de Grenoble.

Grenoble : s.n., 1973

Voir les exemplaires

4
CAAP '90 : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

CAAP '90 : proceedings ..

Colloquium on Trees in Algebra and Programming 015 Copenhagen 1990. ; Arnold, André (1945-....)

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

5
Information-theoretic incompleteness.
Material Type:
Livre
Ajouter à Mon espace

Information-theoretic incompleteness.

Chaitin, Gregory J.

Singapore River Edge NJ London : World Scientific, 1992

Voir les exemplaires

6
Fourth annual symposium on logic in computer science : LICS-89 proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Fourth annual symposium on logic in computer science : LICS-89 proceedings ..

Annual Symposium on Logic in Computer Science 004 Pacific Grove CA 1989. ; The Institute of Electrical and Electronics Engineers.

Washington DC Brussels Tokyo : IEEE Computer Society Press, 1989

Voir les exemplaires

7
Theoretical computer science
Material Type:
Livre
Ajouter à Mon espace

Theoretical computer science

Hromkovic, Juraj (1958-....)

Berlin New York N.Y. : Springer, 2004

Voir les exemplaires

8
Analogies between analogies : the mathematical reports of S.M. Ulam and his Los Alamos collaborators
Material Type:
Livre
Ajouter à Mon espace

Analogies between analogies : the mathematical reports of S.M. Ulam and his Los Alamos collaborators

Ulam, Stanislaw Marcin (1909-1984.) ; Bednarek, A. R. ; Ulam, Françoise

Berkeley CA Oxford : University of California Press, 1990

Voir les exemplaires

9
Advances in linear logic.
Material Type:
Livre
Ajouter à Mon espace

Advances in linear logic.

Congrès Ithaca NY 1993. ; Girard, Jean-Yves (1947-....) ; Lafont, Yves ; Regnier, Laurent

Cambridge : Cambridge University Press, 1995

Voir les exemplaires

10
Lectures on linear logic.
Material Type:
Livre
Ajouter à Mon espace

Lectures on linear logic.

Troelstra, Anne Sjerp.

Stanford CA : CSLI Center for the Study of Language and Information, 1992

Voir les exemplaires

11
STACS 90 : proceedings ..
Material Type:
Acte de conférence
Ajouter à Mon espace

STACS 90 : proceedings ..

Annual Symposium on Theoretical Aspects of Computer Science 007 Rouen 1990. ; Choffrut, Christian (19..-....) ; Lengauer, Thomas (1952-....)

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

12
Category theory and computer science : Paris, France, September 3-6, 1991 proceedings
Material Type:
Livre
Ajouter à Mon espace

Category theory and computer science : Paris, France, September 3-6, 1991 proceedings

Category Theory and Computer Science Summer conference 4 1991 Paris. ; Pitt, David H. (1946-....) ; Curien, Pierre-Louis ; Abramsky, Samson (1953-....)

Berlin New York N.Y. Paris : Springer, 1991

Voir les exemplaires

13
Mathematical foundations of computer science 1990 : MFCS '90 proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Mathematical foundations of computer science 1990 : MFCS '90 proceedings ..

Congrès 015 Banská Bystrica 1990. ; Rovan, Branislav

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

14
Proceedings of the twenty-first annual ACM Symposium on theory of computing, Seattle, Washington, May 15-17, 1989.
Material Type:
Acte de conférence
Ajouter à Mon espace

Proceedings of the twenty-first annual ACM Symposium on theory of computing, Seattle, Washington, May 15-17, 1989.

ACM Symposium on theory of computing 21 1989 Seattle, Wash.

New York : ACM press, 1989

Voir les exemplaires

15
Computer communications.
Material Type:
Acte de conférence
Ajouter à Mon espace

Computer communications.

Symposium in Applied Mathematics 31 1983 Denver, Colo. ; Gopinath, B.

Providence RI : American mathematical society, 1985

Voir les exemplaires

16
Material Type:
Livre
Ajouter à Mon espace

Les Recherches sur les neuro-ordinateurs au Japon

FRANCE, Ambassade au Japon ; Gogan, Paul

Paris : Direction de la coopération scientifique, technique et du développement, 1988

Voir les exemplaires

17
Geometric computing science : first steps
Material Type:
Livre
Ajouter à Mon espace

Geometric computing science : first steps

Hermann, Robert (1931-....)

Brookline, Mass. : Math Sci Press, 1991

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

A probabilistic analysis of string edit problem = Analyse probabiliste du problème de l'édition de mitif

LOUCHARD, Guy ; SZPANKOWSKI, Wojciech

Le Chesnay : Institut national de recherche en informatique et en automatique, 1992

Voir les exemplaires

19
Material Type:
Livre
Ajouter à Mon espace

On the Lempel-Ziv parsing algorithm and its digital tree representation = Note sur l'algorithme de compression de Lempel-Ziv et sa représentation en arbre digital

JACQUET, Philippe ; SZPANKOWSKI, Wojciech

Le Chesnay : Institut national de recherche en informatique et en automatique, 1993

Voir les exemplaires

20
Foundations of software technology and theoretical computer science : FST & TCS... proceedings
Material Type:
Livre
Ajouter à Mon espace

Foundations of software technology and theoretical computer science : FST & TCS... proceedings

Congrès 011 New Delhi 1991. ; Biswas, Somenath ; Nori, Kesav V. (1945-....)

Berlin New York NY Paris : Springer, 1991

Voir les exemplaires

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (6)
  2. Autres  (7)
  3. Livres  (40)
  4. Thèses  (149)
  5. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1981  (9)
  2. 1981 à 1988  (24)
  3. 1989 à 1994  (100)
  4. 1995 à 2001  (57)
  5. Après 2001  (13)
  6. Plus d’options open sub menu

Langue 

  1. Français  (167)
  2. Anglais  (48)
  3. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré