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 E.2 9 results

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

Foundations of computer science III. Part 2 :
languages, logic, semantics
3rd advanced course on the foundation of computer science held at amsterdam#Aug. 21 -Sept. 1 De Bakker, J. W. ; Van Leeuwen, J. | Mathematisch Centrum 1981

Congrès

- 164 p.
Call n° : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

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

Advances in database technology - edbt'92 :
3rd international conference on extending database technology#March 23-27 Delobel, C. ; Gottlob, Georg ; Pirotte, A. | Springer-Verlag 1992

Congrès

- 551 p.
Call n° : 00014525
application # information théorique # intelligence artificielle # interface # langage construit # logique mathématique # représentation formelle des connaissances # stockage et représentation des données # système multimédia # systèmes experts # traitement des données

68Mxx ; 68P20 ; 68Pxx ; 68T30 ; 68Txx

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

Méthode générale d'analyse d'une application informatique. Tome 1 :
étapes et points fondamentaux de l'analyse fonctionnelle Castellani, Xavier | Masson 1985

Ouvrage

- 431 p.
Call n° : 00010282
analyse fonctionnelle # analyse organique # théorie de l'information

68B15

Location : Ouvrage RdC (CAST)

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

Méthode générale d'analyse d'une application informatique. Tome 2 :
étapes et points fondamentaux de l'analyse organique et de la programmation Castellani, Xavier | Masson 1985

Ouvrage

- 431 p.
Call n° : 00010283
analyse fonctionnelle # analyse organique # théorie de l'information

68B15

Location : Ouvrage RdC (CAST)

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

Algorithmes et structures de données Wirth, Niklaus ; Hernandez, Jean-Alain | Editions Eyrolles 1987

Ouvrage

- 320 p.
Call n° : 00011906
algorithme # algorithmique # structure de données

68P05 ; 68Q20 ; 68Q25 ; 68Q30

Location : Ouvrage RdC (WIRT)

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

Caap '83 :
trees in algebra and programming,8th colloquium,l'aquila#March 9-11 Ausiello, G. ; Protasi, M. | Springer-Verlag 1983

Congrès

- 416 p.
Call n° : 00013877
algèbre # algorithme # arbre # langage de programmation # programmation # programme # représentation de données # structure des données # techniques de programmation

68Nxx ; 68Q40 ; 68Q42 ; 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

Caap '86 :
11th colloquium on trees in algebra and programming#March 24-26 Franchi-Zannettacci, P. | Springer-Verlag 1986

Congrès

- 306 p.
Call n° : 00013947
arbre # grammaire # graphe # sémantique # syntaxe

68Q50 ; 68Q55 ; 68R10

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

Solving higher-order equations :
From logic to programming Prehofer, Christian | Birkhäuser 1998

Ouvrage

- 186 p.
Call n° : 00021977
fonction orthogonale # logique calculatoire # logique mathématique # logique symbolique # programmation déclarative

03Bxx ; 03Cxx ; 03Dxx

Location : Ouvrage RdC (PREH)

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

Computer algorithms :
introduction to design and analysis Baase, Sara ; Van Gelder, Allen | Addison Wesley 2000

Ouvrage

- 688 p.
Call n° : 00024248
algorithme # informatique # analyse d'algorithme # complexité # tri et recherche # stockage de données # accès aux données # structure de données # ensemble dynamique # graphe # programmation dynamique # chaîne # algorithme parallèle # JAVA

68-01 ; 68Q25 ; 68P10 ; 68P20 ; 68W99

Location : ouvrage RdC (BAAS)

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