SOFSEM '96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings. 1st ed. 1996

種類:

電子ブック

責任表示:

edited by Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996

著者名:

• Jeffery, Keith G.
• Kral, Jaroslav.
• Bartosek, Miroslav.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 1175

ISBN:

9783540495888 [3540495886]    

注記:

A unified view to string matching algorithms -- Communication in parallel systems -- An overview of the Tigger object-support operating system framework -- The arias distributed shared memory: An overview -- CORBA and object services -- Decision-theoretic reasoning and the human-computer interface: Advances in embedded intelligent agents -- Probabilistic approaches to motion planning -- Learning in order to reason: The approach -- Database semantics in heterogeneous environment -- Business case processing — Rationale, survey and trends -- Data Mining and the Keso project -- Computer Visualization — Concepts, trends and current research -- High performance computing — The computational chemistry perspective -- Iterative methods for unsymmetric linear systems -- Core technologies for system renovation -- Trends in game tree search -- A visual approach to VDM -- Statecharts: Past, present, future -- Scalable fault tolerance -- A deductive database support to the specification of concurrent systems -- Interproces
This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996. The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on fundamentals, distributed and parallel computing, AI and control systems, databases and electronic documents, scientific computing and visualization, programming and software engineering. Also included are 22 refereed and thoroughly revised contributed research papers selected by the program committee for inclusion in the proceedings.

ローカル注記:

学内専用E-BOOKS (local access only)