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 Bachelors
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:Bachelors
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 IOS18064.20409852
institution Universitas Indonesia
institution_id 51
institution_type library:university
library
library Perpustakaan Universitas Indonesia
library_id 492
collection Repository Skripsi (open) Universitas Indonesia
repository_id 18064
city KOTA DEPOK
province JAWA BARAT
repoId IOS18064
first_indexed 2022-12-13T09:21:17Z
last_indexed 2022-12-13T09:21:17Z
recordtype dc
merged_child_boolean 1
_version_ 1752209996187172864
score 17.13294

Lihat Juga