Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
281	Introduction Comprehensions in CHR cp Monotonicity Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-09 18:57:09 Computer programming Functional languages Constraint Handling Rules Constraint logic programming Pure Monad Multiset Declarative programming Software engineering Constraint programming
282	tinlids best books for schools and libraries We oﬀer 20 Add to Reading List Source URL: tinlids.ca Language: English - Date: 2015-03-09 15:02:00 Cocorico Pack Software Declarative programming Functional programming Coq Guided reading Six pack
283	© Jens-Helge Dahmen Air Ship "Leonardo" The myth of Leonardo da Vinci as the genius that, in the second half of the 15th Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2007-05-22 17:27:49 Declarative programming Fold Recursion Anamorphism Yoshizawa-Randlett system Origami Software engineering Functional programming
284	The Layer-Oriented Approach to Declarative Languages for Biological Modeling Ivan Raikov1,2, Erik De Schutter1,2 1 Okinawa Institute of Science and Technology, Onna-son, Okinawa, Japan, 2 University of Antwerp, Antwerp, Add to Reading List Source URL: www.tnb.ua.ac.be Language: English* - Date: 2014-02-10 10:38:38 Neuroscience Non-linear systems Electrophysiology Biophysics Hodgkin–Huxley model Neuroinformatics Modeling language Biological neuron model CellML Computational neuroscience Science Biology
285	Multimodal Home Healthcare Scheduling using a novel CP–VND–DP Approach Andrea Rendl, Matthias Prandtstetter, and Jakob Puchinger Mobility Department, Austrian Institute of Technology, Vienna, Austria {andrea.rendl,ma Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:10 Computer programming Mathematical optimization Declarative programming Nursing Systems theory Dynamic programming Constraint programming Operations research Software engineering
286	Journal of Object Technology c JOT 2011 Published by AITO — Association Internationale pour les Technologies Objets, Online at http://www.jot.fm. Declarative Layer Composition with Add to Reading List Source URL: www.jot.fm Language: English - Date: 2013-06-20 20:29:35 Aspect-oriented software development Aspect-oriented programming Data transmission AspectJ Class Separation of concerns Communications protocol THE multiprogramming system Distributed AOP Software development Software Computing
287	Selectors Make Analyzing case-lambda Too Hard yz Philippe Meunier y Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Constraint programming Logic programming Computability theory Lambda calculus Theoretical computer science Local consistency Scheme Pseudo-ring Clause Declarative programming Mathematics Mathematical logic
288	Lambda in Java Olena Syrota, Kyiv Pre-production Java Lab Lead Java 8 • Issue is planned for summer of 2013 Add to Reading List Source URL: pti.kpi.ua Language: English - Date: 2013-01-30 10:27:19 Subroutines Lambda calculus Functional programming Anonymous function Closure Lambda Function Binary lambda calculus Continuation-passing style Software engineering Declarative programming Computing
289	http://wedesoft.de/downloads/cambridge2014.pdf Fundamentals of Computing c 2014 Jan Wedekind, Digital Science Add to Reading List Source URL: www.wedesoft.de Language: English Computing Higher-order functions Computability theory Theoretical computer science Church encoding Scheme Fold Binary lambda calculus Lambda calculus Software engineering Declarative programming
290	Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {ale Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Fourier analysis Laplace transform Transforms ALGOL 68 Four-square cipher Obfuscated code Mathematical analysis Integral transforms Programming language theory

UPDATE