Mathematical and Engineering Methods in Computer Science
Subtitle: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
By: edited by Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš
Contributors: Bouda, Jan; Černá, Ivana; Sekanina, Lukáš; Vojnar, Tomáš; Antoš, David; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7119
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642259296
Subjects: Information Systems; Software engineering; Computer networks; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computer science; Management of Computing and Information Systems; Computer software