Perspectives of Systems Informatics

Perspectives of Systems Informatics
Author :
Publisher : Springer
Total Pages : 437
Release :
ISBN-10 : 9783642114861
ISBN-13 : 3642114865
Rating : 4/5 (61 Downloads)

Book Synopsis Perspectives of Systems Informatics by : Amir Pnueli

Download or read book Perspectives of Systems Informatics written by Amir Pnueli and published by Springer. This book was released on 2010-01-27 with total page 437 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931–1988),and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the Programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. The ?rst signi?cant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet c- puterM-20. Later,theresearchersofthedepartmentcreatedtheAlgibr,Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the ?rst Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in arti?cial intelligence and parallel programming, integrated tools for text processing and publishing, and many others.


Perspectives of Systems Informatics Related Books

Perspectives of Systems Informatics
Language: en
Pages: 437
Authors: Amir Pnueli
Categories: Computers
Type: BOOK - Published: 2010-01-27 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosi
Perspectives of System Informatics
Language: en
Pages: 472
Authors: Dines Bjørner
Categories: Computers
Type: BOOK - Published: 1996-12-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akad
Perspectives of System Informatics
Language: en
Pages: 263
Authors: Nikolaj Bjørner
Categories: Computers
Type: BOOK - Published: 2019-12-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July
Perspectives of System Informatics
Language: en
Pages: 351
Authors: Manuel Mazzara
Categories: Computers
Type: BOOK - Published: 2016-06-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in
Perspectives of Systems Informatics
Language: en
Pages: 437
Authors: Amir Pnueli
Categories: Computers
Type: BOOK - Published: 2010-02-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PS