m

Documents  Jensen, K. | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 398 p.
ISBN 978-3-540-55676-3

Lecture notes in computer science , 0616

Localisation : Collection 1er étage

analyse d'algorithme # bisimulation # calcul par dispositif abstrait # complexité # informatique théorique # logique des programmes # modélisation # multi-processeur # réseau de Pétri # signification des programmes # simulation # système d'exploitation

68-06 ; 68N25 ; 68Nxx ; 68Q25 ; 68Qxx

... Lire [+]

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

- 724 p.
ISBN 978-3-540-54125-7

Localisation : Ouvrage RdC (High)

architecture des processeurs # gestion de systemes # graphe # langage de programmation # réseau de Pietri # stochastique # technique de programmation # théorie des modeles

68M10 ; 68Mxx ; 90B15 ; 94A05

... Lire [+]

Z