Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008340687/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract "This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conference \Perspectives of System Informatics", Akadem- rodok (Novosibirsk, Russia), July 6{9, 1999. The main goal of the conference was to give an overview of research directions which are decisive for the growth of major areas of research activities in system informatics. The conference was the third one in the line. The r st and second inter- tionalconferences\PerspectivesofSystemInformatics"wereheldinNovosibirsk, Akademgorodok, in May, 1991, and June, 1996, respectively. Both conferences gathered a wide spectrum of specialists and were undoubtedly very successful. The third conferenceincluded many of the subjects of the second conference, such as theoretical computer science, programming methodology, new infor- tiontechnologies,andthepromising eldofarti cialintelligence|asimportant components of system informatics. The style of the second conference was p- served to a certain extent in that there were a considerable number of invited papers in addition to the contributed papers. However,posters were replaced by short talks mainly given by young researchers.".
- catalog contributor b11613119.
- catalog contributor b11613120.
- catalog contributor b11613121.
- catalog contributor b11613122.
- catalog created "2000.".
- catalog date "2000".
- catalog date "2000.".
- catalog dateCopyrighted "2000.".
- catalog description "Includes bibliographical references and index.".
- catalog description "The Common Framework Initiative for Algebraic Specification and Development of Software / D. Sannella -- A Logical Approach to Specification of Hybrid Systems / M.V. Korovina and O.V. Kudinov -- Algebraic Imperative Specifications / M.-C. Gaudel and A. Zamulin -- Enhanced Control Flow Graphs in Montages / M. Anlauff, Ph. W. Kutter and A. Pierantonio / [and others] -- Abstract State Machines for the Composition of Architectural Styles / A. Sunbul -- The Essence of Program Transformation by Partial Evaluation and Driving / N.D. Jones -- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All / N.H. Christensen, R. Gluck and S. Laursen.".
- catalog description "This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conference \Perspectives of System Informatics", Akadem- rodok (Novosibirsk, Russia), July 6{9, 1999. The main goal of the conference was to give an overview of research directions which are decisive for the growth of major areas of research activities in system informatics. The conference was the third one in the line. The r st and second inter- tionalconferences\PerspectivesofSystemInformatics"wereheldinNovosibirsk, Akademgorodok, in May, 1991, and June, 1996, respectively. Both conferences gathered a wide spectrum of specialists and were undoubtedly very successful. The third conferenceincluded many of the subjects of the second conference, such as theoretical computer science, programming methodology, new infor- tiontechnologies,andthepromising eldofarti cialintelligence|asimportant components of system informatics. The style of the second conference was p- served to a certain extent in that there were a considerable number of invited papers in addition to the contributed papers. However,posters were replaced by short talks mainly given by young researchers.".
- catalog extent "xii, 540 p. :".
- catalog identifier "3540671021 (soft cover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1755".
- catalog issued "2000".
- catalog issued "2000.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Computer systems Congresses.".
- catalog subject "Logic design.".
- catalog subject "QA76 .I497 2000".
- catalog subject "Software engineering.".
- catalog tableOfContents "The Common Framework Initiative for Algebraic Specification and Development of Software / D. Sannella -- A Logical Approach to Specification of Hybrid Systems / M.V. Korovina and O.V. Kudinov -- Algebraic Imperative Specifications / M.-C. Gaudel and A. Zamulin -- Enhanced Control Flow Graphs in Montages / M. Anlauff, Ph. W. Kutter and A. Pierantonio / [and others] -- Abstract State Machines for the Composition of Architectural Styles / A. Sunbul -- The Essence of Program Transformation by Partial Evaluation and Driving / N.D. Jones -- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All / N.H. Christensen, R. Gluck and S. Laursen.".
- catalog title "Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Nowosibirsk (1999) swd".
- catalog type "text".