MPG.eBooks - Search Results

Cover Image

321

Privacy Enhancing Technologies : Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers

Published 2003

Springer Berlin Heidelberg

Cover Image

322

The Design of Dynamic Data Structures

by Overmars, Mark H.
Published 1983

Springer Berlin Heidelberg

Cover Image

323

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceed...

Published 2003

Springer Berlin Heidelberg

Cover Image

324

Cryptography and Coding : 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

325

CASL User Manual : Introduction to Using the Common Algebraic Specification Language

by Bidoit, Michel, Mosses, Peter D.
Published 2004

Springer Berlin Heidelberg

Cover Image

326

Learning Software Organizations: Methodology and Applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99 Kaiserslautern, Germany, Ju...

Published 2000

Springer Berlin Heidelberg

Cover Image

327

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

328

ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

329

Smart Card. Research and Applications : Third International Conference, CARDIS'98 Louvain-la-Neuve, Belgium, September 14-16, 1998 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

330

Software Architectures for Product Families : International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

331

Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Published 2000

Springer Berlin Heidelberg

Cover Image

332

Affective Interactions : Towards a New Generation of Computer Interfaces

Published 2000

Springer Berlin Heidelberg

Cover Image

333

Articulated Motion and Deformable Objects : First International Workshop, AMDO 2000 Palma de Mallorca, Spain, September 7-9, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

334

Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

Cover Image

335

Implementation of Functional Languages : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

Cover Image

336

Advances in Cryptology – EUROCRYPT '94 : Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9 - 12, 1994. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

337

Successful Test Management : An Integral Approach

by Pinkster, Iris, Burgt, Bob van de, Janssen, Dennis, Veenendaal, Erik van
Published 2004

Springer Berlin Heidelberg

Cover Image

338

Advances in Cryptology — CRYPTO ’95 : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27–31, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

339

Cooperative Information Systems : 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Cover Image

340

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

12
13
14
15
16
17
18
19
20
21
22