MPG.eBooks - Search Results

Cover Image

161

Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

by Backhouse, Roland
Published 2000

Springer Berlin Heidelberg

Cover Image

162

Learning Classifier Systems : From Foundations to Applications

by Lanzi, Pier Luca
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

163

Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

by Emerson, E Allen
Published 2000

Springer Berlin Heidelberg

Cover Image

164

Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings

by Bachmair, Leo
Published 2000

Springer Berlin Heidelberg

Cover Image

165

Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings

by Lloyd, John
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

166

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

by Gurevich, Yuri
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

167

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

by Baaz, Matthias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

168

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings

by Agrawal, Manindra
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

169

Implementation and Application of Automata : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers

by Watson, Bruce W
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

170

Computational Linguistics and Intelligent Text Processing : 4th International Conference, CICLing 2003 Mexico City, Mexico, February 16–22, 2003 Proceedings

by Gelbukh, Alexander
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

171

Inductive Logic Programming : 12th International Conference, ILP 2002 Sydney, Australia, July 9–11, 2002 Revised Papers

by Matwin, Stan
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

172

Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

by Asperti, Andrea
Published 2003

Springer Berlin Heidelberg

Cover Image

173

Computational Methods in Systems Biology : First International Workshop, CMSB 2003 Rovereto, Italy, February 24–26, 2003 Proceedings

by Priami, Corrado
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

174

Membrane Computing : International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers

by PĂun, Gheorghe
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

175

Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003...

by Degano, Pierpaolo
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

176

Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Sof...

by Gordon, Andrew D
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

177

Compiler Construction : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7...

by Hedin, Görel
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

178

Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

by Geuvers, Herman
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

179

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26–29, 2003 Proceedings

by Wang, Guoyin
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

180

AI*IA 2003: Advances in Artificial Intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings

by Cappelli, Amedeo
Published 2003

Springer Berlin Heidelberg

4
5
6
7
8
9
10
11
12
13
14