m

F Nous contacter

0

Documents  De Bakker, J. W. | enregistrements trouvés : 14

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 684p.
ISBN 978-3-540-58043-0

Lecture notes in computer science , 0803

Localisation : Collection 1er étage

informatique # programmation formelle # algébre de processus # système concurrent # temps réel # syncronicité # vérification automatique # logique temporelle

00B25 ; 68-06 ; 68Q45 ; 68Q85 ; 68T15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 671 p.
ISBN 978-3-540-10003-4

Lecture notes in computer science , 0085

Localisation : Collection 1er étage

automate # complexité # informatique théorique # progammation # théorie des langages

68-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 255 p.
ISBN 978-90-6196-255-7

Mathematical centre tracts , 0159

Localisation : Collection 1er étage

informatique théorique # langage de programmation # logique de programmation # programmation # programme d'analyse # schéma

68B10 ; 68C05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 122 p.
ISBN 978-90-6196-254-0

Mathematical centre tracts , 0158

Localisation : Collection 1er étage

circuit intégré # conception de type de circuit intégré # construction de langage # langage # programmation parallèle

68C05 ; 68C25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 215 p.
ISBN 978-90-6196-111-6

Mathematical centre tracts , 0063

Localisation : Collection 1er étage

complexité # fondements de l'informatique # informatique # programmation # recherche de l'information

68A05 ; 68A20 ; 68A50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 149 p.
ISBN 978-90-6196-141-3

Mathematical centre tracts , 0082

Localisation : Collection 1er étage

algorithme # langage formel # linguistique # programmation # système informatique

68A05 ; 68A10 ; 68A30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 147 p.
ISBN 978-90-6196-140-6

Mathematical centre tracts , 0081

Localisation : Collection 1er étage

algorithme # informatique # système informatique

68A10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 164 p.
ISBN 978-90-6196-177-2

Mathematical centre tracts , 0109

Localisation : Collection 1er étage

analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 112 p.
ISBN 978-90-6196-176-5

Mathematical centre tracts , 0108

Localisation : Collection 1er étage

automatique # complexité # informatique théorique # langage formel # langage naturel # processus

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-444-70024-7

C.w.i. monographs , 0001

Localisation : Colloque 1er étage (AMST)

algebre # automatique # informatique # informatique theorique # intellige nce artificielle # stochastique

68Mxx ; 68Q70 ; 68Q75 ; 68Qxx ; 68Txx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 716 p.
ISBN 978-3-540-16488-3

Lecture notes in computer science , 0224

Localisation : Collection 1er étage

calcul parallèle # logique # parallèle # programmation fonctionnelle # sémantique # syntaxe

68Q10 ; 68Q55 ; 68Q60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- pag. mult.

Mathematical centre tracts , 0037

Localisation : Collection 1er étage

algol60 # apl # équ ation différentielle # langage de programmation # programmation mathématiques # résolution numérique d'équation différentielle # stabilité

34-06 ; 34Dxx ; 35-06 ; 35B35 ; 65L05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 108 p.

Mathematical centre tracts , 0024

Localisation : Collection 1er étage

informatique # programmation # système informatique # théorie de la programmation

68A05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 207 p.

Mathematical centre tracts , 0016

Localisation : Collection 1er étage

68A15 ; 68A30 ; 68B10 ; 68F05

... Lire [+]

Z