Cover Image

Perspectives of system informatics 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers

Main Author: Edmund Clarke, editor
Format: Book Thesis
Terbitan: [Springer-Verlag, ] , 2012
Subjects:
Computer science > Congresses
Software engineering > Congresses
Systems engineering > Congresses
Online Access: http://lib.ui.ac.id/file?file=digital/2015-9/20409852-Perspectives of Systems Informatics.pdf
ctrlnum 20409852
fullrecord <?xml version="1.0"?> <dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><title>Perspectives of system informatics : 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers</title><creator>Edmund Clarke, editor</creator><type>Book:Book</type><place>Berlin</place><publisher>[Springer-Verlag, ]</publisher><date>2012</date><description>This 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.</description><subject>Computer science -- Congresses</subject><subject>Software engineering -- Congresses</subject><subject>Systems engineering -- Congresses</subject><identifier>20409852</identifier><source>http://lib.ui.ac.id/file?file=digital/2015-9/20409852-Perspectives of Systems Informatics.pdf</source><recordID>20409852</recordID></dc>
format Book:Book
Book
Thesis:Thesis
Thesis
author Edmund Clarke, editor
title Perspectives of system informatics : 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
title_sub 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
publisher [Springer-Verlag, ]
publishDate 2012
topic Computer science -- Congresses
Software engineering -- Congresses
Systems engineering -- Congresses
url http://lib.ui.ac.id/file?file=digital/2015-9/20409852-Perspectives of Systems Informatics.pdf
contents This 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.
id IOS18070.20409852
institution Universitas Indonesia
institution_id 51
institution_type library:university
library
library Perpustakaan Universitas Indonesia
library_id 492
collection Repository Tugas Akhir Universitas Indonesia
repository_id 18070
city KOTA DEPOK
province JAWA BARAT
repoId IOS18070
first_indexed 2022-12-14T06:17:45Z
last_indexed 2022-12-14T06:17:45Z
recordtype dc
merged_child_boolean 1
_version_ 1752209996197658624
score 17.538404

Lihat Juga