Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
211	Property-Driven Scenario Integration Jewgenij Botaschanjan and Alexander Harhurin Technische Universität München Department of Informatics Boltzmannstr. 3, 85748 Garching, Germany {botascha,harhurin}@in.tum.de Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:14 Mathematics Constructible universe Net NC Proof theory Theoretical computer science Abstraction Ordinal numbers CurryHoward correspondence
212	Black Hole Search and Exploration in Unoriented Tori with Synchronous Scattered Finite Automata Euripides Markou1,? and Michel Paquette2,?? 1 Add to Reading List Source URL: emarkou.users.uth.gr Language: English - Date: 2016-05-24 11:28:43 Philosophy Abstraction Logic Knowledge representation Leader election Consensus Torus Typetoken distinction Token coin Node
213	JWST693-c01 JWST693-Foresman 7:41 Add to Reading List Source URL: media.wiley.com Language: English - Date: 2016-05-26 07:21:56 Logic Philosophy Abstraction Arguments Critical thinking Reasoning Philosophical logic Argument Premise Deductive reasoning Propositional calculus Informal logic
214	Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2010-10-16 23:59:16 Logic Mathematics Metalogic Model theory Structure Abstraction
215	0 Computational Thinking Jeannette M. Wing President’s Professor of Computer Science and Department Head Computer Science Department Add to Reading List Source URL: research-srv.microsoft.com Language: English - Date: 2012-11-07 10:24:42 Computational thinking Computing Jeannette Wing Abstraction Computer science Electromagnetism Engineering
216	Metric Conversions and Scientific Notation Essential Academic Skill Enhancement (EASE) workshop series This workshop reviews the basics of conversions between measurement systems and proper scientific notation that is fu Add to Reading List Source URL: stemgateway.unm.edu Language: English Mathematics Numeral systems Measurement Abstraction Linguistics Arithmetic Notation Metrology Scientific notation Significant figures Uncertainty Rounding
217	Black Hole Search with Finite Automata Scattered in a Synchronous Torus J´er´emie Chalopin1 , Shantanu Das1 , Arnaud Labourel1 , and Euripides Markou2 1 2 Add to Reading List Source URL: emarkou.users.uth.gr Language: English - Date: 2016-05-24 11:28:43 Philosophy Logic Structure Abstraction Knowledge representation Metalogic Philosophy of language Philosophy of logic Typetoken distinction Token coin Ring network Token
218	M. Eddon Quantitative Properties Philosophy Compass, forthcoming Abstract: Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Mathematics Mathematical logic Logic Ontology Abstraction Predicate logic Binary relation Mass Quantity Ratio Equality Isomorphism
219	Contents Part One xxv xxvii Conference Committees Add to Reading List Source URL: www.icgip.org Language: English - Date: 2013-04-03 04:36:52 Signal processing Mathematical logic Mereology Ontology Predicate logic Wavelet transform Wavelet Logic Mathematics Abstraction Wayne B. Nottingham Prize Islamic studies by author
220	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-9 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:09 Computing Object-oriented programming Software engineering Computer programming Interface XC Covariance and contravariance Abstraction User interface MARIA XML

UPDATE