Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 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.
- 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.
- 374 p.
ISBN 978-3-540-13912-6
Lecture notes in computer science , 0182
Localisation : Collection 1er étage
algorithme # analyse des algorithmes # architecture des systèmes # circuit # informatique théorique # logique # logique formelle # logique mathématique # processeur # programmation logique # réseaux # traitement des données
68M10 ; 68M20 ; 68Mxx ; 68N17 ; 68N25
... 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.
- 284 p.
ISBN 978-3-540-54987-1
Lecture notes in computer science , 0563
Localisation : Collection 1er étage
système d'exploitation
68Mxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-62541-4
Lecture notes in economics and mathematical systems , 0450
Localisation : Colloque 1er étage (GAIN)
application de l'optimisation # arborescence euristique # arbre maximal # arbre minimal # calcul parallèle de large échelle # code # complexité des algorithmes # comportement asymptotique # décomposition # décomposition simplicielle # implémentation # modélisationn dynamique # méthode des simplexes # méthode simplexe # optimisation des processus de décision markovienne # optimisation des réseaux à coûts linéaires et convexes # problème d'ordonnancement des machines # problème de flux # problème de transfert # programmation convexe # programmation linéaire # programmation mathématique # recherche opérationnelle # système d'optimisation de réseau # système de communication # système dynamique
application de l'optimisation # arborescence euristique # arbre maximal # arbre minimal # calcul parallèle de large échelle # code # complexité des algorithmes # comportement asymptotique # décomposition # décomposition simplicielle # implémentation # modélisationn dynamique # méthode des simplexes # méthode simplexe # optimisation des processus de décision markovienne # optimisation des réseaux à coûts linéaires et convexes # problème ...
68Mxx ; 90Cxx ; 93-XX ; 93Bxx ; 94Axx
... Lire [+]
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.
- 592 p.
ISBN 978-3-540-61550-7
Lecture notes in computer science , 1113
Localisation : Collection 1er étage
aspect calculatoire # informatique théorique # ingineering logiciel # langage formel # logique # mathématique discrète # mode de calcul # système d
68Mxx ; 68N25 ; 68Nxx ; 68Q05 ; 68Q10 ; 68Q40 ; 68Q45 ; 68Q60 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 435 p.
ISBN 978-3-540-54345-9
Lecture notes in computer science , 0520
Localisation : Collection 1er étage
algorithme non numérique # analyse des algorithmes # construction de langage # engineering de logiciel # informatique théorique # langage de programmation # langage de requête # langage formel # logique mathématique # problème de complexité # programmation logiciel # spécification # spécification de programme # structure de langage # technique de programmation # vérification de programme
68Mxx ; 68N05 ; 68N15 ; 68N17 ; 68Nxx ; 68Q20 ; 68Q60 ; 68Qxx ; 68S05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 414 p.
ISBN 978-3-540-62600-8
Lecture notes in computer science , 1201
Localisation : Collection 1er étage
architecture # gestion de système # logiciel # logique # organisation système # requète # signification des programmes # spécification # système d'exploitation # système informatique # vérification
68M07 ; 68Mxx ; 68P60 ; 68Pxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 197 p.
ISBN 978-0-8218-5095-4
Contemporary mathematics , 0089
Localisation : Collection 1er étage
algorithme # graphe # informatique théorique # théorie des graphes
05Cxx ; 68Mxx ; 68Pxx ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 305 p.
ISBN 978-3-540-17218-5
Lecture notes in computer science , 0246
Localisation : Collection 1er étage
algorithme # architecture et réseau # circuit intégré # classe de complexité # gestion des systèmes informatiques # grammaire # implementation # logique mathématiques # structure des données # système de réecriture
68Mxx ; 68Q05 ; 68Q30 ; 68Q50 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-4-274-07221-5
Localisation : Colloque 1er étage (TOKY)
Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini
68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx
... 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.
- 219 p.
ISBN 978-3-540-62221-5
Lecture notes in computer science , 1183
Localisation : Collection 1er étage
gestion des données # informatique théorique # outils de l'informatique théorique et système # simulation et modélisation # structure des données # système informatique # visualisation des données
68-XX ; 68Mxx ; 68P05 ; 68P15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 504 p.
ISBN 978-3-540-56393-8
Lecture notes in computer science , 0656
Localisation : Collection 1er étage
contrainte # formalisme # graphes # langage # modularité # programmation logique # réécriture conditionnelle # réécriture des systèmes # stratégie de normalisation # systèmes # technique de preuve # terme de réécriture # terminaison # théorème de la preuve # unification #
68Mxx ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-89276-129-0
Publications du laboratoire de combinatoire et d'informatique mathématique , 0015
Localisation : Colloque 1er étage (MONT)
CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de système informatique # système communicant distribué # système continu ou discret # système à événement discret # téléphone # utilisation MEC # validation de système à base temporelle # vérification de chronogramme hiérarchique # vérification de style algébrique # vérification informatique
CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de ...
68Mxx ; 68Qxx ; 93A30 ; 93B07 ; 93B50
... Lire [+]
