1654526479     

424911051                        

---

Mathematical and Engineering Methods in Computer Science : 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers / edited by Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala

Dvořák, Zdeněk [Hrsg.] ; Jaroš, Jiří [Hrsg.] ; Kofron, Jan [Hrsg.] ; Kořenek, Jan [Hrsg.] ; Matula, Petr [Hrsg.] ; Pala, Karel [Hrsg.]

MEMICS ; 9 (Telč) : 2014.10.17-19

Doctoral Workshop on Mathematical and Engineering Methods in Computer Science ; 9 (Telč) : 2014.10.17-19

Cham [u.a.] : Springer, 2014

Online-Ressource (XI, 159 p. 50 illus, online resource)

Englisch

Literaturangaben

Druckausg.: Mathematical and engineering methods in computer science

978-3-319-14896-0

978-3-319-14895-3 (ISBN der Printausgabe)

813667933

OCoLC: 900680543 (aus SWB)     

Elektronische Ressource: Zugang beim Produzenten (Lizenzangabe: Lizenzpflichtig)

Elektronische Ressource: Zugang über Resolving-System (Lizenzangabe: Lizenzpflichtig)

Digital Object Identifier (DOI): 10.1007/978-3-319-14896-0

SS 4800      Ähnliche Literatur

QA76.758

005.1

Basisklassifikation: 54.00 (Informatik: Allgemeines)

MSC: *68-06 ; MSC: 00B25 ; bicssc: UMZ ; bisacsh: COM051230

*Informatik ; Konferenzschrift      Zum Register

*Theoretische Informatik ; Konferenzschrift      Zum Register

LOC-SH: Computer science ; Computer Communication Networks ; Computer software ; Information Systems ; Economics, Mathematical ; Computer Science ; Computer science ; Computer Communication Networks ; Software engineering ; Computer software ; Information Systems ; Economics, Mathematical ; Software engineering ; Computer networks . ; Algorithms. ; Electronic data processing ; Econometrics.

This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014. The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance computing; computer aided analysis, verification, and testing; hardware design and diagnostics; computer graphics and image processing; and artificial intelligence and natural language processing

 Cover    Inhaltstext