MPG.eBooks - Search Results

Cover Image

201

Autonomous Dynamic Reconfiguration in Multi-Agent Systems : Improving the Quality and Efficiency of Collaborative Problem Solving

by Hannebauer, Markus
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

202

ECOOP’ 99 — Object-Oriented Programming : 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

by Guerraoui, Rachid
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

203

Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

by Narendran, Paliath
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

204

Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

by George, Chris
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

205

Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

by Cortesi, Agostino
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

206

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

by Hutter, Dieter
Published 1999

Springer Berlin Heidelberg

Cover Image

207

FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

by Wing, Jeannette M
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

208

FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

by Wing, Jeannette M
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

209

Correct System Design : Recent Insights and Advances

by Olderog, Ernst-Rüdiger
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

210

Principles and Practice of Constraint Programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings

by Jaffar, Joxan
Published 1999

Springer Berlin Heidelberg

Cover Image

211

Internet Programming Languages : ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

by Bal, Henri E
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

212

Functional and Logic Programming : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

by Middeldorp, Aart
Published 1999

Springer Berlin Heidelberg

Cover Image

213

Agent-Oriented Programming : From Prolog to Guarded Definite Clauses

by Huntbach, Matthew M
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

214

Partial Evaluation. Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

by Hatcliff, John
Published 1999

Springer Berlin Heidelberg

Cover Image

215

«UML»’99 — The Unified Modeling Language : Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 Proceedings

by France, Robert
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

216

Approaches to Intelligence Agents : Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA’99 Kyoto, Japan, December 2–3, 1999 Proceedings

by Nakashima, Hideyuki
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

217

Advances in Computing Science — ASIAN’99 : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings

by Thiagarajan, P S
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

218

Fundamental Approaches to Software Engineering : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

by Pezzè, Mauro
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

219

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

220

Recent Advances in Constraints : Joint ERCIMCologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers...

by O’Sullivan, Barry
Published 2003

Springer-Verlag Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16