>> Google Books
タイトル、所在を表示します

Self-adaptive software : first International Workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers

フォーマット:
図書
責任表示:
Paul Robertson, Howie Shrobe, Robert Laddaga (eds.)
言語:
英語
出版情報:
Berlin ; New York : Springer, c2001
形態:
viii, 247 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1936 <BA00009279>
書誌ID:
BA50613730
ISBN:
9783540416555 [3540416552]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Security protocols : 8th International Workshop, Cambridge, UK, April 3-5, 2000 : revised papers

International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael

Springer
7 図書 Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

International Workshop on TYPES, Callaghan, Paul, Luo, Zhaohui, McKinna, James, Pollack, Robert

Springer
2 図書 Security protocols : 11th International Workshop Cambridge, UK, April 2-4, 2003 : revised selected papers

International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael

Springer
8 図書 Formal approaches to software testing and runtime verification : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, …

Havelund, Klaus, FATES/RV

Springer
3 図書 Agent-oriented software engineering : first International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers

AOSE, Ciancarini, Paolo, 1959-, Wooldridge, Michael J., 1966-

Springer
9 図書 Formal aspects of security : first International Conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

FASec, Abdallah, Ali E., 1957-, Ryan, Peter, 1957-, Schneider, S. A. (Steve A.)

Springer
4 図書 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised …

Mathematics of Program Construction, Backhouse, Roland C., 1948-, Crole, Roy L, Gibbons, Jeremy

Springer
10 図書 Adaptive systems in control and signal processing, 1989 : selected papers from the 3rd IFAC Symposium, Glasgow, UK, 19-21 April 1989

IFAC Symposium on Adaptive Systems in Control and Signal Processing, Johnson, Michael A., International Federation of &hellip;

Published for the International Federation of Automatic Control by Pergamon Press
5 図書 Formal approaches to software testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers

International Workshop on Formal Approaches to Testing of Software, Grieskamp, Wolfgang, Weise, Carsten

Springer
11 図書 Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

International Dagstuhl Seminar, Numerical Software with Result Verification, Alt, René, Frommer, Andreas, Kearfott, R. &hellip;

Springer
6 図書 Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers

FAABS, Rash, James L., Rouff, Christopher A., Truszkowski, Walt, Gordon, Diana, Hinchey, Michael G. (Michael Gerard), &hellip;

Springer
12 図書 Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers

International Conference AISC, Campbell, John A., 1940-, Roanes-Lozano, Eugenio

Springer