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.
