m

F Nous contacter

0

Documents  68N99 | enregistrements trouvés : 19

O
     

-A +A

P Q

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

Theoretical computer science , 0175

Localisation : Colloque 1er étage (KANA)

LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif

03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99

... Lire [+]

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

- 604 p.
ISBN 978-3-540-17189-8

Lecture notes in computer science , 0244

Localisation : Collection 1er étage

base des connaissances # configuration # gestion des logiciels # programmation # programmation des périphériques # système d'information # traitement des données

68N99 ; 68P15 ; 68Q10 ; 68T30

... Lire [+]

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

- 163 p.
ISBN 978-3-540-13878-5

Lecture notes in computer science , 0180

Localisation : Collection 1er étage

ada # interfaces # logiciel # outils # programme

68N99

... Lire [+]

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

- 303 p.
ISBN 978-2-10-051619-3

Localisation : Ouvrage Rdc (CONN)

logiciel pour le calcul mathématique # calcul formel # calcul numérique # traceur de figures mathématiques # lycée

68N99 ; 97U70

... Lire [+]

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

- 1154 p.
ISBN 978-1-55860-543-5

Localisation : Oouvrage RdC (Gene)

informatique # programmation génétique # algorithme génétique # intelligence artificielle # fitness # résolution de problème

68N99 ; 68U99 ; 68T20

... Lire [+]

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

- 746 p.
ISBN 978-0-262-11189-8

Complex adaptive systems

Localisation : Ouvrage RdC (KOZA)

informatique # programmatin génétique # algorithme génétique # résolution de problèmes # réutilisation logiciel # apprentissage # démonstration automatique

68N99 ; 68U99 ; 68T20

... Lire [+]

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

- 819 p.
ISBN 978-0-262-11170-6

Complex adaptive systems

Localisation : Ouvrage RdC (KOZA)

informatique # algorithme génétique # programmation génétique # résolution de problème # apprentissage # Lisp

68N99 ; 68U99 ; 68T20

... Lire [+]

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

- 395 p.
ISBN 978-0-7923-7990-4

Localisation : Ouvrage RdC (JURI)

théorie d'information # statistique # modélisation # conception de logiciel # logiciel # ingénierie logiciel # analyse des données

68U99 ; 68-01 ; 68N99

... Lire [+]

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

- xviii; 749 p.
ISBN 978-0-201-19334-3

Localisation : Ouvrage RdC (WOLF)

Calcul numérique # calcul symbolique # Mathematica # langage de programmation # calcul graphique # système intéractif de résolution de problème # manuel intéractif # logiciel # NeXT

65-01 ; 68U99 ; 68-01 ; 68N99 ; 68W30

... Lire [+]

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


ISBN 978-2-87908-009-3

Localisation : Salle Informatique 1er étage

changement de l'implémentation # changement du langage # convention # convertisseur # description de page # encodage standard # exécution multiple # format de fichier postscript encapsulé # graphique # jeu de caractère # langage postscript # limite de l'implémentation # opérateur standard du langage postscript # pendu couleur # police de caractère # périphérique de sortie # stratégie de compatibilité # structure des documents # système graphique et fenétrage changement de l'implémentation # changement du langage # convention # convertisseur # description de page # encodage standard # exécution multiple # format de fichier postscript encapsulé # graphique # jeu de caractère # langage postscript # limite de l'implémentation # opérateur standard du langage postscript # pendu couleur # police de caractère # périphérique de sortie # stratégie de compatibilité # structure des documents # système graphique ...

68N15 ; 68N99

... Lire [+]

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


ISBN 978-2-84180-143-5

Localisation : Disparu

PC # UGA # programmation graphique

68N99

... Lire [+]

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

- 170 p.
ISBN 978-0-471-53969-8

Localisation : Ouvrage RdC (Disc)

calcul # dérivée # dérivée partielle # exponentielle # fonction # fonction à valeur vectorielle # intégrale # intégrale impropre # intégrale multiple # intégration # limite # logarith me # logiciel # mathematica # règle de l'Hopital # vecteur # équation paramétrique des courbes

65D25 ; 65D30 ; 68N99

... Lire [+]

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

- xviii; 749 p.
ISBN 978-0-201-19330-5

Localisation : Ouvrage RdC (WOLF)

Calcul numérique # calcul symbolique # Mathematica # langage de programmation # calcul graphique # système intéractif de résolution de problème # manuel intéractif # logiciel # NeXT

65-01 ; 68U99 ; 68-01 ; 68N99 ; 68W30

... Lire [+]

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

Localisation : Disparu

texto

68N99

... Lire [+]

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

- 158 p.
ISBN 978-0-89588-103-8

Localisation : Disparu

68N99

... Lire [+]

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


ISBN 978-2-7361-0131-2

Localisation : Disparu

68N99

... Lire [+]

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

- 58 p.

Séminaire de Mathématiques supérieures , 0052

Localisation : Salle de manutention

informatique # lambda calcul # langage # logique combinatoire # metalangage

03B40 ; 05-XX ; 68-XX ; 68N99 ; 68R05

... Lire [+]

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

- 184 p.

Localisation : Ouvrage RdC (PUEC)

analyse d'algorithmes # structures de données dynamiques # optimisation de requêtes # recherche multidimensionnelle

68P05 ; 68N99

... Lire [+]

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

- 166 p.

Localisation : Ouvrage RdC (AUTA)

algorithme efficace polynomial # bisimulation de place # famille d'équivalence comportementale # famille des sémantiques du vrai parallélisme # graphisme informatique # génie logiciel de Pietri # langage de programmation FP2 # marquage # processus parallèle # programmation parallèle # réseau de Pétri # réécriture de termes # spécification algébrique # sémantique interleaving

65N15 ; 68N99 ; 68U05

... Lire [+]

Z