<--- Back to Details
First PageDocument Content
Abstract data types / Data types / Procedural programming languages / Arrays / Circular buffer / Computer memory / ALGOL 68 / Sequence container / Stack / Computing / Software engineering / Computer programming
Date: 2009-07-29 03:21:48
Abstract data types
Data types
Procedural programming languages
Arrays
Circular buffer
Computer memory
ALGOL 68
Sequence container
Stack
Computing
Software engineering
Computer programming

Add to Reading List

Source URL: herbert.the-little-red-haired-girl.org

Download Document from Source Website

File Size: 72,38 KB

Share Document on Facebook

Similar Documents

System software / BIOS / Computer architecture / Boot loaders / Booting

Forth Day: Green Arrays, Inc.  Greg Bailey – Intro: The State of Green Arrays  Stefan Mauerhofer – Eval Board Application: Low Frequency Clock and UART

DocID: 1xVPy - View Document

Software engineering / Computer programming / Computing / Interpolation / Video / Video signal / Craig interpolation / Pure / Foreach loop

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

DocID: 1xViK - View Document

Software engineering / Computing / Computer programming / Array data type / Array data structure / D

Weakly Equivalent Arrays J¨ urgen Christ Jochen Hoenicke

DocID: 1xTgU - View Document

Theoretical computer science / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Mathematics / Constraint programming / Satisfiability modulo theories / Boolean satisfiability problem / Array data type / Literal / Matrix

A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis

DocID: 1xTfs - View Document

CHAPTER FIFTEEN Reconstitution of Contractile Actomyosin Arrays Michael Murrell*, Todd Thoresen†,{, Margaret Gardel†,{,1

DocID: 1vi0t - View Document