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 68N05 64 results

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

Programmation en logique Hogger, C. J. | Masson 1987

Ouvrage

- 284 p.
Call n° : 00011341
logique # prédicat # programmation logique # structure de données # vérification de programme

68N05 ; 68N15 ; 68P05 ; 68Q60 ; 68Txx

Location : Ouvrage RdC (HOGG)

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

Computing in systems described by equations O'Donnell, Micheal J. | Springer-Verlag 1977

Ouvrage

- 111 p.
Call n° : 00012104
interprète # logique de l'information # processeur # programmation # théorie des langages

03-02 ; 68-06 ; 68N05 ; 68N15

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

Programming language theory and its implementation :
applicative and imperative paradigms Gordon, Michael J. C. | Prentice Hall 1988

Ouvrage

- 255 p.
Call n° : 00012114
calcul lambda # langage de programmation # logique # théorie des langages

68N05 ; 68N15

Location : Ouvrage RdC (GORD)

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

Logics of programs :
proceedings of a conference on... held at brooklyn coolege#June 17-19 Parikh, Rohit | Springer-Verlag 1985

Congrès

- 424 p.
Call n° : 00013913
construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme

68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60

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 methods of specification and synthesis of software systems '85 :
proceedings of the international spring school#Apri l 22-26 Bibel, W. ; Jentke, K. P. | Springer-Verlag 1986

Congrès

- 245 p.
Call n° : 00013948
algorithme # algorithmique # informatique théorique

68N05 ; 68Nxx ; 68Q20 ; 68Q25 ; 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

Concur '91 :
2nd international conference on concurrency theory held in amsterdam#Aug. 26-29 Baeten, J. C. M. ; Groote, J. F. | Springer-Verlag 1991

Congrès

- 540 p.
Call n° : 00014025
constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications

68N05 ; 68N15 ; 68Q10 ; 68Q60

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

The misconstrued semicolon :
reconciling imperative languages and dataflow machines Veen, A. H. | Centrum Voor Wiskunde En Informatica 1986

Ouvrage

- 180 p.
Call n° : 00015515
analyse des programmes # architecture du flux de données # classification des langages # construction # groupe de demande # langage de programmation # méthode # ordinateur # organisation des systèmes d'ordinateur # performance des systèmes # processeur # programmation du flux de données # proposition de la demande # semicolon # système d'ordinateur

68A05 ; 68M30 ; 68N05 ; 68N15

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

The art of computer programming. Vol. 1 :
fundamental algorithms Knuth, Donald E. | Addison-Wesley Publishing Company 1969

Ouvrage

- 634 p.
Call n° : 00037190
algorithme # arbre # liste linéaire # programmation # théorie des nombres élémentaires

11B39 ; 11B68 ; 68N05 ; 68P05

Location : Ouvrage RdC (KNUT)

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

Maple V :
library reference manual Char, Bruce W. ; Geddes, Keith O. ; Gonnet, Gaston H | Springer-Verlag 1991

Ouvrage

- 698 p.
Call n° : 00016295
Maple # biblog # programmation # programme # système

68N05 ; 68N15 ; 68N25

Location : Disparu;Ouvrage RdC (Mapl)

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

Approche fonctionnel de la programmation Cousineau, Guy ; Mauny, Michel | Ediscience international 1995

Ouvrage

- 428 p.
Call n° : 00019568
analyse syntaxique # application # arithmétique exacte # compilation # dessin # filtrage # fonction d'arbre # graphe # géométrie # implémentation # programmation fonctionnelle # structure de données # sémantique # terme # variable # équilibre d'arbre

68N05 ; 68P05 ; 68Q55 ; 68Q65 ; 68R10

Location : Ouvrage RdC (COUS)

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