ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
271	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:52:45 ALGOL 68 Parallel computing Schedule Programming language theory Computing Software engineering
272	Supplement of Biogeosciences, 12, 2907–2925, 2015 http://www.biogeosciences.netdoi:bgsupplement © Author(sCC Attribution 3.0 License. Supplement of Add to Reading List Source URL: www.biogeosciences.net Language: English - Date: 2015-05-21 05:40:23 Programming language theory Normalized Difference Vegetation Index Procedural programming languages Null ALGOL 68 Data file Biomass Herbaceous plant Biology Remote sensing Computing
273	A stack buffer overflow vulnerability exists in the Add to Reading List Source URL: www.mnin.org Language: English - Date: 2006-10-21 04:10:32 C++ C++ classes Novell NetWare ALGOL 68 Ip Pointer Computing Computer programming Software engineering
274	PDF Document Add to Reading List Source URL: www.historychannel.co.jp Language: English - Date: 2015-05-08 01:17:31 Pawn Stars Pawn Modern Marvels History American Restoration ALGOL 58 Television in the United States Television Pawn shops
275	Comingle: Distributed Logic Programming for Decentralized Android Applications Edmund S. L. Lam and Iliano Cervesato March 2015 CMU-CSCMU-CS-QTR-125 Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2015-03-05 12:04:45 Logic in computer science Functional programming Monad Rewriting ALGOL 68 Software engineering Programming language theory Computing
276	Advanced Scientific Programming in Python an Autumn School by the G-Node, the Center for Mind/Brain Sciences and the Fondazione Bruno Kessler Trento, Italy, October 4 → October 8, 2010 Evaluation Survey Results Add to Reading List Source URL: python.g-node.org Language: English - Date: 2014-02-06 06:57:37 Procedural programming languages Scripting languages Python Object-oriented programming ALGOL 68 Comment 9 Monad The Organ Software engineering Computer programming Computing
277	Index-1 Index absorption law …………………………………………. abs …………………………………………………….. abstract ………………………………………………... Add to Reading List Source URL: www.bluepelicanjava.com Language: English - Date: 2013-07-12 16:05:39 Procedural programming languages Search algorithms C Cross-platform software Hash function Hash table ALGOL 68 Binary tree Pointer Computing Software engineering Computer programming
278	Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Data types Recursion Theoretical computer science Formal methods Functional programming Algebraic data type Fold ALGOL 68 Scala Computing Software engineering Computer programming
279	City of Boulder - Benchmarks BMID LOCATION Add to Reading List Source URL: gisweb.ci.boulder.co.us Language: English - Date: 2005-07-15 13:50:00 .int Computing Programming language theory ALGOL 68 Software engineering
280	PDF Document Add to Reading List Source URL: jnthn.net Language: English - Date: 2014-10-21 09:51:16 Widget toolkits Application programming interfaces Cross-platform software GTK+ Traceroute Futures and promises ALGOL 68 GTK Software Computing Computer programming

UPDATE