m

F Nous contacter

0

Documents  68Nxx | enregistrements trouvés : 88

O

-A +A

P Q

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

- xxii; 789 p.
ISBN 978-3-642-02926-4

Lecture notes in computer science , 5555

Localisation : Collection 1er étage

informatique # logiciel

68-06 ; 68Nxx ; 68Qxx ; 00B25

... Lire [+]

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

- 618 p.
ISBN 978-3-540-52522-6

Lecture notes in computer science , 0427

Localisation : Collection 1er étage

algorithmique # bord # délection de contour # format # géométrie de l

68N15 ; 68Nxx ; 68Q10 ; 68T10 ; 68T25 ; 68Txx ; 68U05 ; 68Uxx

... Lire [+]

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


ISBN 978-0-8186-2925-9

Localisation : Colloque 1er étage (HAGU)

architecture VLSI # architecture système # implémentation en parallèle # infographie # intelligence artificielle # langage # mouvement # outil logiciel # programmation fonctionnelle # reconnaissance des formes # système de vision machine # traitement de l

68N15 ; 68Nxx ; 68Q10 ; 68T10 ; 68T25 ; 68Txx ; 68U05 ; 68Uxx

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

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

- 517 p.
ISBN 978-3-540-63437-9

Lecture notes in computer science , 1295

Localisation : Collection 1er étage

informatique théorique # ingénering de logiciel # langage de programmation # langage formel # logique mathématique # mathématique discrète

68N15 ; 68N17 ; 68Nxx ; 68Q45 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 329 p.
ISBN 978-3-540-61064-9

Lecture notes in computer science , 1059

Localisation : Collection 1er étage

algèbre # arborescence # automate fini # calcul informatique # calcul lambda # graphe # informatique théorique # mathématique discrète # renormalisation # réécriture de programme # structure des données # technique de programmation # transformation de programme

68N05 ; 68N17 ; 68Nxx ; 68P05 ; 68Rxx

... Lire [+]

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

- 695 p.
ISBN 978-3-540-56939-8

Lecture notes in computer science , 0700

Localisation : Collection 1er étage

calcul informatique # cryptologie # encryptage des données # géométrie de l'informatique # informatique graphique # informatique théorique # mathématique discrète # structure des données # technique de programmation

68N05 ; 68Nxx ; 68P05 ; 68P25 ; 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.

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

- 415 p.
ISBN 978-3-540-61576-7

Lecture notes in computer science , 1120

Localisation : Collection 1er étage

calcul informatique # combinatoire # informatique théorique # mathématique discrète # mode de calcul # optimisation # programmation concurente # réseau d'ordinateur # système # système d'exploitation de réseau # système distribué # système partagé # système réparti # technique de programmation

68N05 ; 68Nxx ; 68Q10 ; 68Rxx ; 90Cxx

... Lire [+]

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

- 403 p.
ISBN 978-3-540-62688-6

Lecture notes in computer science , 1210

Localisation : Collection 1er étage

calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation

03B40 ; 68N15 ; 68N17 ; 68Nxx

... Lire [+]

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

- 564 p.
ISBN 978-3-540-61228-5

Lecture notes in computer science , 1073

Localisation : Collection 1er étage

algorithme et architecture # application à l'informatique # concurrence # forme et graphisme # grammaire de graphe # ingénieurie de logiciel # langage de graphe # spécification et sémantique # technique de réécriture

68Nxx ; 68Q42 ; 68Q55 ; 68Q60 ; 68Qxx

... Lire [+]

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


ISBN 978-0-89791-914-2

Localisation : Colloque 1er étage (BOST)

amélioration de processus # analyse de C et C++ # analyse statistique # compréhension de programme # essai et analyse # exploitation d'Internet # fiabilité # ingénierie de logiciel # ingénierie inverse # inspection et revue # matériel et logiciel # métrique # spécification formelle # système à héritage # technologie oriental-objet # utilisateur d'interface # économie et loi

68-06 ; 68Nxx

... Lire [+]

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

- 683 p.
ISBN 978-3-540-60084-8

Lecture notes in computer science , 0944

Localisation : Collection 1er étage

algorithme # apprentissage # automate # calculabilité # codage # complexité de calcul # concurrence # fondement de la programmation # langage formel # protocole de communication # robotique # sémantique

68-06 ; 68Nxx ; 68Qxx ; 68Txx ; 94Axx

... Lire [+]

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

Localisation : Colloque 1er étage (MARS)

additionneur Borrow-Save # analyse calculable # approche probabiliste d'erreur d'arrondi # arithmétique # arithmétique à virgule flottante # chaîne de multiplication # circuit 2-adique # entrer et flottant # formalisation de besoin d'algorithme robuste en géométrie # implémenter un calcul exact sur une machine parallèle # informatique # machine à accès aléatoire et réalisable # méthode CESTAC # nombre réel # ordinateur # propagation et absorption d'erreur d'arrondi # précision de programme numérique # réduction automatique d'erreur d'arrondi # solution arithmétique en calcul géométrique # système réel et complexe # unité RISC additionneur Borrow-Save # analyse calculable # approche probabiliste d'erreur d'arrondi # arithmétique # arithmétique à virgule flottante # chaîne de multiplication # circuit 2-adique # entrer et flottant # formalisation de besoin d'algorithme robuste en géométrie # implémenter un calcul exact sur une machine parallèle # informatique # machine à accès aléatoire et réalisable # méthode CESTAC # nombre réel # ordinateur # propagation et ...

51-XX ; 65G05 ; 68Nxx ; 68Q20 ; 68Qxx

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

- 351 p.
ISBN 978-3-540-56282-5

Lecture notes in computer science , 649

Localisation : Collection 1er étage

méta-programmation # programmation logique # programmation transformationnelle

68N15 ; 68N17 ; 68Nxx ; F.4.1 ; I.2.4

... Lire [+]

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

- 398 p.
ISBN 978-3-540-55676-3

Lecture notes in computer science , 0616

Localisation : Collection 1er étage

analyse d'algorithme # bisimulation # calcul par dispositif abstrait # complexité # informatique théorique # logique des programmes # modélisation # multi-processeur # réseau de Pétri # signification des programmes # simulation # système d'exploitation

68-06 ; 68N25 ; 68Nxx ; 68Q25 ; 68Qxx

... Lire [+]

Z