En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 68CXX 8 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computation and proof theory, part II :
proceedings of the logic colloquium held in aachen#July 18-23 Borger, E. ; Oberschelp, W. ; Richter, M. M. | Springer-Verlag 1984

Congrès

- 475 p.
Call n° : 00007618

03Dxx ; 03Fxx ; 68CXX

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cabri-graphes,un cachier de brouillon intéractif pour la théorie des graphes Baudon, Olivier | Universite Joseph Fourier Grenoble I 1990

Thèse

- 172 p.
Call n° : 00013279
génération de graphe aléatoire # génie logiciel # intéractivité # manipulation graphique # théorie des graphes

68CXX ; 68R10

Location : Ouvrage RdC (BAUD)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Data structures and algorithms Aho, Alfred ; Hopcroft, John E. ; Ullman , Jeffrey D. | Addison-Wesley Publishing Company 1983

Ouvrage


Call n° : 00006298

68A05 ; 68BXX ; 68CXX

Location : Disparu

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Stacs 84 :
symposium of theoretical aspects of computer science#April 11-13 Fontet, M. ; Mehlhorn, K. | Springer-Verlag 1985

Congrès

- 431 p.
Call n° : 00010180
algorithme # algorithmique # complexité # informatique théorique # langage formel # logique # logique de programmation # logique mathématiques # programme # réseaux # système informatique

68-06 ; 68A05 ; 68CXX ; 68Q30 ; 68Qxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Analysis and synthesis of computer systems Gelenbe, E. ; Mitrani, I. | Academic Press 1985

Ouvrage

- 431 p.
Call n° : 00010109
automatique # file d

68A05 ; 68C15 ; 68CXX

Location : Ouvrage RdC (GELE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Essays on concepts, formalisms, and tools :
a collection of papers dedicated to leo A. M. Verbeek Asveld, P. R. J. ; Nijholt, A. | Centre For Mathematics And Computer Science 1987

Ouvrage

- 278 p.
Call n° : 00011865
informatique théorique # outil mathématique de l'informatique

68-XX ; 68B05 ; 68CXX ; 68DXX ; 68FXX

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mathematical foundations of computer science 1980 :
proceedings of the 9th symposium on... was held in rydzyna#Sept. 1-5 Dembinski, P. | Springer-Verlag 1980

Congrès

- 723 p.
Call n° : 00013818
langages de programmation # métathéorie # systèmes de controle

68BXX ; 68CXX

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Geometric modeling
theory and practice
the state of the art
proceedings of the conference held in Oct. 14-18 Klein, Reinhard, ; Rau, René ; Strasser, Wolfgang | Springer 1997

Congrès


Call n° : 00021962

68CXX ; 68N05 ; 68Pxx ; 68U05 ; 90Cxx

Location : Colloque 1er étage (BLAU)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language