Perspectives of Systems Informatics Perspectives of Systems Informatics

Perspectives of Systems Informatics

Amir Pnueli والمزيد
    • ‏99٫99 US$
    • ‏99٫99 US$

وصف الناشر

This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009.

The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٠
٢٧ يناير
اللغة
EN
الإنجليزية
عدد الصفحات
٤٣٩
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
٧٫٨
‫م.ب.‬
FM 2011: Formal Methods FM 2011: Formal Methods
٢٠١١
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
٢٠١٩
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
٢٠١٠
Formal Methods and Software Engineering Formal Methods and Software Engineering
٢٠١٩
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
٢٠٢٢
Perspectives of System Informatics Perspectives of System Informatics
٢٠١٦