Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
661	CS 342 Lecture 8 1 Data Abstraction Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-02-23 13:58:07 Lambda calculus Applied mathematics Scheme Computer science Programming language theory
662	GROUNDWATER MANAGEMENT IN VOJVODINA D. Djuric, J. Josipovic, G. Jevtic, T. Slimak, M. Pusic** * Jaroslav Cerni Institute for the Development of Water Resources, 80 Jaroslav Cerni St., 11223 Belgrade, Serbia (E-mail: Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2007-09-27 04:36:40 Aquifers Hydraulic engineering Geotechnical engineering Hydrogeology Groundwater Water table Water abstraction Vojvodina Water well Water Hydrology Physical geography
663	CS 342 Lecture 1 Introduction to Com S 342 By: Hridesh Rajan Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-01-11 18:27:46 Procedural programming languages Programming paradigms Programming language Abstraction ALGOL Scheme APL Essentials of Programming Languages Daniel P. Friedman Software engineering Computing Programming language theory
664	In search of an appropriate abstraction level for motif annotations Folgert Karsdorp, Peter van Kranenburg, Theo Meder, Dolf Trieschnigg, Antal van den Bosch* Meertens Institute, Radboud University Nijmegen Amsterdam, T Add to Reading List Source URL: www.elab-oralculture.nl Language: English* - Date: 2012-06-12 04:33:07 Cultural anthropology Motif Fairy tale Aarne–Thompson classification system Morphology Vladimir Propp Legend Folklore Literature Culture
665	3LevelsOfEthics.docx October 23, 2014 Ethics in Three Easy Levels of Abstraction Kenneth D. Pimple, Ph.D.* Add to Reading List Source URL: mypage.iu.edu Language: English - Date: 2014-10-23 11:50:19 Medical ethics W. D. Ross Belmont Report Jeremy Bentham National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research Consequentialism The Golden Rule Ethics Philosophy Social philosophy
666	PDF Document Add to Reading List Source URL: context.aanhet.net Language: English - Date: 2010-05-28 09:26:37 Stack Inverse trigonometric functions Abstraction
667	Case Studies in Systematic Software Development Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:12 Vienna Development Method Dines Bjørner Cliff Jones Formal specification Software development process Reification Abstraction Meta-IV Formal methods Software development Computing
668	Rcpp by Examples A Hands-On Introduction Dirk Eddelbuettel Pre-Conference Tutorial R/Finance 2015 Add to Reading List Source URL: dirk.eddelbuettel.com Language: English - Date: 2015-05-29 08:16:46 Abstraction Functions and mappings Function C++
669	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
670	Logic Journal of IGPL Advance Access published August 9, 2007 Logic for Mathematical Writing EDMUND HARRISS, Department of Mathematics, Imperial College London, London SW7 2AZ. E-mail: . Add to Reading List Source URL: www.mathematicians.org.uk Language: English - Date: 2009-09-28 10:54:02 Mathematical logic Philosophy of mathematics Abstraction Axiology Mathematical proof Axiom Combinatory logic Natural deduction David Hilbert Mathematics Logic Knowledge

UPDATE