Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

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

Celý popis

Uloženo v:
Podrobná bibliografie
Další autoři: Kucera, Antonin (Šéfredaktor, odpovědný redaktor), Henzinger, Thomas A. (Šéfredaktor, odpovědný redaktor), Nešetřil, Jaroslav (Šéfredaktor, odpovědný redaktor), Vojnar, Tomas (Šéfredaktor, odpovědný redaktor), Antos, David (Šéfredaktor, odpovědný redaktor)
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Berlin, Heidelberg : Springer Berlin Heidelberg [20..].
Cham : Springer Nature
Vydání:1st ed. 2013.
Edice:Programming and Software Engineering 7721
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Mathematical and Engineering Methods in Computer Science, Texte imprimé, 9783642360442
• Mathematical and Engineering Methods in Computer Science, Texte imprimé, 9783642360480
Popis
Shrnutí: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
Popis jednotky:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783642360466
ISSN:2945-9168
Přístup:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017