m

F Nous contacter

0

Documents  68W15 | enregistrements trouvés : 9

O
     

-A +A

P Q

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

- xvi; 247 p.
ISBN 978-1-4704-1077-3

Contemporary mathematics , 0619

Localisation : Collection 1er étage

équations différentielles # optimisation mathématique # solution optimale # stabilité des systèmes # processus de diffusion

49-06 ; 49Jxx ; 49Kxx ; 49Nxx ; 49J99 ; 93Dxx ; 93E20 ; 34D20 ; 60J60 ; 68W15 ; 90C46 ; 91A05 ; 00B25 ; 34-XX ; 35-XX ; 49-XX ; 60-XX ; 68-XX ; 78-XX ; 90-XX ; 91-XX ; 92-XX ; 93-XX

... Lire [+]

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

- 552p.
ISBN 978-3-540-67282-1

Lecture notes in computer science , 1785

Localisation : Collection 1er étage

informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

... Lire [+]

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

- 443p.
ISBN 978-3-540-65703-3

Lecture notes in computer science , 1579

Localisation : Collection 1er étage

informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

... Lire [+]

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

- 431p.
ISBN 978-3-540-62790-6

Lecture notes in computer science , 1217

Localisation : Collection 1er étage

informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

... Lire [+]

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

- 434p.
ISBN 978-3-540-61042-7

Lecture notes in computer science , 1055

Localisation : Collection 1er étage

informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68N30 ; 68Q85 ; 68W15

... Lire [+]

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

- 289p.
ISBN 978-3-540-60630-7

Lecture notes in computer science , 1019

Localisation : Collection 1er étage

informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

... Lire [+]

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

- 167 p.
ISBN 978-0-8218-1546-5

DIMACS series in discrete mathematics and theoretical computer science , 0053

Localisation : Collection 1er étage

nformatique # réseau informatique # combinatoire # réseau de communication # organisation des systèmes informatiques # construction de réseau

68-06 ; 68M10 ; 68M15 ; 68R05 ; 68R10 ; 68M14 ; 68W10 ; 68W15 ; 68W20

... Lire [+]

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

- vii; 380 p.
ISBN 978-0-88175-084-3

Principles of computer science

Localisation : Ouvrage RdC (TREN)

traitement réparti # informatique théorique # base de données # concurrence # algorithme distribué

68-06 ; 68Q15 ; 68Q25 ; 00B25 ; 68Q10 ; 68W15 ; 68Q99

... Lire [+]

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

- 395 p.

Localisation : Ouvrage RdC (HALP)

équation aux dérivées partielles # équation d'onde. # problème de valeur aux limites

35Q30 ; 35J55 ; 35L50 ; 68W15

... Lire [+]

Z