Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
201	Petri Nets in Secondary CS Education Michael Rücker Niels Pinkwart Humboldt-Universität zu Berlin Add to Reading List Source URL: cses.informatik.hu-berlin.de Language: English - Date: 2014-11-13 08:07:59 Concurrency Models of computation Diagrams Petri nets Software engineering Petri Lesson plan Conceptual model Education Abstraction Nets within Nets
202	Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-23 03:32:40 Abstraction Model checkers Timed automaton Uppaal Model Checker Model checking Is-a Software engineering Computing Computer programming
203	EVERY SYMMETRIC 3 × 3 GLOBAL GAME OF STRATEGIC COMPLEMENTARITIES HAS NOISE-INDEPENDENT SELECTION CHRISTIAN BASTECK Technische Universit¨at Berlin, Department of Macroeconomics Add to Reading List Source URL: www.macroeconomics.tu-berlin.de Language: English - Date: 2011-12-14 05:49:53 Game theory Mathematics Supermodular function Z1 Nash equilibrium Z2 Symmetric game Structure Abstraction
204	• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:39 Mathematics Logic Theoretical computer science Automated theorem proving Logic programming Abstraction Process calculi -calculus Substitution Inverse trigonometric functions Lambert W function
205	PRESS RELEASE October 6, 2015 Brightleaf Solutions Forges Alliance with Corridor Company to Streamline Contract Abstraction and Management Companies to work together to provide reliable data capture services and Add to Reading List Source URL: www.brightleaf.com Language: English - Date: 2016-04-05 05:40:20 Enterprise architecture Information technology management Contract law Contract lifecycle management Contract management
206	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
207	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form
208	Quantifiers and Negation October 2, Reading Quantifiers Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Quantification Mathematical logic Abstraction Semantics Predicate logic Universal quantification Existential quantification Quantifier FO Negation Constructible universe
209	Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, I Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-03-09 18:36:36 Computing Mathematics Apache Software Foundation Hadoop Combinatorics Apache Spark Cluster computing Java platform MapReduce Apache Hadoop Partition RDD
210	Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨ Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Abstraction Data modeling Metamodeling Software design Meta-Object Facility Object Constraint Language KM3

UPDATE