Narrow your search

Library

KU Leuven (7)

UAntwerpen (6)

UCLouvain (5)

ULiège (5)

KBR (3)

Hogeschool West-Vlaanderen (1)

UGent (1)

VUB (1)


Resource type

book (10)


Language

English (10)


Year
From To Submit

1985 (10)

Listing 1 - 10 of 10
Sort by
Reliable data structures in C
Author:
ISBN: 091153704X 9780911537048 Year: 1985 Publisher: Cardiff: Plum Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Data structures on the IBM PC.
Author:
ISBN: 0893034819 Year: 1985 Publisher: Brady communications company

Loading...
Export citation

Choose an application

Bookmark

Abstract

PASCAL plus data structures, algorithms, and advanced programming
Authors: ---
ISBN: 0669072397 Year: 1985 Publisher: Lexington (Mass.) : D.C. Heath,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Data structures with abstract data types and Pascal
Authors: ---
ISBN: 0534038190 9780534038199 Year: 1985 Publisher: Monterey, Calif. Brooks/Cole


Book
Recent trends in data type specification : 3rd Workshop on theory and applications of abstract data types : selected papers
Authors: ---
ISBN: 3540160779 3662096919 9783540160779 Year: 1985 Volume: 116 Publisher: Berlin: Springer,

Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types
Author:
ISBN: 3540152121 354039348X Year: 1985 Volume: vol 189 Publisher: Berlin Heidelberg New York Tokyo Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming --- 681.3*D32 --- 681.3*D33 --- 681.3*E2 --- 681.3*I22 --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Data storage representations: composite structures; contiguous representations; hash-table representations; linked representations; primitive data items --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*E2 Data storage representations: composite structures; contiguous representations; hash-table representations; linked representations; primitive data items --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Software engineering. --- Computer science. --- Data structures (Computer scienc. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Data Structures. --- Informatics --- Science --- Computer software engineering --- Engineering --- Paragon (computer program language)

Mathematical foundations of software development : proceedings of the International joint conference on theory and practice of software development (TAPSPFT) Berlin, March 1985
Authors: ---
ISBN: 3540151982 0387151982 3540151990 0387151990 3540393021 3540393072 9783540151982 9783540151999 Year: 1985 Volume: 185-186 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming --- Computer software --- Logiciels --- Development --- Congresses --- Développement --- Congrès --- 681.3*D22 --- 681.3*E1 --- 681.3*F --- 681.3*F3 --- 681.3*F4 --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Data structures: arrays; graphs; lists; tables; trees --- Theory of computation --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*D0 --- 681.3*D2 --- Computerwetenschap--?*D0 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F Theory of computation --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Développement --- Congrès --- Software engineering. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Information theory. --- Combinatorics. --- Theory of Computation. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Combinatorics --- Algebra --- Mathematical analysis --- Communication theory --- Communication --- Cybernetics --- Congresses.

Fundamentals of algebraic specification . 1, Equations and initial semantics
Authors: --- --- --- ---
ISBN: 3540517995 3540137181 0387137181 0387517995 3642647766 3642612849 3642699642 3642699626 9780387137186 9783540137184 9783540517993 Year: 1985 Volume: 21 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Algebra --- Data structures (Computer science) --- Structures de données (Informatique) --- 681.3*F32 --- 681.3*F43 --- Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Formal languages: algebraic language theory classes defined by grammars or automata or by resource-bounded automata operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory classes defined by grammars or automata or by resource-bounded automata operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Programming --- Computer science --- Data structures (Computer science). --- Algebra. --- Software engineering --- Specification


Book
A hierarchical associative processing system
Author:
ISBN: 3540156526 3540395598 Year: 1985 Volume: vol 195 Publisher: Berlin Heidelberg New York Tokyo Springer

Listing 1 - 10 of 10
Sort by