MPG.eBooks - Search Results

Cover Image

361

Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

by Giunchiglia, Enrico
Published 2004

Springer Berlin Heidelberg

Cover Image

362

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

by Dershowitz, Nachum
Published 2004

Springer Berlin Heidelberg

Cover Image

363

Computational Linguistics and Intelligent Text Processing : 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings

by Gelbukh, Alexander
Published 2004

Springer Berlin Heidelberg

Cover Image

364

Model Generation for Natural Language Interpretation and Analysis

by Konrad, Karsten
Published 2004

Springer Berlin Heidelberg

Cover Image

365

STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings

by Diekert, Volker
Published 2004

Springer Berlin Heidelberg

Cover Image

366

Compiler Construction : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, Mar...

by Duesterwald, Evelyn
Published 2004

Springer Berlin Heidelberg

Cover Image

367

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

by Walukiewicz, Igor
Published 2004

Springer Berlin Heidelberg

Cover Image

368

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

by Schmidt, David
Published 2004

Springer Berlin Heidelberg

Cover Image

369

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

370

Recent Advances in Constraints : Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2,...

by Apt, Krzysztof R
Published 2004

Springer Berlin Heidelberg

Cover Image

371

Learning Language in Logic

by Cussens, James
Published 2000

Springer-Verlag Berlin Heidelberg

9
10
11
12
13
14
15
16
17
18
19