m

F Nous contacter

0

Documents  D.1.3 | enregistrements trouvés : 22

O

-A +A

P Q

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

- 278 p.
ISBN 978-3-540-50667-6

Lecture notes in computer science , 0343

Localisation : Collection 1er étage

algèbre # grammaire # langage de programmation # logique mathématique # programmation logique # reécriture des systèmes # technique de programmation

68N17 ; 68Q25

... Lire [+]

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

- 415 p.
ISBN 978-3-540-61576-7

Lecture notes in computer science , 1120

Localisation : Collection 1er étage

calcul informatique # combinatoire # informatique théorique # mathématique discrète # mode de calcul # optimisation # programmation concurente # réseau d'ordinateur # système # système d'exploitation de réseau # système distribué # système partagé # système réparti # technique de programmation

68N05 ; 68Nxx ; 68Q10 ; 68Rxx ; 90Cxx

... Lire [+]

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

- 540 p.
ISBN 978-3-540-54430-2

Lecture notes in computer science , 0527

Localisation : Collection 1er étage

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

... Lire [+]

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

- 318 p.
ISBN 978-3-540-55236-9

Lecture notes in computer science , 0579

Localisation : Collection 1er étage

algorithes non numérique # algorithmes distribuées # algorithmique # analyse des algorithmes # complexité des algorithmes # informatique théorique # programmation concurente # programmation distribuée # réseaux # systèmes concurents # traitement de l'information

68-06 ; 68M10 ; 68M15 ; 68Q10 ; 68Q15

... Lire [+]

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

- 380 p.
ISBN 978-3-540-56188-0

Lecture notes in computer science , 0647

Localisation : Collection 1er étage

algorithme distribué # programmation distribué # protocole réseau # système d'exploitation # système distribué

68-06 ; 68M10 ; 68Q22

... 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.

- 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.

- 311 p.
ISBN 978-3-540-16479-1

Lecture notes in computer science , 0221

Localisation : Collection 1er étage

algorithme # inférence parallèle # intelligence artificielle # langage de programmation # langage de programmation logique # logique de programmation # logique mathématiques # machine # programmation # prolog

68N15 ; 68N20 ; 68Q20 ; 68T25

... Lire [+]

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

- 185 p.
ISBN 978-3-540-18923-7

Lecture notes in computer science , 0295

Localisation : Collection 1er étage

68-06 ; 68Q10

... Lire [+]

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

- 195 p.
ISBN 978-3-540-55038-9

Lecture notes in computer science , 0569

Localisation : Collection 1er étage

parallèle # programmation logique # prolog

68M15 ; 68Q10

... Lire [+]

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

- 523 p.
ISBN 978-3-540-15670-3

Lecture notes in computer science , 0197

Localisation : Collection 1er étage

algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware

68Q40 ; 68Q60 ; 68Q65

... Lire [+]

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

- 398 p.
ISBN 978-3-540-16047-2

Lecture notes in computer science , 0207

Localisation : Collection 1er étage

langage de requète # programmation parallèle # spécification # vérification de programme

68Q10

... Lire [+]

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

- 284 p.
ISBN 978-3-540-61736-5

Lecture notes in computer science , 1132

Localisation : Collection 1er étage

architecture # architecture des suites de données multiples # arithmétique # calcul informatique théorique # calcul parallèle # classification des langages # grammaire # langage de programmation # langage formel # logique et signification de programme # logique mathématique # modélisation # organisation des systèmes # programmation concurrente # structure de programmation # structure logique # système de réécriture # système informatique

... Lire [+]

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

- 316 p.
ISBN 978-90-6196-402-5

CWI tract , 0081

Localisation : Collection 1er étage

conception et sémantique # informatique théorique # langage objet-orienté parallèle # logique # mode de calcul # parallélisme # programmation parallèle

68Q10 ; 68Q55

... Lire [+]

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

- 163 p.
ISBN 978-3-540-63982-4

Lecture notes in computer science , 1354

Localisation : Collection 1er étage

conception de logiciel # informatique théorique # logique # programmation en concurrence # spécification de programme # technique de programmation # vérification de programme

68Q60 ; 90Cxx

... Lire [+]

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

- 781 p.
ISBN 978-3-540-54938-3

Lecture notes in computer science , 0556

Localisation : Collection 1er étage

conclog # parallèle # programmation logic # prolog

68N05

... Lire [+]

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

- 573 p.
ISBN 978-3-540-15216-3

Lecture notes in computer science , 0190

Localisation : Collection 1er étage

architecture des réseaux # architecture des systèmes # parallèle # processeurs # programmation prarallèle # protocole # réseaux # spécification # système distribués

08N25 ; 68Q10 ; 68Q22

... Lire [+]

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

- 199 p.
ISBN 978-90-6196-470-4

CWI tract , 0117

Localisation : Collection 1er étage

gestion des mémoires # informatique # langage de programmation # mémoire partagée # processeur # programmation concurrente # programmation fonctionnelle # système d'exploitation # technique de programmation

68Mxx ; 68N15 ; 68Nxx

... Lire [+]

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

- 698 p.
ISBN 978-0-387-97592-4

Localisation : Disparu;Ouvrage RdC (Mapl)

Maple # biblog # programmation # programme # système

68N05 ; 68N15 ; 68N25

... Lire [+]

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

- 197 p.
ISBN 978-3-540-18960-2

Lecture notes in computer science , 0198

Localisation : Collection 1er étage

implementation # langage de description # langage portal # portal # standard des langages de programmation # structure de programme

68N15

... Lire [+]

Z