m

F Nous contacter

0

Documents  68N19 | enregistrements trouvés : 9

O
     

-A +A

P Q

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

- 468p.
ISBN 978-3-540-58402-5

Lecture notes in computer science , 0844

Localisation : Collection 1er étage

informatique # logique de programmation # langage de programmation # programmation logique # programmation algorithmique # programmation orientée objet # calcul parallèle

00B25 ; 68-06 ; 68N17 ; 68N15 ; 68N19

... Lire [+]

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

- 316p.
ISBN 978-3-540-59155-9

Lecture notes in computer science , 0910

Localisation : Collection 1er étage

informatique # techniques de programmation par contraintes # intelligence artificielle # domaine de contraintes symboliques # Prolog

00B25 ; 68-06 ; 68Q85 ; 68N17 ; 68N19

... Lire [+]

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

- 450p.
ISBN 978-3-540-60045-9

Lecture notes in computer science , 0939

Localisation : Collection 1er étage

infoprmatique # vérification assistée par ordinateur # logique de programmation # langage formel # déduction # intelligence artificielle # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68N17 ; 68N19 ; 68T15 ; 68Q60

... Lire [+]

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

Research schools;Computer Science

35J25 ; 65N30 ; 65Y05 ; 68N19

... Lire [+]

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

Research schools;Computer Science

68N19 ; 68Uxx ; 65Y05 ; 65Y10

... Lire [+]

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

- xiv; 257 p.
ISBN 978-1-316-64123-1

Localisation : Ouvrage RdC (STEW)

langage de programmation # Python # SymPy # IPython

68-01 ; 00A06 ; 68N15 ; 68N19

... Lire [+]

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

- xvii; 278 p.
ISBN 978-3-540-00346-5

Lecture notes in computer science , 2547

Localisation : Collection 1er étage

algorithmie expérimentale # conception d'algorithme # logiciel robuste # informatique # méthodologies de calcul # logiciel efficace

68U99 ; 68Wxx ; 68-06 ; 68N19

... Lire [+]

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

- xii; 343 p.
ISBN 978-3-540-33258-9

Mathematics and visualization

Localisation : Ouvrage RdC (EFFE)

graphisme # informatique # géométrie calculatoire non-linéaire # structure de données # algorithme # courbe # surface # topologie calculatoire

68U05 ; 65D18 ; 14Q05 ; 14Q10 ; 14Q20 ; 68N19 ; 68N30 ; 65D17 ; 57Q15 ; 57R05 ; 57Q55 ; 65D05 ; 57N05 ; 57N65 ; 58A05 ; 68W05 ; 68W20 ; 68W25 ; 68W40 ; 68W30 ; 33F05 ; 57N25 ; 58A10 ; 58A20 ; 58A25 ; 65-06 ; 00B15

... Lire [+]

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

- 440 p.
ISBN 978-0-387-98990-7

Localisation : Salle Informatique

C++ # programmation objet # calcul numérique # calcul orienté objet # informatique #

68Uxx ; 68N19

... Lire [+]

Z