ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
551	Proceedings of BCS Software Engineering Symposium, BelfastCOBOL M A Jackson Michael Jackson Systems Limited 5 Scot Grove Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-18 17:03:36 Procedural programming languages COBOL PL/I Structured programming For loop ALGOL 68 Programming language Assembly language Fortran Computing Software engineering Computer programming
552	Perl versiondocumentation - IPC::Semaphore NAME IPC::Semaphore - SysV Semaphore IPC object class SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:03:33 Programming language theory POSIX Semaphore Software engineering Stat ALGOL 68 Computing Concurrency control C POSIX library
553	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: mirrors.dotsrc.org 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
554	R Internals Version16) R Core Team This manual is for R, version16). Add to Reading List Source URL: cran.nexr.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
555	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
556	Curriculum vitae TARMO U USTALU , TTÜ K ÜBERNEETIKA I NSTITUUT / TTÜ ARVUTITEADUSE INSTITUUT Isikuandmed • sündinud 19. jaanTallinnas; Eesti kodanik, abielus, 3 last Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2015-02-09 19:57:12 Leibniz Computing Programming language theory ALGOL 68 Software engineering
557	ACM Word Template for SIGCOMM Submissions Add to Reading List Source URL: www.sigmobile.org Language: English - Date: 2014-12-21 11:22:14 Association for Computing Machinery Times New Roman Helvetica Typography Digital typography ALGOL 68
558	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
559	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
560	Predicting Properties of Specialized Programs PhD Proposal Karoline Malmkjær November 20, 1991 c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Computability theory Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Eval ALGOL 68 Lambda calculus Type system Software engineering Computing Computer programming

UPDATE