Struct - PDFSEARCH.IO - Document Search Engine

Struct
Results: 936

#	Item
291	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-05 06:52:11 Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic Mathematics
292	User-defined Literals for Standard Library Types (part 1 - version 4) Peter SommerladDocument Number: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-04-18 23:04:06 Software engineering C++11 String C++ classes Template Struct Sizeof New Sequence container C++ Computer programming Computing
293	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: mirrors.softliste.de Language: English - Date: 2015-05-28 05:10:09 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
294	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: cran.fiocruz.br Language: English - Date: 2015-05-28 05:10:09 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
295	R Internals Version16) R Core Team This manual is for R, version16). Add to Reading List Source URL: mirrors.softliste.de Language: English - Date: 2015-05-27 05:13:22 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
296	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: ftp.ussg.iu.edu Language: English - Date: 2015-05-26 05:07:59 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
297	Formal Verication of Object Layout for C++ Multiple Inheritance Tahina Ramananandro1 1 INRIA Gabriel Dos Reis2 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-01-27 00:28:09 C programming language Procedural programming languages C++ Struct C++ classes ALGOL 68 C D Software engineering Programming language theory Computing
298	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.repo.bppt.go.id Language: English - Date: 2015-05-27 13:13:42 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
299	Mapping PL Objects to the Machine – managing the address space David E. Culler CS61CL Feb 9, 2009 Lecture 3 Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2009-09-09 11:11:17 C programming language C++ Sizeof C Pointer Struct Sort Printf format string Comparison of Object Pascal and C Computing Computer programming Software engineering
300	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: cran.mtu.edu Language: English - Date: 2015-05-26 05:07:59 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering

UPDATE