LEADER 04439nam  22007815  450 
001 996465412703316
005 20210322193051.0
010   $a3-642-29709-9
024 7 $a10.1007/978-3-642-29709-0
035   $a(CKB)3400000000085191
035   $a(SSID)ssj0000666551
035   $a(PQKBManifestationID)11404945
035   $a(PQKBTitleCode)TC0000666551
035   $a(PQKBWorkID)10664683
035   $a(PQKB)10865420
035   $a(DE-He213)978-3-642-29709-0
035   $a(MiAaPQ)EBC3070266
035   $a(PPN)168315157
035   $a(EXLCZ)993400000000085191
100   $a20120512d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPerspectives of Systems Informatics$b[electronic resource] $e8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers /$fedited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XIV, 411 p. 130 illus.)
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v7162
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-29708-0 
320   $aIncludes bibliographical references and author index.
330   $aThis book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v7162
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer programming
606   $aAlgorithms
606   $aOptical data processing
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aComputer Imaging, Vision, Pattern Recognition and Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22005
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aAlgorithms.
615  0$aOptical data processing.
615 14$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics.
676   $a005.1015113
702   $aClarke$b Edmund M.$cJr.$g(Edmund Melson),$f1945-2020.$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVirbitskaite$b Irina$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVoronkov$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Andrei Ershov Memorial Conference
906   $aBOOK
912   $a996465412703316
996   $aPerspectives of Systems Informatics$9772385
997   $aUNISA