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

Interactive systems : design, specification, and verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

種類:
図書
責任表示:
Fabio Paternó (Ed.)
出版情報:
Berlin ; New York : Springer, c1995
著者名:
シリーズ名:
Focus on computer graphics <BA18709135>
ISBN:
9783540594802 [3540594809] (: hbk : alk. paper)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Graph drawing : DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10-12, 1994 : proceedings

DIMACS International Workshop on Graph Drawing, Tamassia, Roberto, 1960-, Tollis, Ioannis G., 1958-

Springer-Verlag
7 図書 Visualization in human-computer interaction : 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988, selected …

Interdisciplinary Workshop in Informatics and Psychology, Gorny, Peter, 1935-, Tauber, Michael J., 1943-

Springer-Verlag
2 図書 Specification and verification of concurrent systems

Rattray, C. (Charles), 1938-, British Computer Society, BCS-FACS Workshop on Specification and Verification of &hellip;

Springer-Verlag
8 図書 Tool support for system specification, development and verification

Berghammer, R. (Rudolf), 1952-, Lakhnech, Y.

Springer
3 図書 EUROGRAPHICS '89 : proceedings of the European Computer Graphics Conference and Exhibition, Humburg, F.R.G., 4-8 September, 1989

EUROGRAPHICS, European Association for Computer Graphics, Hansmann, W., Hopgood, F. R. A. (Frank Robert Albert), &hellip;

North-Holland
9 図書 Specification and compositional verification of real-time systems

Hooman, Jozef, 1955-

Springer
4 図書 Virtual environments 2000 : proceedings of the Eurographics Workshop in Amsterdam, The Netherlands, June 1-2, 2000

Mulder, Jurriaan D., Liere, Robert van

Springer
10 電子ブック Specification and Compositional Verification of Real-Time Systems

Hooman, Jozef, SpringerLink (Online service)

Springer-Verlag
5 図書 Data base techniques for pictorial applications, Florence, June 20-22, 1979

Blaser, Albrecht, 1933-, IBM Europe, IBM Italia

Springer-Verlag
11 電子ブック Specification and Compositional Verification of Real-Time Systems

Hooman, Jozef., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Graph drawing : 5th International Symposium, GD'97, Rome, Italy, September 18-20, 1997 : proceedings

Symposium on Graph Drawing, Di Battista, Giuseppe

Springer Verlag
12 図書 Integrable systems and quantum groups : lectures given at the 1st Session of the Centro internazionale matematico estivo (C.I.M.E.) held in Montecatini Terme, …

Centro internazionale matematico estivo. Session, Donagi, Ron, Francaviglia, M., Greco, Silvio, 1941-, Centro &hellip;

Springer