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

Graph-theoretic concepts in computer science :
23rd international workshop, WG'97#June 18-20
Möhring, Rolf H. | Springer 1996

Congrès

V

- 371 p.
ISBN 978-3-540-63757-8

Lecture notes in computer science , 1335

Localisation : Collection 1er étage

analyse des algorithmes # calcul des algorithmes # calcul informatique # classe de complexité # décomposition de graphe # informatique théorique # langage formel # logique # logique mathématique # mathématique discrète # mode de calcul # spécification des programmes # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68Q45 ; 68Qxx

... Lire [+]

Filtrer

Type
Domaine
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
height=700,toolbar=no,scrollbars=yes")'>Signaler une erreur

1

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

Mathematical foundations of computer science 1996 :
21 st international symposium, mfcs
Penczek, Wojciech ; Szafas, Andrezj, | Springer 1996

Congrès

V

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

Mathematical foundations of computer science 1991 : Tarlecki A. | Springer-Verlag 1991

Congrès

V

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

Automata, languages and programming :
15th international colloquium#July 11-15
Salomaa, Arto | Springer 1997

Congrès

V

- 741 p.
ISBN 978-3-540-19488-0

Lecture notes in computer science , 0317

Localisation : Collection 1er étage

algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données

68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 68Qxx

... Lire [+]

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

Mathematical foundations of computer science 1997 :
22nd international symposium, mfcs'97#Aug. 25-29
Privara, Igor ; Ruzicka, Peter | Springer 1997

Congrès

V

- 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 [+]