Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]
