檢索結果

121

Topics in artificial intelligence : 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

122

Protocols and systems for interactive distributed multimedia : joint international workshops on interactive distributed multimedia systems and protocols for multimedia systems, IDM...

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

123

Algorithmic learning theory : 13th international conference, ALT 2002, Lübeck, Germany, November 24-26, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

124

Advances in computing science--ASIAN 2002 : Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference,...

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

125

Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

126

Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

127

Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002...

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

128

Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice...

Berlin ; New York : Springer, 2003

Conference Proceeding 圖書

129

Genetic programming : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

130

Trends in network and pervasive computing-ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

131

Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of So...

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

132

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

133

Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

134

Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

135

Applied parallel computing : advanced scientific computing : 6th international conference, PARA 2002, Espoo, Finland, June 15-18, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

136

Advanced information systems engineering : 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

137

Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

138

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

139

Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : p...

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

140

Conceptual structures : integration and interfaces : 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding 圖書

縮小搜索