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

Component-based software engineering : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29-July 1, 2006 : proceedings

フォーマット:
図書
責任表示:
Ian Gorton ... [et al.] (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2006
形態:
xi, 394 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 4063 <BA00009279>
書誌ID:
BA77686826
ISBN:
9783540356288 [3540356282]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 : proceedings

SPIN, Bošnački, Dragan, Edelkamp, Stefan

Springer
7 図書 Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

SAS, Hankin, Chris, Siveroni, Igor

Springer
2 図書 Fundamental Approaches to Software Engineering : 10th International Conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice …

FASE, European Conferences on Theory and Practice of Software, Dwyer, Matthew B., Lopez, Antonia

Springer
8 図書 Integer programming and combinatorial optimization : 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002 : proceedings

Conference on Integer Programming and Combinatorial Optimization, Cook, William J., Schulz, Andreas S.

Springer
3 図書 Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers

Bruynooghe, Maurice, International Workshop on Logic Program Synthesis and Transformation

Springer
9 図書 Computing and combinatorics : 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003 : proceedings

International Computing and Combinatorics Conference, Warnow, Tandy, 1955-, Zhu, Binhai, 1966-

Springer
4 図書 Proceedings of the 35th annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 9-11, 2003

ACM Symposium on Theory of Computing, ACM Special Interest Group on Algorithms and Computation Theory

ACM
10 図書 Energy minimization methods in computer vision and pattern recognition : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003 : …

International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, Rangarajan, Anand, &hellip;

Springer
5 図書 Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings

International Colloquium on Automata, Languages and Programming, Arge, L. (Lars), Cachin, Christian, Jurdziński, &hellip;

Springer
11 図書 Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Schmidt, David, European Conferences on Theory and Practice of Software

Springer
6 図書 Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

SAS, Hermenegildo, Manuel V., Puebla, Germán

Springer
12 図書 Compiler Construction : 17th International Conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, …

International Workshop on Compiler Construction, European Conferences on Theory and Practice of Software, Hendren, &hellip;

Springer