m

Documents  D.2 | enregistrements trouvés : 34

O

-A +A

P Q

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


ISBN 978-0-444-87661-4

Localisation : Colloque 1er étage (SAN)

68-02 ; 68Mxx ; 68Nxx

... Lire [+]

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

- 322 p.
ISBN 978-3-540-07804-3

Lecture notes in computer science , 0044

Localisation : Collection 1er étage

architecture des systèmes # programmation # programme # traitement des données # vérification de programme

68M07 ; 68Mxx ; 68P05 ; 68Q60

... Lire [+]

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

- 455 p.
ISBN 978-3-540-15199-9

Lecture notes in computer science , 0186

Localisation : Collection 1er étage

logiciel # logique # progammation logique # programmation # programme

68N05 ; 68N17

... Lire [+]

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

- 518 p.
ISBN 978-3-540-17179-9

Lecture notes in computer science , 0241

Localisation : Collection 1er étage

algorithme # calcul distribué # calcul en temps réel # calcul paralèlle # circuit integré # complexité # parallèle # programmation # réseaux

68Q22

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

- 209 p.
ISBN 978-3-540-50695-9

Lecture notes in computer science , 0341

Localisation : Collection 1er étage

évaluation des programmes # langage # programmation # système informatique # texte

68M15 ; 68N15

... Lire [+]

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

- 402 p.
ISBN 978-3-540-54869-0

Lecture notes in computer science , 0555

Localisation : Collection 1er étage

algorithmique # complexité # compression # heuristique # informatique graphique # informatique orienté # intelligence artificielle # relations homme- machine # réseaux # réseaux neuronaux

68M10 ; 68M15 ; 68Q10 ; 68Uxx

... Lire [+]

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

- 613 p.
ISBN 978-3-540-55578-0

Lecture notes in computer science , 0602

Localisation : Collection 1er étage

apprentissage assisté par ordinateur # ingenierie de logiciel # intelligence artificielle # éducation et informatique

68-06 ; 68Nxx ; 68Txx ; 68U30

... Lire [+]

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

- 324 p.
ISBN 978-3-540-55585-8

Lecture notes in computer science , 0603

Localisation : Collection 1er étage

ADA # ingénierie de logiciel # langage de programmation # programmation automatique # programmation concurrente # programmation fonctionne lle # programmation orientée objet # programmation séquentielle # système d'exploitation # technique de programmation

68-06 ; 68N05 ; 68N15 ; 68N25

... Lire [+]

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


ISBN 978-0-89791-914-2

Localisation : Colloque 1er étage (BOST)

amélioration de processus # analyse de C et C++ # analyse statistique # compréhension de programme # essai et analyse # exploitation d'Internet # fiabilité # ingénierie de logiciel # ingénierie inverse # inspection et revue # matériel et logiciel # métrique # spécification formelle # système à héritage # technologie oriental-objet # utilisateur d'interface # économie et loi

68-06 ; 68Nxx

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

- 494 p.
ISBN 978-3-540-18834-6

Lecture notes in computer science , 0294

Localisation : Collection 1er étage

architecture des processeurs # calcul # communication réseau # engineering logiciel # environnement de programmation # géométrie de l

68M10 ; 68Mxx ; 68N05 ; 68Nxx ; 68Qxx ; 68Rxx ; 68U05

... Lire [+]

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

- 392 p.
ISBN 978-3-540-40189-6

Lecture notes in computer science , 2665

Localisation : Collection 1er étage

sécurité informatique # système intelligent # sécurité des informations # surveillance # fouille de données # détection de fraude # sécurité des réseaux # système coopératif # gestion de connaissance

94-06 ; 68-06

... Lire [+]

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

- 328 p.
ISBN 978-2-04-010516-7

Dunod informatique

Localisation : Ouvrage RdC (LIVE)

théorie des programmes # schéma # preuve # sémantique

68N15

... Lire [+]

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

- 431 p.

Localisation : Ouvrage RdC (COHE)

automatique théorique # conception et fabrication de logiciel # informatique # informatique theorique # langage # langage de programmation

68-01 ; 68-02 ; 68Nxx ; 68Q45 ; 68Q50

... Lire [+]

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

- 299 p.
ISBN 978-0-13-451832-9

Localisation : Ouvrage RdC (Impl)

intelligence artificielle # langage de programmation # langage informatique

68Nxx ; 68T15

... Lire [+]

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


ISBN 978-0-201-10179-9

Localisation : Salle de Manutention

edition de textes # graphe # impression laser # langage de programmation

... Lire [+]

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


ISBN 978-0-201-10174-4

Localisation : Salle de Manutention

edition de textes # graphe # impression laser # langage de programmation

... Lire [+]

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


ISBN 978-2-7361-0288-3

Collection performance

Localisation : Salle de Manutention

edition de textes # graphisme # micro-edition # typographie

68U15

... Lire [+]

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


ISBN 978-2-7296-0195-9

Localisation : Salle de Manutention

edition de textes # graphe # graphisme # impression laser # langage de programmation # m icro-edition

68U15

... Lire [+]

Z