Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
561	National Association of Social Workers President’s Initiative Weaving the Fabrics of Diversity ©2007 National Association of Social Workers. All Rights Reserved. Add to Reading List Source URL: www.naswdc.org Language: English - Date: 2007-12-13 16:37:22 Discrimination Behavior Racism in the United States Institutional racism Racism Oppression Symbolic racism National Association of Social Workers Historical race concepts Sociology Ethics Ethology
562	Real-Time Symbolic Dynamic Programming for Hybrid MDPs Luis G. R. Vianna and Leliane N. de Barros Scott Sanner IME - USP Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-11-21 08:00:32 X2 Artificial neuron Numerical software
563	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
564	UNIX Basics BEK SHAKIROV by Peter Collinson, Hillside Systems Add to Reading List Source URL: www.hillside.co.uk Language: English - Date: 2001-11-27 10:11:06 Unix Disk file systems Inode Ln Symbolic link Archive formats Cp File system Mv Computing System software Software
565	152 Sociology and Anthropology Department of Sociology and Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-02 22:17:01 Behavioural sciences Social science Symbolic interactionism Structural functionalism Sociological theory Thesis Quantitative research Psychology Social psychology Science Knowledge Sociology
566	The Class of Constraint Satisfaction Problems over a Knot Peter Golbus, Robert W. McGrail, Mona Merling, Kenneth Ober, Mary Sharac, and Japheth Wood The Laboratory for Algebraic and Symbolic Computation Reem-Kayden Cente Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-27 11:59:38 Algebra Racks and quandles Constraint satisfaction Structure Tricolorability Quasigroup Figure-eight knot Knot theory Abstract algebra Mathematics
567	Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs Kasper S. Luckow ˘ areanu ˘ Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 09:08:01 Complexity classes Probabilistic complexity theory Analysis of algorithms Randomized algorithm NL PP Algorithm Monte Carlo method Scheduling Theoretical computer science Computational complexity theory Applied mathematics
568	P1: MVG/SFI P2: MVG LISP and Symbolic Computation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:00 Compiler construction Procedural programming languages Programming language implementation Functional languages Lisp programming language Compiler Partial evaluation Code generation Lisp Programming language theory Software engineering Computing
569	Name: Noah Theriault Department: Anthropology CHE-relevant fields: (1) Political Ecology and Anthropologies of the State; (2) Indigeneity and/in Anthropology Date of exam: August 2010 Prelim committee: Katherine Bowie (c Add to Reading List Source URL: nelson.wisc.edu Language: English - Date: 2014-08-21 16:05:46 Science Environmental social science Symbolic anthropology Sociology Clifford Geertz Environmental history Governmentality Yale University Political ecology Anthropology Academia Geography
570	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science

UPDATE