Computer Aided Systems Theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers

>> Google Books

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

Computer Aided Systems Theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers

フォーマット:

図書

責任表示:

Roberto Moreno-Díaz, Bruno Buchberger, José-Luis Freire (eds.)

言語:

英語

出版情報:

Berlin : Springer, c2001

形態:

xi, 670 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2178 <BA00009279>

書誌ID:

BA54615669

ISBN:

9783540429593 [354042959X]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Computer-aided design--Congresses; Computer-aided engineering--Congresses
注記:	Includes bibliographical references and index
登録日:	2002-03-11
分類・件名:	LCC : TA345 LCSH : Computer-aided engineering -- Congresses LCSH : Computer-aided design -- Congresses

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Development and evolution of software architectures for product families : Second international ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, … International Workshop on Development and Evolution of Software Architectures for Product Families, Linden, Frank van … Springer-Verlag	7 図書 Integrated circuit design : power and timing modeling, optimization and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September … PATMOS, Soudris, Dimitrios, 1964-, Pirsch, P. (Peter), Barke, Erich, 1946- Springer
2 図書 Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings FMCAD (Conference), Gopalakrishnan, Ganesh, Windley, Phillip J., 1958- Springer	8 図書 Approximation and online algorithms : first International Workshop, WAOA 2003, Budapest, Hungary, September 16-18 2003 : revised papers WAOA, Jansen, Klaus, Solis-Oba, Roberto Springer
3 図書 Computer vision systems : First International Conference, ICVS '99, Las Palmas, Gran Canaria, Spain, January 13-15, 1999 : proceedings ICVS, Christensen, H. I. (Henrik I.), 1962- Springer	9 図書 Power-aware computer systems : first International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers International Workshop PACS, Falsafi, Babak, Vijaykumar, T. N., 1967- Springer
4 図書 Biological and artificial computation : from neurosciene to technology : International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, … International Work-Conference on Artificial and Natural Neural Networks, Mira, J. (José), Moreno-Díaz, Roberto, 1939-, … Springer-Verlag	10 図書 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
5 図書 Power-aware computer systems : Second International Workshop, PACS 2002, Cambridge, MA, USA, February 2, 2002 : revised papers International Workshop PACS, Falsafi, Babak, Vijaykumar, T. N., 1967- Springer	11 図書 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
6 図書 Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, … International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Bertran, Miquel, Rus, Teodor Springer	12 図書 Randomization and approximation techniques in computer science : Second International Workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 : proceedings Workshop on Randomization and Approximation Techniques in Computer Science, Luby, Michael, Rolim, José D. P., Serna, … Springer