m

Documents  68-01 | enregistrements trouvés : 95

O

-A +A

P Q

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


ISBN 978-0-444-70456-6

Localisation : Colloque 1er étage (ROME)

enseignement de l'informatique en mathematique # informatique

68-01

... Lire [+]

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


ISBN 978-0-7167-8284-1

Principles of computer science series

Localisation : Monographie RdC (A)

algorithme # conception de programme # fondement mathématique # informatique # langage C # langage de programmation # mathématique discrète # programmation # traitement et structure des données informatiques

68-01

... Lire [+]

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


ISBN 978-2-10-001683-9

Localisation : Disparu

arbre arborescence # automate # composant d'ordinateur # description récursive des motifs # données relationnelles # expression régulière # graphe # informatique # logique des propositions # logique des prédicats # motif # programme # traitement de données

03B05 ; 03Dxx ; 68-01 ; 68Nxx ; 68Pxx

... Lire [+]

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

- xvii; 434 p.
ISBN 978-2-84180-106-0

Passeport pour l'informatique

Localisation : Enseignement RdC (COUR)

langage caml # programmation # structure de données # complexité algorithmique # automate fini # logique propositionnelle

68-01 ; 68P05 ; 68Q25 ; 68Q45

... Lire [+]

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

- xviii; 552 p.
ISBN 978-981-4723-64-0

Lecture notes series on computing , 0014

Localisation : Ouvrage RdC (ALSU)

analyse d'algorithmes # calcul complexe # informatique

68-01 ; 68Q25 ; 68Wxx

... Lire [+]

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

- 255 p.
ISBN 978-0-521-61324-8

Localisation : Ouvrage RdC (ANDE)

langage formel # modèle de calcul # théorie algébrique des automates # informatique # machine de Turing # grammaire

68-01 ; 68Q45 ; 92C40 ; 68Q05 ; 68Q10 ; 68Q70

... Lire [+]

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

- xiv; 476 p.
ISBN 978-0-387-30679-7

Stochastic modelling and applied probability , 0057

Localisation : Ouvrage RdC (ASMU)

algorithme stochastique # algorithmique numérique # chaîne de Markov # convergence # échantillonnage # efficacité # équation différentielle stochastique # évènement rare # intégration numérique # méthode de Monte Carlo # nombre aléatoire # processus gaussien # processus de Lévy # réduction de la variance # simulation de modèles # simulation statistique # optimisation stochastique

65C05 ; 60-08 ; 62-01 ; 68-01 ; 65Cxx ; 68U20 ; 60H35 ; 65-02

... Lire [+]

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

- 360 p.
ISBN 978-2-86601-414-8

Localisation : Monographie RdC (Algo)

algorithme # algorithmique # analyse des algorithmes # architecture parallèle # calcul informatique

68-01 ; 68Pxx ; 68Q22 ; 68Q25

... Lire [+]

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

- 688 p.
ISBN 978-0-201-61244-8

Localisation : ouvrage RdC (BAAS)

algorithme # informatique # analyse d'algorithme # complexité # tri et recherche # stockage de données # accès aux données # structure de données # ensemble dynamique # graphe # programmation dynamique # chaîne # algorithme parallèle # JAVA

68-01 ; 68Q25 ; 68P10 ; 68P20 ; 68W99

... Lire [+]

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

- xix; 556 p.
ISBN 978-0-13-200916-4

Localisation : Ouvrage RdC (BERT)

68-01 ; 68M10

... Lire [+]

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

- 243 p.
ISBN 978-0-19-853027-5

Oxford texts in logic , 0002

Localisation : Ouvrage RdC (BORN)

logique mathématique # logique formelle # informatique # preuve formelle # calculateur logique

03-01 ; 68-01

... Lire [+]

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

- xxiv; 321 p.
ISBN 978-3-540-43107-7

Information security and cryptography

Localisation : Ouvrage RdC (BOYD)

cryptographie # clé d'authentification # protocole cryptographique # PARING # couplage # signature numérique

68M12 ; 68-01 ; 94A62 ; 94A60 ; 94-01

... Lire [+]

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

- 261 p.
ISBN 978-2-02-012348-8

Points sciences

Localisation : Ouvrage RdC (BRET)

histoire de l'informatique

68-01 ; 68-03

... Lire [+]

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

- xix; 371 p.
ISBN 978-2-8178-0280-0

Collection IRIS

Localisation : Ouvrage RdC (BRET)

informatique # combinatoires # théorie des graphes # Algorithmes de graphe # arbre # connectivité # graphe plan # théorie algébrique des graphes # colloriage # factorisation # automorphisme # théorie de Ramsey

68-01 ; 05-01 ; 68R10 ; 05C85

... Lire [+]

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

- vii; 340 p.
ISBN 978-2-10-007479-2

Sciences Sup

Localisation : Enseignement RdC (PROG)

programmation informatique # cours et exercices # enseignement

68-01

... Lire [+]

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


ISBN 978-2-271-05256-8

Localisation : Salle Informatique 1er étage

Internet # informatique # installation de logiciel # logiciel # réseau # utilisation de logiciel

01A73 ; 68-01 ; 68Mxx

... Lire [+]

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

- xi; 337 p.
ISBN 978-1-107-01369-8

Encyclopedia of mathematics and its applications , 0144

Localisation : Collection 1er étage

ensemble ordonné # groupe fini # théorème de Dilworth # théorème de Sperner # semi-ordre # connexion de Galois # dualité # réseau distributif # chaîne # codage de commande # théorème d'Arrow # complexité algorithmique # préférence

06-01 ; 68-01 ; 90-01 ; 91-01

... Lire [+]

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

- ix; 157 p.
ISBN 978-1-84800-939-4

Universitext

Localisation : Ouvrage RdC (CHIS)

language formel # informatique # grammaire de Chomsky # machine de Turing # fonction recursive

03D10 ; 03D20 ; 20F10 ; 20F65 ; 68Q05 ; 68Q42 ; 68Q45 ; 68-01

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

- xv; 546 p.
ISBN 978-0-19-874782-6

Localisation : Biographie RdC (TURI)

Alan Turing # biographie # machine de Turing # cryptographie # intelligence artificielle # histoire de l'informatique

68-06 ; 68-01 ; 68-03 ; 01A60 ; 01A70 ; 68Q05 ; 94A60 ; 00B15

... Lire [+]

Z