.net - PDFSEARCH.IO - Document Search Engine

.net
Results: 528699

#	Item
31	Advanced Topics in Communication Networks Programming Network Data Planes Alexander Dietmüller nsg.ee.ethz.ch Add to Reading List Source URL: adv-net.ethz.ch Language: English - Date: 2018-10-11 06:03:09 Hashing Information retrieval Information science Computer programming Bloom filter Search algorithms Filter theory Streaming algorithm Hash function Filter Hello
32	The Rise of Fintech in Finance How fintech is reshaping the finance sector and how you handle your money By Kantox CEO and fintech thought leader, Philippe Gelis Add to Reading List Source URL: cdn2.hubspot.net Language: English - Date: 2017-10-07 10:18:03 Economy Finance Money Financial markets Financial services Financial technology Loans Crowdfunding Kantox Peer-to-peer lending Fintech awards Ferratum
33	New logo - dark background Add to Reading List Source URL: sucuri.net Language: English - Date: 2018-08-28 08:52:51 Cryptocurrencies Alternative currencies Security Security breaches Prevention Economy Digital currencies Monero Malware Ransomware Bitcoin Cryptocurrency and security
34	Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016 Add to Reading List Source URL: thev.net Language: English - Date: 2016-09-28 19:55:36 Software engineering Programming language implementation Computer programming Compiler construction Compilers Functional languages LLVM Haskell Cabal GHC Static single assignment form Compiler
35	13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:51:00 Theoretical computer science NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
36	Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 \| 09 \| 12 Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2017-08-13 07:49:11 Education Economy Educational psychology Neuropsychology Business intelligence Big data Formal sciences Analytics Architectural pattern Educational technology Learning Learning analytics
37	NEW- Graphic for TPA Datasheet Add to Reading List Source URL: hitrustalliance.net Language: English - Date: 2018-07-26 16:06:43 Computer security Security Data security Prevention HITRUST Actuarial science Risk analysis Safety Risk management Security controls Audit
38	An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science Add to Reading List Source URL: thev.net Language: English - Date: 2009-11-11 16:42:08 Mathematics Mathematical analysis Theoretical computer science Lambda calculus Differential calculus Combinatory logic Fixed-point combinator Recursion Ordinary differential equation Derivative Function Monad
39	Draft of Jamieson, J., Yamashita, N., Boase, J., (2017, September). Identifying problems and support opportunities: Learning from a unique group of foreign students. 16th IFIP TC.13 International Conference on Human-Comp Add to Reading List Source URL: jackjamieson.net Language: English - Date: 2018-10-23 12:14:33 Human behavior Education Culture Economic sociology Social networks Communication studies Communication theory Human communication Social support Problem solving Acculturation Cross-cultural communication
40	11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University France Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-10-23 05:42:15 Theoretical computer science Logic in computer science NP-complete problems Electronic design automation Formal methods Constraint programming Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis

UPDATE