Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 396 p.
ISBN 978-0-387-13350-8
Lecture notes in computer science , 0174
Localisation : Collection 1er étage
68Q40 ; 68Q70 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-70024-7
C.w.i. monographs , 0001
Localisation : Colloque 1er étage (AMST)
algebre # automatique # informatique # informatique theorique # intellige nce artificielle # stochastique
68Mxx ; 68Q70 ; 68Q75 ; 68Qxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-691-08479-4
Nonlinear science : theroy and applications
Localisation : Colloque 1er étage (PARI)
reseaux informatique
68Q70 ; 68Q80
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 339 p.
ISBN 978-0-521-42726-5
London mathematical society lecture note series , 0177
Localisation : Collection 1er étage
camonade # catégorie # informatique # reécriture d'algorithme # sémantique
18Bxx ; 18Cxx ; 68-02 ; 68Q55 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 435 p.
ISBN 978-3-540-61464-7
Lecture notes in computer science , 1103
Localisation : Collection 1er étage
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes
68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 741 p.
ISBN 978-3-540-19488-0
Lecture notes in computer science , 0317
Localisation : Collection 1er étage
algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données
68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 515 p.
ISBN 978-981-238-099-9
Localisation : Colloque 1er étage (COIM)
théorie des groupes # informatique # semi-groupe # algorithme # automate # langage # langage formel
20-06 ; 68-06 ; 68Q45 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- pag. mult.
Localisation : Ouvrage RdC (PAVE)
reconnaissance des formes # théorie des automates mathématiques
68Q70 ; 68T10 ; 68-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431 p.
ISBN 978-0-471-89102-4
Localisation : Ouvrage RdC (SIMS)
algèbre abstraite # algorithme algébrique # traitement informatique
68Q30 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 306 p.
ISBN 978-2-225-81177-7
Localisation : Ouvrage RdC (DIEU)
analyse numérique # automatique # convolution # équation différentielle # équation intégrale de type convolutive
45E10 ; 65Lxx ; 65U05 ; 68Q70 ; 68Q75
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 278 p.
ISBN 978-2-225-81087-9
Etudes et recherches en informatique
Localisation : Ouvrage RdC (AUTE)
informatique des langages # informatique théorique # langage algébrique
68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 283 p.
ISBN 978-3-211-81776-6
Localisation : Ouvrage RdC (Comp)
algèbre de l'informatique
68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 198 p.
ISBN 978-0-387-96780-6
Universitext
Localisation : Ouvrage RdC (GARD)
algèbre de Boole # algèbre informatique # anneau # automatique # corps # groupe # langage # monoide # sémantique # théorie des groupes # théorie des nombres # transformée de Fourier
68Q70 ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 452 p.
ISBN 978-0-12-046370-1
Localisation : Ouvrage RdC (Reso)
information théorique # informatique # réecriture # résolution d'équation # structure algébrique # technique algébrique
65Kxx ; 65Lxx ; 65Mxx ; 68Q70 ; 68Uxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 316 p.
ISBN 978-0-387-96905-3
Localisation : Ouvrage RdC (BUCH)
algèbre # automate # mathématique discrète # théorie des machines séquentielles
68Q68 ; 68Q70 ; 68Rxx
... Lire [+]