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 Van Leeuwen, J. 5 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 IV :
distributed systems. Part 2,semantics and logic
4th advanced course on... held in Amsterdam#June 14-25 De Bakker, J. W. ; Van Leeuwen, J. | Mathematisch Centrum 1985

Congrès

- 255 p.
Call n° : 00010485
informatique théorique # langage de programmation # logique de programmation # programmation # programme d'analyse # schéma

68B10 ; 68C05

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

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

Foundations of computer science IV :
distributed systems. Part 1, algorithms and complexity
4th advanced course on... held in Amsterdam#June 14-25 De Bakker, J. W. ; Van Leeuwen, J. | Mathematisch Centrum 1985

Congrès

- 122 p.
Call n° : 00010484
circuit intégré # conception de type de circuit intégré # construction de langage # langage # programmation parallèle

68C05 ; 68C25

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

Foundations of computer science III. Part 1 :
automata, data structures, complexity
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

- 112 p.
Call n° : 00010389
automatique # complexité # informatique théorique # langage formel # langage naturel # processus

68B15 ; 68C25 ; 68C40 ; 68D05 ; 68DXX

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

Automata,languages and programming :
seven colloquium held in noordwijkerhout#July 14-18 De Bakker, J. W. ; Van Leeuwen, J. | Springer-Verlag 1980

Congrès

- 671 p.
Call n° : 00012096
automate # complexité # informatique théorique # progammation # théorie des langages

68-XX

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

List: nb of elts/page

Select: All / None

Filter

Authors

MSC Codes

J More

Language