By B. Kutzler
ISBN-10: 3540123121
ISBN-13: 9783540123125
ISBN-10: 3642690327
ISBN-13: 9783642690327
Subsidized via the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", undertaking nr. P4567
Read Online or Download Bibliography on Abstract Data Types PDF
Similar abstract books
Get Cohomology of finite groups PDF
Adem A. , Milgram R. J. Cohomology of finite teams (Springer, 1994)(ISBN 354057025X)
Syzygies and Homotopy Theory by F.E.A. Johnson PDF
An important invariant of a topological house is its basic workforce. while this is often trivial, the ensuing homotopy idea is definitely researched and everyday. within the basic case, even though, homotopy thought over nontrivial basic teams is way extra challenging and much much less good understood. Syzygies and Homotopy idea explores the matter of nonsimply hooked up homotopy within the first nontrivial situations and offers, for the 1st time, a scientific rehabilitation of Hilbert's approach to syzygies within the context of non-simply hooked up homotopy concept.
- p-Adic Lie Groups
- Algebraic Varieties
- Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies)
- Foundations of Galois Theory (Dover Books on Mathematics)
Additional resources for Bibliography on Abstract Data Types
Sample text
20, no. 6, pp. 396-404 + Proc. Conf. 'Data Abstraction, Definition and Structure', Sigplan Notices, vol. 8, no. 2, p. 62 (abstract only). , 1978. Notes on Data Abstraction. Proc. Int. Summer School on Program Construction, LNCS 69, pp. 593-616. ZfM: 399. , 1980. Notes on Type Abstraction (Version 2). IEEE-SE, vol. SE-6, no. I, pp. 13-23. , 1981. A Few Remarks on Putting Formal Specifications to Productive Use. Proc. Workshop 'Program Specification', LNCS 134, pp. 370-380. , 1982. IOTA on DECSystem 20 - KWIC Example.
PL/ADT - Ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL/I. Dissertationen der Johannes Kepler Univ. Linz, Nr. 30, Verlag Verband der wissenschaftlichen Gesellschaften Osterreichs. , 1981. Eignung verschiedener Spezifikationsmethoden fUr Datenmodellen. Univ. Karlsruhe, Inst. f. Informatik, Diplomarbeit. , 198x. Parameterization and Abstract Data Types in a Program Design Language: The Design of Software Development Processor. UCLA, DCS, Report. , 1976. The Use of Abstract Data Types to Simplify Program Modifications.
8, no. 2, (Special Issue), pp. 12-23. , 1978. Specifying Abstract Data Types by Restriction. Sigsoft SEN, vol. 3, no. 2, pp. 7-13. , 1981. An Exercise in Language Design for Secure Programming. Proc. : 'Austral ian Computer Science Communications', vol. 3, no. 1, pp. 106-116. , 1982. A Generalized Model for Data Abstraction. Univ. of Exeter, DCS, TR. , 1979. Zum Begriff der Implementierung in der Theorie der abstrakten Datentypen. Univ. Dortmund, Abt. Informatik, Diplomarbeit. , 1980. Literatur zu: Theorie und Anwendung abstrakter Datentypen.
Bibliography on Abstract Data Types by B. Kutzler
by Edward
4.2