MPG.eBooks - Search Results

Cover Image

1901

Computer Aided Systems Theory - EUROCAST'99 : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2,...

by Pichler, Franz
Published 2000

Springer Berlin Heidelberg

Cover Image

1902

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings

by Leeuwen, Jan
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1903

SEMPER - Secure Electronic Marketplace for Europe

by Lacoste, Gerard
Published 2000

Springer Berlin Heidelberg

Cover Image

1904

Intelligent Systems and Soft Computing : Prospects, Tools and Applications

by Azvine, Behnam
Published 2000

Springer Berlin Heidelberg

Cover Image

1905

Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

by Choueiry, Berthe Y
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1906

Artificial Evolution : 4th European Conference, AE'99 Dunkerque, France, November 3-5, 1999 Selected Papers

by Fonlupt, Cyril
Published 2000

Springer Berlin Heidelberg

Cover Image

1907

Languages and Compilers for Parallel Computing : 12th International Workshop, LCPC’99 La Jolla, CA, USA, August 4–6, 1999 Proceedings

by Carter, Larry
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1908

Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proce...

by Ganter, Bernhard
Published 2000

Springer Berlin Heidelberg

Cover Image

1909

Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

by Aagaard, Mark
Published 2000

Springer Berlin Heidelberg

Cover Image

1910

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

by Koopman, Pieter
Published 2000

Springer Berlin Heidelberg

Cover Image

1911

Recent Advances in AI Planning : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings

by Biundo, Susanne
Published 2000

Springer Berlin Heidelberg

Cover Image

1912

Network-Based Parallel Computing - Communication, Architecture, and Applications : 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings

by Falsafi, Babak
Published 2000

Springer Berlin Heidelberg

Cover Image

1913

New Trends in Constraints : Joint ERCIMCompulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

by Apt, Krzysztof R
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1914

Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

by Clote, Peter G
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1915

CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

by Palamidessi, Catuscia
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1916

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

by Bert, Didier
Published 2000

Springer Berlin Heidelberg

Cover Image

1917

Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing : 10th International Conference, FPL 2000 Villach, Austria, August 27–30, 2000 Proceedings

by Hartenstein, Reiner W
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1918

Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

by Nielsen, Mogens
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1919

Advances in Cryptology — CRYPTO 2000 : 20th Annual International Cryptology Conference Santa Barbara, California, USA, August 20–24, 2000 Proceedings

by Bellare, Mihir
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

1920

Adaptive Hypermedia and Adaptive Web-Based Systems : International Conference, AH 2000 Trento, Italy, August 28–30, 2000 Proceedings

by Brusilovsky, Peter
Published 2000

Springer-Verlag Berlin Heidelberg

91
92
93
94
95
96
97
98
99
100
101