>> Amazon.co.jp
このページのQRコード

SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings. 1st ed. 1995

種類:
電子ブック
責任表示:
edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 1012
ISBN:
9783540484639 [3540484639]  CiNii Books  Calil
注記:
Parallel machine models: How they are and where are they going -- Fuzzy logic from the logical point of view -- Sense of direction in processor networks -- Welcoming the super Turing theories -- What NARX networks can compute -- Database: Introduction to problems -- Distributed Information Systems -- Extending database technology -- Introducing SSADM4+ and PRINCE -- Formal methods in practice: A comparison of two support systems for proof -- Development of safety-critical real-time systems -- Why use evolving algebras for hardware and software engineering? -- Experience with chorus -- High-level languages for parallel scientific computing -- On some new aspects of networked multimedia systems -- Quo vadis GIS: From GIS to GIMS and Open GIS -- WWW — The World Wide Web -- Implementation of higher-order unification based on calculus of explicit substitution -- A modular history-oriented access structure for bitemporal relational databases -- Software engineering meets human-computer interaction: Integrating user
This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas. The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.
ローカル注記:
岐阜大学構成員専用E-BOOKS (Gifu University members only)
オンライン
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Bartosek, Miroslav, Staudek, Jan, Wiedermann, Jirí, SpringerLink (Online service)

Springer-Verlag

Frank, Andrew U., Kuhn, Werner., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Seminar on Current Trends in Theory and Practice of Informatics, Bartošek, Miroslav, Staudek, Jan, Wiedermann, J. …

Springer-Verlag

Gottlob, Georg., Vardi, Moshe Y., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

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

Springer Berlin Heidelberg : Imprint: Springer

Ling, Tok W., Mendelzon, Alberto O., Vieille, Laurent., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Jeffery, Keith G., Král, Jaroslav, Bartošek, Miroslav, SpringerLink (Online service)

Springer-Verlag

Seminar on Current Trends in Theory and Practice of Informatics, Jeffery, Keith (Keith G.), Král, Jaroslav, Bartošek, …

Springer

Papazoglou, Michael., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Seminar on Current Trends in Theory and Practice of Informatics, Plášil, František, Jeffery, Keith (Keith G.)

Springer-Verlag ,c1997

Constantopoulos, Panos., Mylopoulos, John., Vassiliou, Yannis., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer