38 treff

abstract data types computer science
Abstract data types in Java
Michael S. Jenkins
Bok Engelsk 1997 · Vis mer
Abstract data types in Modula-2
Rachel Harrison
Bok Engelsk 1989 · Vis mer
Data abstraction and object-oriented programming in C++
Keith E. Gorlen, Sanford M. Orlow, Perry ...
Bok Engelsk 1990 · Vis mer
Data abstraction & problem solving with C++ : walls & mirrors
Frank M. Carrano
Bok Engelsk 2007 · Vis mer
Vis flere utgaver
Vis flere utgaver
Data structures with abstract data types and Pascal
Daniel F. Stubbs and Neil W. Webre
Bok Engelsk 1989 · Vis mer
Vis flere utgaver
Vis flere utgaver
Java collections : an introduction to abstract data types, data structures, and algorithms
David A. Watt, Deryck F. Brown
Bok Engelsk 2000 · Vis mer
Introduction to abstract data types using Ada
Bruce Hillam
Bok Engelsk 1994 · Vis mer
Program correctness over abstract data types, with error-state semantics
Tucker, J.V.
Bok Engelsk 1988 · Vis mer
Data structures with abstract data types and Ada
Daniel F. Stubbs, Neil W. Webre
Bok Engelsk 1993 · Vis mer
Concrete abstractions : an introduction to computer science using Scheme
Max Hailperin, Barbara Kaiser, Karl Knigh...
Bok Engelsk 1999 · Vis mer
Programming abstractions in C : a second course in computer science
Roberts, Eric S.
Bok Engelsk 1998 · Vis mer
Data structures and abstraction using C
Geoff Whale
Bok Engelsk 1996 · Vis mer
Qualified types : theory and practice
Mark P. Jones
Bok Engelsk 1994 · Vis mer
Abstract data types and Modula-2 : a worked example of design using data abstraction
Richard Mitchell
Bok Engelsk 1992 · Vis mer
Structures and abstractions : an introduction to computer science with Pascal
William I. Salmon
Bok Engelsk 1991 · Vis mer
A systematic catalogue of reusable abstract data types
Jürgen Uhl, Hans Albrecht Schmid
Bok Engelsk 1990 · Vis mer
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems
Geurts, Frédéric
Bok Engelsk 1998 · Vis mer
Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types
Mark Steven Sherman
Bok Engelsk 1985 · Vis mer
Data structures, algorithms, and performance
Derick Wood
Bok Engelsk 1993 · Vis mer
Live data structures in logic programs : derivation by means of abstract interpretation
Anne Mulkers
Bok Engelsk 1993 · Vis mer
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
K. H. Bläsius, U. Hedtstück, C.-R. Rollin...
Bok Engelsk 1990 · Vis mer
Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers
Workshop on Specification of Abstract Data Types
Bok Engelsk 1994 · Vis mer
Algebraic specifications in software engineering : an introduction
Ivo van Horebeek, Johan Lewi
Bok Engelsk 1989 · Vis mer
Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers
Workshop on Theory and Applications of Abstract Data Types
Bok Engelsk 1985 · Vis mer
Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
WADT 2002
Bok Engelsk 2003 · Vis mer
Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
International Conference on Algebraic Methodology and Software Technology
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
WADT 2001
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
International Conference on Algebraic Methodology and Software Technology
Bok Engelsk 2000 · Vis mer
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
WADT'99
Bok Engelsk 2000 · Vis mer
Algebraic methodology and software technology : 7th international conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 : proceedings
International Conference on Algebraic Methodology and Software Technology
Bok Engelsk 1999 · Vis mer