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.
- 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.
- 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.
- 680 p.
ISBN 978-3-540-61440-1
Lecture notes in computer science , 1099
Localisation : Collection 1er étage
algorithme de graphe # algorithme parallèle # algorithmique # calcul informatique # codage # combinatoire # complexité algébrique # informatique théorique # intelligence artificielle # langage de programmation # mathématique de l'informatique # mathématique discrète # spécification de système # théorie de l'information
68M05 ; 68Mxx ; 68Q05 ; 68Q10 ; 68Qxx
... 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.
- 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.
- 788 p.
ISBN 978-3-540-51371-1
Lecture notes in computer science , 0372
Localisation : Collection 1er étage
algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve
68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05
... 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.
- 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.
- 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.
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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 491 p.
ISBN 978-3-540-57766-9
Lecture notes in computer science , 0773
Localisation : Collection 1er étage
authentification des codes # chiffre # cipher # codage # codage des données # complexité des systèmes # cryptoanalyse # cryptographie # cryptologie # cryptosystème # organisation des systèmes # performance des systèmes # sécurité des systèmes informatiques
68M20 ; 68Mxx ; 68P25
... 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.
- 551 p.
ISBN 978-3-540-55270-3
Lecture notes in computer science , 0580
Localisation : Collection 1er étage
application # information théorique # intelligence artificielle # interface # langage construit # logique mathématique # représentation formelle des connaissances # stockage et représentation des données # système multimédia # systèmes experts # traitement des données
68Mxx ; 68P20 ; 68Pxx ; 68T30 ; 68Txx
... Lire [+]
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.
- 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.
- 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.
- 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 [+]
