Eintrag weiter verarbeiten

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften: Kučera, Antonin (VerfasserIn), Henzinger, Thomas (Sonstige), Nešetřil, Jaroslav (Sonstige), Vojnar, Tomáš (Sonstige), Antoš, David (Sonstige)
Titel: Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers/ edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7721
Schlagwörter:
Verfügbar auch als: Druck-Ausgabe Mathematical and engineering methods in computer science, Berlin : Springer, 2013, XII, 212 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
Details
Zusammenfassung: 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
Beschreibung: Literaturangaben
Umfang: Online-Ressource (XII, 213 p. 32 illus, digital)
ISBN: 9783642360466
DOI: 10.1007/978-3-642-36046-6