Adult Competencies for Lifelong Learning - Zheng Qinhua, Ma Dongming, Nian Zhiying, Xie Hao - Google Books

[https://books.google.co.th/books?id=U3KPDAAAQBAJ&pg=PA19&lpg=PA19&dq=lifelong+learning+competency&source=bl&ots=JKsS-3o0fP&sig=ACfU3U2Fj6bcnnn8fRtk3cACNWb-u4myMw&hl=en&sa=X&ved=2ahUKEwirtoXtrYzmAhXs7HMBHZhlA0UQ6AEwEHoECAoQAQ#v=onepage&q=lifelong%20learnin] - 2019-11-28 07:27:43 - public:stevetao

Learning, Lifelong, Lifelong-Learning - 3 | id:272109 -

Lifelong-Learner Competencies

[https://www.k12albemarle.org/acps/division/Pages/Lifelong-Learner-Competencies.aspx] - 2019-11-28 07:26:58 - public:stevetao

Learning, Lifelong, Lifelong-Learning - 3 | id:272108 -

Key Competences for Lifelong Learning: new proposal

[https://www.schooleducationgateway.eu/en/pub/latest/news/key-competences-for-lifelong.htm] - 2019-11-28 07:21:17 - public:stevetao

Learning, Lifelong, Lifelong-Learning - 3 | id:272107 -

Community-based lifelong learning and adult education: adult skills and competencies for lifelong learning - UNESCO Digital Library

[https://unesdoc.unesco.org/ark:/48223/pf0000246743] - 2019-11-28 07:20:39 - public:stevetao

Learning, Lifelong, Lifelong-Learning - 3 | id:272106 -

4.4. The Stack Abstract Data Type — Problem Solving with Algorithms and Data Structures

[https://runestone.academy/runestone/books/published/pythonds/BasicDS/TheStackAbstractDataType.html] - 2019-11-28 07:10:41 - public:stevetao

Python, Specification, Stack - 3 | id:272105 -

Lecture 06

[https://www.cs.unc.edu/~stotts/COMP204/senotes/L06.html] - 2019-11-28 07:09:35 - public:stevetao

Algebraic-Specification, Set, Specification, Stack - 4 | id:272104 -

SE 507 Algebraic Specifications

[https://www.cs.scranton.edu/~mccloske/courses/se507/alg_specs_lec.html] - 2019-11-28 07:09:06 - public:stevetao

Algebraic-Specification, Bag, Queue, Set, Specification, Stack - 6 | id:272103 -

Stack Specification

[https://webdocs.cs.ualberta.ca/~holte/T26/handout1.html] - 2019-11-28 07:02:50 - public:stevetao

Specification, Stack - 2 | id:272102 -

STACK Specs

[http://www.cs.unc.edu/~stotts/723/senotes/qs3.html] - 2019-11-28 07:01:46 - public:stevetao

Algebraic-Specification, Specification, Stack - 3 | id:272101 -

อัตลักษณ์นิสิตมหาวิทยาลัยนเรศวร – มหาวิทยาลัยนเรศวร : Naresuan University

[https://www.nu.ac.th/?p=16812] - 2019-11-27 07:46:10 - public:stevetao

NU - 1 | id:272086 -

AUN-QA Publications

[http://www.aunsec.org/publications.php] - 2019-11-27 02:37:47 - public:stevetao

Assessment, Assurance, AUN-QA, Education, Quality - 5 | id:272073 -

List of Hilbert systems - Wikipedia

[https://en.wikipedia.org/wiki/List_of_Hilbert_systems] - 2019-11-21 14:19:49 - public:stevetao

Axiom, Logical - 2 | id:272034 -

What are the applications of diophantine equations? where do we apply the higher degree diophantine equations?

[https://www.researchgate.net/post/what_are_the_applications_of_diophantine_equations_where_do_we_apply_the_higher_degree_diophantine_equations] - 2019-11-21 05:53:55 - public:stevetao

Diophantine-Equation - 1 | id:272032 -

Invited talk: Applying Satisfiability to the Analysis of Cryptography - Galois, Inc.

[https://galois.com/news/applying-satisfiability-analysis-cryptography-sat-2015-talk-aaron-tomb/] - 2019-11-21 04:55:36 - public:stevetao

Cryptography, SAT, Satisfiability - 3 | id:272030 -

The Boolean Satisfiability Problem [SAT] and SAT solvers in 5 mins* (or more) - 0a.io -

[https://0a.io/chapter1/boolean-satisfiability-problem-or-sat-in-5-minutes.html] - 2019-11-21 04:53:04 - public:stevetao

Boolean, BSAT, SAT, Satisfiability - 4 | id:272029 -

Sudoku - Satisfiability

[http://www.cs.qub.ac.uk/~I.Spence/SuDoku/SuDoku.html] - 2019-11-21 04:52:43 - public:stevetao

SAT, Satisfiability, Sudoku - 3 | id:272028 -

The satisfiability problem

[http://www.cs.ecu.edu/karl/6420/spr16/Notes/NPcomplete/sat.html] - 2019-11-21 04:46:11 - public:stevetao

NP-Complete, SAT, Satisfiability - 3 | id:272027 -

Applications of Boolean Satisfiability (SAT) - Analytics Vidhya - Medium

[https://medium.com/analytics-vidhya/application-of-boolean-satisfiability-sat-87f41fb0e5ed] - 2019-11-21 04:44:35 - public:stevetao

Boolean, SAT, Satisfiability - 3 | id:272026 -

ชื่อเล่นไทยๆ แต่เก๋ ลูกสาว ลูกชาย ชื่อไทยก็เก๋ได้ ความหมายดีด้วย | theAsianparent Thailand

[https://th.theasianparent.com/%E0%B8%8A%E0%B8%B7%E0%B9%88%E0%B8%AD%E0%B9%80%E0%B8%A5%E0%B9%88%E0%B8%99%E0%B9%84%E0%B8%97%E0%B8%A2%E0%B9%86-%E0%B9%81%E0%B8%95%E0%B9%88%E0%B9%80%E0%B8%81%E0%B9%8B-%E0%B8%A5%E0%B8%B9%E0%B8%81%E0%B8%AA%E0%B8%B2%E0%B8%A7-%E0%B8] - 2019-11-16 11:58:12 - public:stevetao

Name, Thai - 2 | id:271984 -

1.2.4 Bound and Free Variables

[http://www.coli.uni-saarland.de/projects/milca/esslli/html/node8.html] - 2019-11-16 07:45:53 - public:stevetao

Bound, Free, Variable - 3 | id:271983 -

logic - Which are the Bound and Free Variables in these expressions? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/474893/which-are-the-bound-and-free-variables-in-these-expressions] - 2019-11-16 07:44:15 - public:stevetao

Bound, Free, Variable - 3 | id:271982 -

first order logic - What is the operator precedence for quantifiers? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/1150746/what-is-the-operator-precedence-for-quantifiers] - 2019-11-15 18:24:23 - public:stevetao

Logic, Math-Logic, Precedence - 3 | id:271979 -

Getting Google Apps Scripts to Run on Mobile - Stack Overflow

[https://stackoverflow.com/questions/50894212/getting-google-apps-scripts-to-run-on-mobile] - 2019-11-14 23:35:24 - public:stevetao

GoogleAppsScript, Mobile-App - 2 | id:271974 -

android - Executing Google Apps Script Functions from Mobile App - Stack Overflow

[https://stackoverflow.com/questions/33373826/executing-google-apps-script-functions-from-mobile-app] - 2019-11-14 23:33:44 - public:stevetao

GoogleAppsScript, Mobile-App - 2 | id:271973 -

Tearing apart printf() – MaiZure's Projects

[https://www.maizure.org/projects/printf/index.html] - 2019-11-13 23:07:25 - public:stevetao

C, CPP, Printf - 3 | id:271961 -

Logic Alphabet Home Page

[http://www.logic-alphabet.net/] - 2019-11-13 15:12:05 - public:stevetao

Logic - 1 | id:271958 -

Lecture Notes Philosophy 120A Autumn 2007 Introduction to Logic

[https://faculty.washington.edu/smcohen/120/LectureNotes.htm] - 2019-11-12 05:45:57 - public:stevetao

Book, Logic - 2 | id:271949 -

Derivation of Null Quantification in Logic? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/850887/derivation-of-null-quantification-in-logic] - 2019-11-12 05:40:12 - public:stevetao

Logic, Math-Logic, Null, Quantification, Quantifier - 5 | id:271948 -

Let’s Build A Simple Interpreter. Part 4. - Ruslan's Blog

[https://ruslanspivak.com/lsbasi-part4/] - 2019-11-12 05:28:22 - public:stevetao

Compiler, Interpreter - 2 | id:271947 -

SHELLdorado - Shell Tips & Tricks (Beginner)

[http://www.shelldorado.com/shelltips/beginner.html] - 2019-11-11 18:14:29 - public:stevetao

KornShell, Ksh, Shell - 3 | id:271940 -

Korn Shell Tips - Daniel Han's Technical Notes

[https://sites.google.com/site/xiangyangsite/home/technical-tips/linux-unix/shell-programming/korn-shell/ksh] - 2019-11-11 18:13:35 - public:stevetao

KornShell, Ksh, Shell - 3 | id:271939 -

Mathematical Logic and The Programming: EBNF and Boost.Spirit

[http://mathlogicprogs.blogspot.com/2008/11/ebnf-and-boostspirit.html] - 2019-11-11 18:07:02 - public:stevetao

EBNF, Math-Logic - 2 | id:271938 -

Introduction to Scheme Continued — 383summer2019 documentation

[http://www.sfu.ca/~tjd/383summer2019/scheme-intro-cont.html] - 2019-11-11 18:02:05 - public:stevetao

EBNF, Propositional-Logic, Scheme - 3 | id:271937 -

Compiler Design and Construction - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials

[http://freecomputerbooks.com/old-compscCompilerBooks.html] - 2019-11-11 05:29:04 - public:stevetao

Book, Compiler - 2 | id:271930 -

Linkers and Loaders

[https://www.iecc.com/linker/] - 2019-11-11 05:27:58 - public:stevetao

Book, Compiler, Free, Linker, Loader - 5 | id:271929 -

An Introduction to GCC - Table of Contents

[https://www.linuxtopia.org/online_books/an_introduction_to_gcc/index.html] - 2019-11-11 05:26:04 - public:stevetao

Book, Compiler, GCC - 3 | id:271928 -

Website of Bruno R. Preiss

[https://web.archive.org/web/20121012054854/http://www.brpreiss.com/] - 2019-11-11 05:24:47 - public:stevetao

Algorithm, Book, Compiler, Data-Structures - 4 | id:271927 -

Write You a Haskell ( Stephen Diehl )

[http://dev.stephendiehl.com/fun/] - 2019-11-11 05:16:52 - public:stevetao

Book, Compiler, Haskell - 3 | id:271926 -

Compilers and Compiler Generators

[https://book.huihoo.com/compilers-and-compiler-generators-an-introduction-with-cpp/] - 2019-11-11 05:15:46 - public:stevetao

Book, Compiler - 2 | id:271925 -

tutor - bluntaxebasic

[https://sites.google.com/site/bluntaxebasic/tutor/] - 2019-11-11 05:13:44 - public:stevetao

Book, Compiler - 2 | id:271924 -

The GENTLE Compiler Construction System

[http://gentle.compilertools.net/book/index.html] - 2019-11-11 05:10:36 - public:stevetao

Book, Compiler - 2 | id:271923 -

Compiler Construction - Wikibooks, open books for an open world

[https://en.wikibooks.org/wiki/Compiler_Construction] - 2019-11-11 05:08:00 - public:stevetao

Book, Compiler - 2 | id:271922 -

Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking

[https://pdos.csail.mit.edu/~baford/packrat/thesis/] - 2019-11-10 18:06:36 - public:stevetao

Compiler - 1 | id:271916 -

Representation - propositional logic

[https://ermongroup.github.io/cs323-notes/logic/representation/] - 2019-11-10 17:42:47 - public:stevetao

Logic, Math-Logic, Propositional-Logic - 3 | id:271915 -

(36) สุธี สุขสากล

[https://www.facebook.com/Suthee.Suksakol/media_set?set=a.10152845596064574.1073742047.680019573&type=3] - 2019-11-07 15:50:40 - public:stevetao

Hand-Writing - 1 | id:271303 -

wifi - How do I authenticate to a wireless provider's “open“ network without using a browser? - Unix & Linux Stack Exchange

[https://unix.stackexchange.com/questions/118289/how-do-i-authenticate-to-a-wireless-providers-open-network-without-using-a-br] - 2019-11-07 03:40:53 - public:stevetao

Auto-login, Login - 2 | id:271296 -

reference request - Axioms of Propositional Logic with as few negation axioms as possible - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/3260288/axioms-of-propositional-logic-with-as-few-negation-axioms-as-possible/3261156] - 2019-11-06 17:19:46 - public:stevetao

Axiom, Logic, Math, Math-Logic - 4 | id:271293 -

Why are there several axiom systems for propositional logic? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/3230255/why-are-there-several-axiom-systems-for-propositional-logic] - 2019-11-06 17:18:08 - public:stevetao

Axiom, Logic, Math, Math-Logic - 4 | id:271292 -

Simpson: Math 557: Mathematical Logic

[http://personal.psu.edu/t20/courses/math557/] - 2019-11-06 00:02:03 - public:stevetao

Book, Logic, Math-Logic - 3 | id:271285 -

Evaluation of Infix expressions | Algorithms

[https://algorithms.tutorialhorizon.com/evaluation-of-infix-expressions/] - 2019-11-05 16:13:13 - public:stevetao

Evaluate, Infix - 2 | id:271279 -

Viewing stevetao's Bookmarks