MPG.eBooks - Search Results

Cover Image

281

Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings

by Taha, Walid
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

282

Compiler Construction : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Mar...

by Koskimies, Kai
Published 1998

Springer Berlin Heidelberg

Cover Image

283

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

by Swart, Harrie
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

284

Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings

by Eiter, Thomas
Published 2001

Springer Berlin Heidelberg

Cover Image

285

Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

by Richter-Gebert, Jürgen
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

286

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

287

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

288

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

289

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

290

Automata Implementation : 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

by Boldt, Oliver
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

291

Principles and Practice of Constraint Programming — CP 2001 : 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

by Walsh, Toby
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

292

Algorithmic Learning Theory : 12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings

by Abe, Naoki
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

293

Logic Programming : 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

by Codognet, Philippe
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

294

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

by Nieuwenhuis, Robert
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

295

Computer Aided Systems Theory - EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, Febru...

by Moreno-Diaz, Roberto
Published 2001

Springer Berlin Heidelberg

Cover Image

296

AI 2001: Advances in Artificial Intelligence : 14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings

by Stumptner, Markus
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

297

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference Bangalore, India, December 13–15, 2001 Proceedings

by Hariharan, Ramesh
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

298

Multiset Processing : Mathematical,Computer Science, and Molecular Computing Points of View

by Calude, Cristian S
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

299

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

300

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

9
10
11
12
13
14
15
16
17
18
19