Mathematical and Engineering Methods in Computer Science / Workshop on Mathematical and Engineering Methods in Computer Science (8; (2012; Znojmo, République tchèque)

Public ISBD Titre : Mathematical and Engineering Methods in Computer Science : Revised Selected Papers Type de document : texte imprimé Auteurs : Workshop on Mathematical and Engineering Methods in Computer Science (8; (2012; Znojmo, République tchèque), Auteur ; Antonín Kučera, Éditeur scientifique Editeur : Heidelberg : Springer Année de publication : 2013 Collection : Lecture notes in computer science num. 7721 Importance : 212 p. Présentation : couv. en coul. ill. Format : 23 cm. ISBN/ISSN/EAN : 978-3-642-36046-6 Note générale : References. p.211-212. Index. Langues : Anglais (eng) Index. décimale : 08-03- Application de l'informatique classique Résumé : This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing Mathematical and Engineering Methods in Computer Science : Revised Selected Papers [texte imprimé] / Workshop on Mathematical and Engineering Methods in Computer Science (8; (2012; Znojmo, République tchèque), Auteur ; Antonín Kučera, Éditeur scientifique . - Heidelberg : Springer, 2013 . - 212 p. : couv. en coul. ill. ; 23 cm.. - (Lecture notes in computer science; 7721) . ISBN : 978-3-642-36046-6 References. p.211-212. Index. Langues : Anglais (eng) Index. décimale : 08-03- Application de l'informatique classique Résumé : This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
506*	08-03-2004	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible
507	08-03-2004	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200