Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
951	Contract Engineering Services Real Time and Embedded Systems Representative Contract Projects Sample Projects Add to Reading List Source URL: www.lextel.com Language: English - Date: 2011-11-06 13:18:06 Microsoft Windows Windows NT VxWorks Embedded system RAID Server File system Device driver Hardware abstraction Computer architecture System software Computing
952	: Math BikeSim provides highly efficient custom computer programs optimized for solving equations in math models that represent the dynamic behavior of motorcycles. The VehicleSim® architecture includes the built-in VS Add to Reading List Source URL: www.carsim.com Language: English - Date: 2013-01-15 09:25:02 Abstraction Physics Numerical software Nonlinear system Mathematical model Differential equation CarSim Hans B. Pacejka Simulink Dynamical systems Mathematics Mathematical modeling
953	A New Network Abstraction for Mobile and Ubiquitous Computing Environments in the Plan B Operating System Francisco J. Ballesteros Eva M. Castro Gorka Guardiola Muzquiz Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 10:53:14 Transmission Control Protocol Computer network Communications protocol Internet protocol suite Web service Network protocols Measuring network throughput Port Loopback Computing Data Information
954	Chapter 2. How? The Logical Problem of Consciousness (Cassirer- Hilbert- Maturana: an Archimedean Fulcrum) "... Every attempt to transform logic must concentrate above all upon this one point: all criticism of formal log Add to Reading List Source URL: www.foothill.net Language: English - Date: 2007-03-22 15:32:08 Abstraction Set theory Function Axiom Euclidean geometry David Hilbert Ernst Cassirer Property Mereology Mathematics Logic Mathematical logic
955	TITLE: TWO NEW MEASURES FOR ASSESSING COMPLEXITY AS INTERRELATEDNESS AUTHORS: DIAS, JOAO ; AMARAL, JOAO; LOPES, JOAO EMAIL: Add to Reading List Source URL: www.iioa.org Language: English - Date: 2009-10-17 09:31:20 Complexity Holism Transdisciplinarity L Science Structure Ethology Complex systems theory Complexity classes Abstraction
956	ISSEPOn Abstraction and Informatics Tom Verhoeff, Dept of Math & CS, Eindhoven University of Technology, Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2012-02-13 02:49:30 Thought Philosophy of mind Programming paradigms Data management Chaining Informatics Concept Mind Abstraction Cognition
957	RESIDENTIAL PROPERTY SALES CONTRACT Existing single-family home sales contract formversion). Adopted by the Dutch Association of Real Estate Brokers and Real Estate Experts (Nederlandse Vereniging van Makelaars in Add to Reading List Source URL: www.vansilfhout.nl Language: English - Date: 2014-11-20 06:33:12 Private law Real property law Business law Closing Hire purchase Real estate broker Order Real estate contract Abstraction principle Law Contract law Business
958	Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It Add to Reading List Source URL: www.cprover.org Language: English - Date: 2014-06-22 11:48:59 Model checking Thread Monotonic function Abstraction Mathematical analysis Concurrent computing Computing
959	ORM 2 Constraint Verbalization: Part 1 Add to Reading List Source URL: www.orm.net Language: English - Date: 2006-07-30 13:54:40 Data modeling Programming paradigms Abstraction Object-Role Modeling Predicate Modal logic Norm Finitary relation Logic Mathematical logic Mathematics
960	Competitive Facility Location: The Voronoi Game ? Hee-Kap Ahn a Siu-Wing Cheng b Otfried Cheong a Mordecai Golin b Ren´e van Oostrum a a Department Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-03-18 22:28:18 Mathematics Structure Abstraction Topology Interval Order theory