LEADER 04627nam  22008415  450 
001 996465934703316
005 20220506220231.0
010   $a3-642-25929-4
024 7 $a10.1007/978-3-642-25929-6
035   $a(CKB)3400000000025723
035   $a(SSID)ssj0000610221
035   $a(PQKBManifestationID)11394190
035   $a(PQKBTitleCode)TC0000610221
035   $a(PQKBWorkID)10622383
035   $a(PQKB)10392336
035   $a(DE-He213)978-3-642-25929-6
035   $a(MiAaPQ)EBC3070933
035   $a(PPN)159086264
035   $a(EXLCZ)993400000000025723
100   $a20120127d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aMathematical and Engineering Methods in Computer Science$b[electronic resource] $e7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /$fedited by Zden?k Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Anto?
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 215 p. 53 illus.)
225 1 $aProgramming and Software Engineering ;$v7119
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-25928-6 
320   $aIncludes bibliographical references and index.
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011. The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.
410  0$aProgramming and Software Engineering ;$v7119
606   $aComputer communication systems
606   $aAlgorithms
606   $aSoftware engineering
606   $aManagement information systems
606   $aComputer science
606   $aComputer logic
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
608   $aKongress$zLednice$y2011.
608   $aConference proceedings.$2fast
615  0$aComputer communication systems.
615  0$aAlgorithms.
615  0$aSoftware engineering.
615  0$aManagement information systems.
615  0$aComputer science.
615  0$aComputer logic.
615 14$aComputer Communication Networks.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aSoftware Engineering.
615 24$aManagement of Computing and Information Systems.
615 24$aLogics and Meanings of Programs.
676   $a004
686   $a004$2sdnb
686   $aSS 4800$2rvk
702   $aKotásek$b Zden?k$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBouda$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCerná$b Ivana$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSekanina$b Lukas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVojnar$b Tomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aAnto?$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aMEMICS (Workshop)
906   $aBOOK
912   $a996465934703316
996   $aMathematical and Engineering Methods in Computer Science$92596803
997   $aUNISA