MPG.eBooks - Search Results

Cover Image

341

Engineering Societies in the Agents World II : Second International Workshop, ESAW 2001 Prague, Czech Republic, July 7, 2001 Revised Papers

by Omicini, Andrea
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

342

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings

by Krishnamurthi, Shriram
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

343

COTS-Based Software Systems : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4–6, 2002 Proceedings

by Dean, John
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

344

Automatic Generation of Computer Animation : Using AI for Movie Animation

by Lu, Ruqian
Published 2002

Springer Berlin Heidelberg

Cover Image

345

Advances in Soft Computing — AFSS 2002 : 2002 AFSS International Conference on Fuzzy Systems Calcutta, India, February 3–6, 2002 Proceedings

by Pal, Nikhil R
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

346

Information Retrieval Techniques for Speech Applications

by Coden, Anni R
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

347

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

348

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

349

Modular Specification and Verification of Object-Oriented Programs

by Müller, Peter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

350

Public Key Cryptography : 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002 Paris, France, February 12–14, 2002 Proceedings

by Naccache, David
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

351

Object Modeling with the OCL : The Rationale behind the Object Constraint Language

by Clark, Tony
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

352

Software Frameworks and Embedded Control Systems

by Pasetti, Alessandro
Published 2002

Springer Berlin Heidelberg

Cover Image

353

Practice and Theory of Automated Timetabling II : Second International Conference, PATAT'97, Toronto, Canada, August 20 - 22, 1997, Selected Papers

by Burke, Edmund
Published 1998

Springer Berlin Heidelberg

Cover Image

354

Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

by Grundy, Jim
Published 1998

Springer Berlin Heidelberg

Cover Image

355

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

356

Information Processing in Medical Imaging : 18th International Conference, IPMI 2003

by Taylor, Chris
Published 2003

Springer Berlin Heidelberg

Cover Image

357

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

358

Conceptual Structures for Knowledge Creation and Communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings

by Moor, Aldo de
Published 2003

Springer Berlin Heidelberg

Cover Image

359

Information Extraction in the Web Era : Natural Language Communication for Knowledge Acquisition and Intelligent Information Agents

by Pazienza, Maria Teresa
Published 2003

Springer Berlin Heidelberg

Cover Image

360

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

13
14
15
16
17
18
19
20
21
22
23