m

Documents  F.1 | enregistrements trouvés : 47

O

-A +A

P Q

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

- 403 p.
ISBN 978-3-540-56287-0

Lecture notes in computer science , 0652

Localisation : Collection 1er étage

algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique

68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10

... Lire [+]

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

- 720 p.
ISBN 978-3-540-16492-0

Lecture notes in computer science , 0225

Localisation : Collection 1er étage

algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique

68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX

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

- 572 p.
ISBN 978-3-540-54398-5

Lecture notes in computer science , 0524

Localisation : Collection 1er étage

Pietrie # progammation # réseaux de Pietrie # théorie générale de progammation

68N05 ; 68Nxx

... Lire [+]

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

- 544 p.
ISBN 978-3-540-52953-8

Lecture notes in computer science , 0452

Localisation : Collection 1er étage

algèbre de l

68-06

... Lire [+]

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

- 517 p.
ISBN 978-3-540-63437-9

Lecture notes in computer science , 1295

Localisation : Collection 1er étage

informatique théorique # ingénering de logiciel # langage de programmation # langage formel # logique mathématique # mathématique discrète

68N15 ; 68N17 ; 68Nxx ; 68Q45 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 541 p.
ISBN 978-3-540-60017-6

Lecture notes in computer science , 0933

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55

... Lire [+]

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

- 215 p.
ISBN 978-0-387-15641-5

Lecture notes in computer science , 0192

Localisation : Collection 1er étage

arbres # automate # informatique théorique # logique

03D05 ; 68Q68 ; 68Qxx

... Lire [+]

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

- 374 p.
ISBN 978-3-540-13912-6

Lecture notes in computer science , 0182

Localisation : Collection 1er étage

algorithme # analyse des algorithmes # architecture des systèmes # circuit # informatique théorique # logique # logique formelle # logique mathématique # processeur # programmation logique # réseaux # traitement des données

68M10 ; 68M20 ; 68Mxx ; 68N17 ; 68N25

... Lire [+]

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

- 606 p.
ISBN 978-3-540-07854-8

Lecture notes in computer science , 0045

Localisation : Collection 1er étage

algorithme # complexité # ordinateur # programmation # système informatique

00Bxx ; 68-06

... Lire [+]

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

- 521 p.
ISBN 978-3-540-16042-7

Lecture notes in computer science , 0206

Localisation : Collection 1er étage

algorithme parallèle # algorithmique # distribution des algorithmes # gestion des systèmes # implementation de langage # informatique théorique # linguistique # logique de programmation # programmation # sémantique # théorie de l'informatique # vérification de programme

68Nxx ; 68Q22 ; 68Q25 ; 68Q55 ; 68Qxx

... Lire [+]

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

- 719 p.
ISBN 978-3-540-55719-7

Lecture notes in computer science , 0623

Localisation : Collection 1er étage

algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus

68Q10 ; 68Q25 ; 68Q30 ; 68Q50 ; 68R10

... Lire [+]

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

- 474 p.
ISBN 978-3-540-16761-7

Lecture notes in computer science , 0226

Localisation : Collection 1er étage

algèbre linéaire numérique # analyse des algorithmes et complexité des problèmes # approximation # calcul par des appareils abstraits # logique et signification des programmes # logique mathématique et langage formels # théorie des graphes

68Q05 ; 68Q25 ; 68Q45 ; 68R10

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

- 468 p.
ISBN 978-3-540-13883-9

Lecture notes in computer science , 0181

Localisation : Collection 1er étage

algèbre de l'informatique # algorithme # algorithmique # circuit # information # informatique théorique # langage formelle # logiciel # logique mathématique # programmation # programmation logique # programme # système # traitement des données

68N17 ; 68Nxx ; 68Q45 ; 68Uxx ; 94Axx

... Lire [+]

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

- 770 p.
ISBN 978-3-540-54415-9

Lecture notes in computer science , 0526

Localisation : Collection 1er étage

complexité # grammaire # informatique théorique # programmation logique # syntaxe émantique # théorie des types

68Pxx ; 68Q50 ; 68Q55

... Lire [+]

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

- 395 p.
ISBN 978-3-540-54945-1

Lecture notes in computer science , 0557

Localisation : Collection 1er étage

algorithme # algoritmique

68Qxx

... Lire [+]

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

- 521 p.
ISBN 978-3-540-55808-8

Lecture notes in computer science , 0629

Localisation : Collection 1er étage

algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de programmation algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de ...

68-06 ; 68-50 ; 68Nxx ; 68Qxx ; 68Rxx

... Lire [+]

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

- 650 p.
ISBN 978-3-540-16783-9

Lecture notes in computer science , 0233

Localisation : Collection 1er étage

algorithme # analyse des algorithmes # architecture des systèmes # circuit # complexité # informatique théorique # intelligence artificielle # langage # logique # programme

68-06 ; 68Qxx

... Lire [+]

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

- 471 p.
ISBN 978-0-387-10854-4

Lecture notes in computer science , 0117

Localisation : Collection 1er étage

informatique théorique

68Q15 ; 68Qxx

... Lire [+]

Z