Services and visualization : towards user-friendly design -- : Advanced communication services : International workshop : Apr 1998, Lisbon, Portugal : towards user-friendly design -- : Visualization issues for formal methods : International workshop : Apr 1998, Lisbon, Portugul : towards user-friendly design -- : Advanced intelligent networks : International workshop : 2nd : Jul 1997, Cesena, Italy. (Lecture Notes in Computer Science ; 1385)

Services and visualization : towards user-friendly design -- : Advanced communication services : International workshop : Apr 1998, Lisbon, Portugal : towards user-friendly design -- : Visualization issues for formal methods : International workshop : Apr 1998, Lisbon, Portugul : towards user-friendly design -- : Advanced intelligent networks : International workshop : 2nd : Jul 1997, Cesena, Italy.

(Lecture Notes in Computer Science ; 1385)

Call No. (NDL): M17-01-0271
Bibliographic ID of National Diet Library: 000003449137

Material type: 図書

Author: IEEE.

Publisher: Springer

Publication date: 1998.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Selected papers.Held with TACAS'98 as pt of ETAPS'98 in Mar 1998. Also known as ACoS'98.Index term: services ; visualization ; ACoS ; ETAPS ; IEEE....

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540643672 (pbk)
ISSN: 0302-9743
Title: Services and visualization : towards user-friendly design -- : Advanced communication services : International workshop : Apr 1998, Lisbon, Portugal : towards user-friendly design -- : Visualization issues for formal methods : International workshop : Apr 1998, Lisbon, Portugul : towards user-friendly design -- : Advanced intelligent networks : International workshop : 2nd : Jul 1997, Cesena, Italy.
Series Title: Lecture Notes in Computer Science ; 1385
Author Heading: IEEE.
Publication, Distribution, etc.: Springer
Publication Date: 1998.
Publication Date (W3CDTF): 1998
Extent: v.
Alternative Title: Held with TACAS'98 as pt of ETAPS'98 in Mar 1998. Also known as ACoS'98
services ; visualization ; ACoS ; ETAPS ; IEEE
Held with TACAS'98 as pt of ETAPS'98 in Mar 1998. Also known as VISUAL'98
services ; visualization ; VISUAL ; ETAPS ; IEEE
Held with ICALP in 1997. Also known as AIN'97
services ; visualization ; AIN ; ICALP ; IEEE
NDLC: M17
Note (General): Selected papers.
Held with TACAS'98 as pt of ETAPS'98 in Mar 1998. Also known as ACoS'98.
Index term: services ; visualization ; ACoS ; ETAPS ; IEEE.
Held with TACAS'98 as pt of ETAPS'98 in Mar 1998. Also known as VISUAL'98.
Index term: services ; visualization ; VISUAL ; ETAPS ; IEEE.
Held with ICALP in 1997. Also known as AIN'97.
Index term: services ; visualization ; AIN ; ICALP ; IEEE.
BL shelfmark: 5180.185 vol 1385 1998.
Holding library: 国立国会図書館
Call No.: M17-01-0271
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003449137
http://id.ndl.go.jp/bib/000003449137
UKMARC No.: G05552573
G05552580
G05552581
Bibliographic Record Category (NDL): 215