<--- Back to Details
First PageDocument Content
Johann Baptist von Spix / Picus / Oriolus / Ornithology / Abstraction / Science and technology in Germany / Dendroplex / Xiphorhynchus / Woodcreeper
Date: 2009-11-12 16:49:56
Johann Baptist von Spix
Picus
Oriolus
Ornithology
Abstraction
Science and technology in Germany
Dendroplex
Xiphorhynchus
Woodcreeper

boc1273[removed]qxp[removed]

Add to Reading List

Source URL: www.museuemiliogoeldi.xpg.com.br

Download Document from Source Website

File Size: 102,07 KB

Share Document on Facebook

Similar Documents

Concurrent computing / Scheduling / Computer architecture / System software / Preemption / Thread / Cooperative multitasking / Preempt / Synchronization / Computing

Overview Abstraction The Rest

DocID: 1xW1V - View Document

Computing / Software engineering / Computer programming / Parser generators / Compiling tools / Functional programming / Parser combinator / Parsing / Lex / Scala / Apache HTTP Server

LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

DocID: 1xVQq - View Document

Logic / Mathematical logic / Mathematics / Predicate logic / Propositional calculus / Semantics / Philosophical logic / Satisfiability modulo theories / Predicate / Literal / Well-formed formula / Model checking

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

DocID: 1xVJt - View Document

Mathematical logic / Logic / Predicate logic / Mathematics / Predicate / FO / Atomic sentence / Primitive recursive function / Syntactic predicate

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

DocID: 1xVFk - View Document