m

F Nous contacter

0

Documents  D.2.1 | enregistrements trouvés : 16

O
     

-A +A

P Q

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.


ISBN 978-3-540-61883-6

Localisation : Colloque 1er étage (BLAU)

68CXX ; 68N05 ; 68Pxx ; 68U05 ; 90Cxx

... Lire [+]

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


ISBN 978-3-540-61883-6

Focus and computer graphics

Localisation : Colloque 1er étage (BLAU)

algorithme # analyse numérique # automate # conception de logiciel # géométrie de l'informatique # géométrie discrète # informatique graphique # mathématique discrète # modélisation d'objet # modélisation géométrique # outil mathématique # représentation # système # traitement des données

68Pxx ; 68Qxx ; 68Rxx

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

- 301 p.
ISBN 978-3-540-54495-1

Lecture notes in computer science , 0530

Localisation : Collection 1er étage

algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # ...

03D40 ; 18-06 ; 68-06

... Lire [+]

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

- 278 p.
ISBN 978-3-540-50667-6

Lecture notes in computer science , 0343

Localisation : Collection 1er étage

algèbre # grammaire # langage de programmation # logique mathématique # programmation logique # reécriture des systèmes # technique de programmation

68N17 ; 68Q25

... Lire [+]

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

- 398 p.
ISBN 978-3-540-16047-2

Lecture notes in computer science , 0207

Localisation : Collection 1er étage

langage de requète # programmation parallèle # spécification # vérification de programme

68Q10

... Lire [+]

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

- 567 p.
ISBN 978-3-540-10007-2

Lecture notes in computer science , 0086

Localisation : Collection 1er étage

conception assistée par ordinateur # programmation # specification de programme

68-02 ; 68A05 ; 68A30 ; 68Q60

... Lire [+]

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

- 232 p.

Mathematical centre tracts , 0134

Localisation : Collection 1er étage

68-06 ; 68B10 ; 68B20

... Lire [+]

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

- 163 p.
ISBN 978-3-540-63982-4

Lecture notes in computer science , 1354

Localisation : Collection 1er étage

conception de logiciel # informatique théorique # logique # programmation en concurrence # spécification de programme # technique de programmation # vérification de programme

68Q60 ; 90Cxx

... Lire [+]

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

- 419 p.
ISBN 978-3-540-54972-7

Lecture notes in computer science , 0562

Localisation : Collection 1er étage

objet # programmation oriente objet

68Q10 ; 68Q60

... Lire [+]

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

- 781 p.
ISBN 978-3-540-54938-3

Lecture notes in computer science , 0556

Localisation : Collection 1er étage

conclog # parallèle # programmation logic # prolog

68N05

... Lire [+]

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

- 267 p.
ISBN 978-0-442-27536-5

Localisation : Ouvrage RdC (PYST)

configuration des systemes informatiques # constr uction des systemes informatiques # design # langage c # langage de programmation # outil de l'informatique # pascal

68N20 ; 68Nxx ; 68Q42 ; 68Q52

... Lire [+]

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

- 217 p.
ISBN 978-3-540-12693-5

Lecture notes in computer science , 0160

Localisation : Collection 1er étage

constructions et carastéristique de langage # environnements de programmation # exigeneces # ingenierie de logiciels # outils et techniques # processus # specification # vérification de programme # vérification et raisonnement sur les programmes

68N05 ; 68O60 ; 68T15

... Lire [+]

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

- 197 p.
ISBN 978-3-540-18960-2

Lecture notes in computer science , 0198

Localisation : Collection 1er étage

implementation # langage de description # langage portal # portal # standard des langages de programmation # structure de programme

68N15

... Lire [+]

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

- 300 p.

Thèse 3ème cycle

Localisation : Ouvrage RdC (CHEV)

échantillonnage artificiel # génération des déplacements # méthode heuristique # modèle de transport urbain # modèle desagrege # modèle logit # ordonnancement # prévision # transfert

00A71 ; 68Nxx

... Lire [+]

Z