| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| FME '97, industrial applications and strengthened foundations of formal methods:4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings / |
John Fitzgerald, Cliff B. Jones, Peter Lucas (eds.) |
1997 |
查看
|
回報問題連結 |
| Just-in-time systems for computing environments |
Ralph L. Kliem and Irwin S. Ludin. |
1994 |
查看
|
回報問題連結 |
| Design solutions for user-centric information systems |
Saqib Saeed, Yasser A. Bamarouf, T. Ramayah and Sardar Zafar Iqbal [editors]. |
|
查看
|
回報問題連結 |
| Property-preserving petri net process algebra in software engineering |
Hejiao Huang ... [et al.]. |
©2012 |
查看
|
回報問題連結 |
| Frameworks for developing efficient information systems:models, theory, and practice / |
John Krogstie, editor. |
2013 |
查看
|
回報問題連結 |
| Just-in-time systems for computing environments |
Ralph L. Kliem and Irwin S. Ludin. |
1994 |
查看
|
回報問題連結 |
| Contemporary issues in database design and information systems development |
Keng Siau, [editor]. |
2007 |
查看
|
回報問題連結 |
| Computer systems:theory, technology, and applications : a tribute to Roger Needham / |
Andrew Herbert, Karen Sparck Jones, editors. |
2004 |
查看
|
回報問題連結 |
| Tools and algorithms for the construction and analysis of systems:10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / |
Kurt Jensen, Andreas Podelski (eds.). |
2004 |
查看
|
回報問題連結 |
| Tools and algorithms for the construction and analysis of systems:9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / |
Hubert Garavel, John Hatcliff (eds.). |
2003 |
查看
|
回報問題連結 |
| Tools and algorithms for the construction and analysis of systems:Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / |
Ed Brinksma (ed.). |
1997 |
查看
|
回報問題連結 |
| Tools and algorithms for the construction and analysis of systems:4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / |
Bernhard Steffen, (ed.). |
1998 |
查看
|
回報問題連結 |
| Conceptual modeling:current issues and future directions / |
Peter P. Chen ... [et al.]. |
1999 |
查看
|
回報問題連結 |
| Correct system design:recent insights and advances / |
Ernst-Rudiger Olderog, Bernhard Steffen (eds.). |
1999 |
查看
|
回報問題連結 |
| Tools and algorithms for the construction and analysis of systems:5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / |
W. Rance Cleaveland, ed. |
1999 |
查看
|
回報問題連結 |
| Tools and algorithms for the construction and analysis of systems:6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / |
Susanne Graf, Michael Schwartzbach (eds.). |
2000 |
查看
|
回報問題連結 |
|
|
