MPG.eBooks - Search Results

Cover Image

201

Principles of Declarative Programming : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceed...

by Palamidessi, Catuscia
Published 1998

Springer Berlin Heidelberg

Cover Image

202

Algorithmic Learning Theory : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings

by Richter, Michael M
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

203

Static Analysis : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings

by Levi, Giorgio
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

204

ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

by Bowen, Jonathan P
Published 1998

Springer Berlin Heidelberg

Cover Image

205

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

by Fuchs, Norbert E
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

206

Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers

by Gimenez, Eduardo
Published 1998

Springer Berlin Heidelberg

Cover Image

207

Formal Approaches to Agent-Based Systems : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

by Rash, James L
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

208

Computational Intelligence. Theory and Applications : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1–3, 2001 Proceedings

by Reusch, Bernd
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

209

Theoretical Aspects of Computer Software : 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

by Kobayashi, Naoki
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

210

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

by Kahle, Reinhard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

211

Applications of Uncertainty Formalisms

by Hunter, Anthony
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

212

Database Theory — ICDT’99 : 7th International Conference Jerusalem, Israel, January 10–12, 1999 Proceedings

by Beeri, Catriel
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

213

Rough Sets and Current Trends in Computing : Second International Conference, RSCTC 2000 Banff, Canada, October 16–19, 2000 Revised Papers

by Ziarko, Wojciech
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

214

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

by Cerioli, Maura
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

215

ZB 2002:Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

by Bert, Didier
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

216

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

by Brauer, Wilfried
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

217

Computational Linguistics and Intelligent Text Processing : Third International Conference, CICLing 2002 Mexico City, Mexico, February 17–23, 2002 Proceedings

by Gelbukh, Alexander
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

218

Types for Proofs and Programs : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

by Callaghan, Paul
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

219

Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

by Schmid, Ute
Published 2003

Springer Berlin Heidelberg

Cover Image

220

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

by Bert, Didier
Published 2003

Springer-Verlag Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16