Struct - PDFSEARCH.IO - Document Search Engine

Struct
Results: 936

#	Item
381	Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model checkers Logic in computer science Alloy Analyzer Massachusetts Institute of Technology Alloy NuSMV Formal verification First-order logic Boolean satisfiability problem Theoretical computer science Formal methods Applied mathematics
382	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.ism.ac.jp Language: English - Date: 2015-05-26 13:12:20 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
383	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.wustl.edu Language: English - Date: 2015-05-26 13:12:20 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
384	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: cran.hafro.is 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
385	Perl versiondocumentation - IPC::SharedMem NAME IPC::SharedMem - SysV Shared Memory IPC object class SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:44:59 C POSIX library Inter-process communication Memory management Concurrent computing Shared memory Stat Random-access memory C dynamic memory allocation Struct Computing Computer programming Parallel computing
386	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.csie.ntu.edu.tw Language: English - Date: 2015-05-26 13:12:20 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
387	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.usthb.dz Language: English - Date: 2015-05-26 13:12:20 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
388	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.ma.imperial.ac.uk Language: English - Date: 2015-05-23 13:12:03 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
389	LV2 Atoms: A Data Model for Real-Time Audio Plugins David Robillard School of Computer Science Carleton University Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2014-05-01 08:01:47 LADSPA Struct LV2 Atom Software Audio plugin Carleton University
390	R Internals Version16) R Core Team This manual is for R, version16). Add to Reading List Source URL: cran.parentingamerica.com Language: English - Date: 2015-05-25 05:11:45 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering

UPDATE