m

Documents  G.1 | enregistrements trouvés : 17

O
     

-A +A

P Q

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.

- 324 p.
ISBN 978-3-540-09118-9

Lecture notes in computer science , 0067

Localisation : Collection 1er étage

algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages

03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX

... Lire [+]

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

- 260 p.
ISBN 978-3-540-10576-3

Lecture notes in computer science , 0104

Localisation : Collection 1er étage

informatique théorique

68-02 ; 68Pxx ; 68Rxx

... Lire [+]

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

- 552 p.
ISBN 978-3-540-10843-6

Lecture notes in computer science , 0115

Localisation : Collection 1er étage

automate # complexité # langage # logique # programmation

68-XX

... 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 [+]

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

- 589 p.
ISBN 978-3-540-10856-6

Lecture notes in computer science , 0118

Localisation : Collection 1er étage

informatique théorique

68Q15 ; 68Qxx

... Lire [+]

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

- 611 p.
ISBN 978-3-540-62616-9

Lecture notes in computer science , 1200

Localisation : Collection 1er étage

analyse numérique # encryptage des données # fonction booléenne # géométrie de l'informatique # information graphique # informatique théorique # mathématique discrète # modélisation d'objet # spécification et vérification de système # système d'exploitation # système d'information # technique de programmation # théorie d'automate # théorie de complexité

68-04 ; 68M07 ; 68N05 ; 68N25 ; 68Pxx

... Lire [+]

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

- 690 p.
ISBN 978-3-540-60922-3

Lecture notes in computer science , 1046

Localisation : Collection 1er étage

algorithme parallèle # analyse des algorithmes # architecture # communication # complexité # cryptographie # génie logiciel # géométrie de l'informatique # information # informatique # logique # mathématique discrète # modélisation d'objet # performance # problème de complexité # programme de vérification de système # système d'exploitation # système distribué # sémantique # technique du logiciel # théorie d'automate # théorie des bases des données algorithme parallèle # analyse des algorithmes # architecture # communication # complexité # cryptographie # génie logiciel # géométrie de l'informatique # information # informatique # logique # mathématique discrète # modélisation d'objet # performance # problème de complexité # programme de vérification de système # système d'exploitation # système distribué # sémantique # technique du logiciel # théorie d'automate # théorie des bases des ...

68N25 ; 68Nxx ; 68P22 ; 68P25 ; 68Pxx

... Lire [+]

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


ISBN 978-3-540-61883-6

Focus and computer graphics

Localisation : Colloque 1er étage (BLAU)

algorithme # analyse numérique # automate # conception de logiciel # géométrie de l'informatique # géométrie discrète # informatique graphique # mathématique discrète # modélisation d'objet # modélisation géométrique # outil mathématique # représentation # système # traitement des données

68Pxx ; 68Qxx ; 68Rxx

... Lire [+]

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

- 618 p.
ISBN 978-3-540-55210-9

Lecture notes in computer science , 0577

Localisation : Collection 1er étage

acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # système distribué # système informatique # sémantique # transformation géométrique acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # ...

68M10 ; 68Mxx ; 68Q25 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 782 p.
ISBN 978-3-540-57785-0

Lecture notes in computer science , 0775

Localisation : Collection 1er étage

algorithme efficient # algorithme parallèle # analyse numérique # calcul informatique # calcul numérique # calcul parallèle # classe de complexité # code combinatoire # complexité de système # complexité du calcul informatique # complexité structurelle # corde # hiérarchie # informatique théorique # langage de spécification # langage formel # logique # mathématique discrète # récursivité # réécriture des systèmes # système d'exploitation # sémantique # technique de programmation algorithme efficient # algorithme parallèle # analyse numérique # calcul informatique # calcul numérique # calcul parallèle # classe de complexité # code combinatoire # complexité de système # complexité du calcul informatique # complexité structurelle # corde # hiérarchie # informatique théorique # langage de spécification # langage formel # logique # mathématique discrète # récursivité # réécriture des systèmes # système d'exploitation # ...

68-06 ; 68M05 ; 68Mxx ; 68N05 ; 68Q10

... Lire [+]

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


ISBN 978-3-540-61883-6

Localisation : Colloque 1er étage (BLAU)

68CXX ; 68N05 ; 68Pxx ; 68U05 ; 90Cxx

... Lire [+]

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

- 412 p.
ISBN 978-3-540-66907-4

Lecture notes in computer science , 1745

Localisation : Collection 1er étage

HiPC # architecture des processus # compilation # débit à haute fréquence # informatique # mathématique de l informatique # mécanique de programmation # outil de l informatique # performance des systèmes # planificationn # programmation # système d exploitation

68-06 ; 68M10 ; 68Q22 ; 68Qxx

... Lire [+]

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

- 114 p.
ISBN 978-0-201-15585-3

Localisation : Ouvrage RdC (MAUR)

algèbre linéaire algorithmique # algorithmique # arborescence # équation de différence # graphe # induction # logique mathématique # mathématique de l'informatique # mathématique discrète # probabilité

68Rxx ; 68Txx

... Lire [+]

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

- 274 p.
ISBN 978-3-540-61043-4

Lecture notes in computer science , 1054

Localisation : Collection 1er étage

algorithme # analyse numérique # approximation # calcul combinatoire # calcul numérique # mathématique discrète # méthode combinatoire # optimisation discrète # pogrammation dynamique # problème d optimisation # programmation mathématique # solution combinatoire

65Y05 ; 68Q22 ; 90-06 ; 90C27

... Lire [+]

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

- 1002 p.
ISBN 978-0-521-75033-2

Localisation : Ouvrage RdC (Nume)

informatique # langage C++ # programme informatique # programmation orientée objet # algorithme # analyse numérique # calcul scientifique # solution d'équation algébrique linéaire # interpolation # extrapolation # intégration # évaluation de fonction # fonction spéciale # nombre aléatoire # tri # équation non linéaire # minimisation de fonction # maximisation de fonction # transformation de Fourier # statistique # modélisation # théorie inverse # EDP informatique # langage C++ # programme informatique # programmation orientée objet # algorithme # analyse numérique # calcul scientifique # solution d'équation algébrique linéaire # interpolation # extrapolation # intégration # évaluation de fonction # fonction spéciale # nombre aléatoire # tri # équation non linéaire # minimisation de fonction # maximisation de fonction # transformation de Fourier # statistique # modélisation # théorie inverse ...

65-04 ; 68-04

... Lire [+]

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

- 184 p.

Localisation : Ouvrage RdC (GHEM)

algorithmique parallèle # chimie raide # contrôle optimale # couplage de modèle # simulation numérique # équation d'advection

00A71 ; 86-08 ; 86A10

... Lire [+]

Z