MPG.eBooks - Search Results

Cover Image

161

Intelligent Agents VI. Agent Theories, Architectures, and Languages : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings

by Jennings, Nicholas R
Published 2000

Springer Berlin Heidelberg

Cover Image

162

Concurrent Reactive Plans : Anticipating and Forestalling Execution Failures

by Beetz, Michael
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

163

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

by Baader, Franz
Published 2003

Springer Berlin Heidelberg

Cover Image

164

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

by Smolka, Gert
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

165

Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings

by Ibarra, Oscar H
Published 2003

Springer Berlin Heidelberg

Cover Image

166

Interactive Markov Chains : And the Quest for Quantified Quality

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

167

Neural Nets : 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002 Vietri sul Mare, Italy, May 30 – June 1, 2002 Revised Papers

by Marinaro, Maria
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

168

Embedded Software : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

by Sangiovanni-Vincentelli, Alberto
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

169

Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings

by Corradini, Andrea
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

170

Implementation of Functional Languages : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers

by Koopman, Pieter
Published 2000

Springer Berlin Heidelberg

Cover Image

171

New Trends in Constraints : Joint ERCIMCompulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

by Apt, Krzysztof R
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

172

Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

by Clote, Peter G
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

173

CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

by Palamidessi, Catuscia
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

174

Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

by Bert, Didier
Published 2000

Springer Berlin Heidelberg

Cover Image

175

Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing : 10th International Conference, FPL 2000 Villach, Austria, August 27–30, 2000 Proceedings

by Hartenstein, Reiner W
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

176

Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

by Dam, Mads
Published 1997

Springer Berlin Heidelberg

Cover Image

177

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings

by Gutknecht, Jürg
Published 2000

Springer Berlin Heidelberg

Cover Image

178

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

179

Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers

by Jazayeri, Mehdi
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

180

Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

by Comon, Hubert
Published 1997

Springer Berlin Heidelberg

4
5
6
7
8
9
10
11
12
13
14