Copyleft

Results: 2639



#Item
651Science / Share-alike / Creative Commons license / Proceedings of Science / Copyleft / Methodology / Law

make & do activity kit Pop-up father’s day card 1 Print

Add to Reading List

Source URL: play.powerhousemuseum.com

Language: English - Date: 2012-06-14 00:58:23
652Computer law / Copyleft / Free content / Creative Commons license / Creative Commons / Royalties / License / Copyright / End-user license agreement / Law / Open content / Intellectual property law

Re-translation of Serbian Draft English explanation of substantive legal changes Attribution-NonCommercial-ShareAlike 2.5 (Authorship-NonCommercial-ShareUnderTheSameConditions) legal code CREATIVE COMMONS CORPORATION IS

Add to Reading List

Source URL: wiki.creativecommons.org

Language: English - Date: 2010-08-10 02:02:07
653Computer law / Intellectual property law / Science / Creative Commons / Free music / Isabelle / Attribution / Natural deduction / Lambda calculus / Open content / Copyleft / Law

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein →

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
654Formal methods / Computer law / Copyleft / Automated theorem proving / Logic in computer science / Isabelle / SPASS / KeY / QuickCheck / Theoretical computer science / Mathematical software / Software

Overview COMP 4161 NICTA Advanced Course Automatic Proof and Disproof

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
655Free content / Copyleft / Software licenses / Public Documentation License / GNU Project / XCore Open Source License / Ricoh Source Code Public License / Free software licenses / Free software / Open content

PUBLIC DOCUMENTATION LICENSE Version[removed]DEFINITIONS. 1.1. "Commercial Use" means distribution or otherwise making the Documentation available to a third party. 1.2. "Contributor" means a person or entity who creates

Add to Reading List

Source URL: native-lang.openoffice.org

Language: English - Date: 2014-04-19 19:39:50
656Science / Program logic / Computer law / Copyleft / Monad / Isabelle / Formal verification / Predicate transformer semantics / Creative Commons / Theoretical computer science / Formal methods / Applied mathematics

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein >>=

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
657Computer law / Free software licenses / GNU Project / Copyleft / GNU General Public License / Internet privacy / Privacy / HTTP cookie / Open content / Ethics / Free content

GPL Privacy Policy Golf Premier League Pty Ltd ACN[removed] ("Golf Premier League", “GPL”, "we", "us" or "our") is committed to complying fully with its obligations under the Australian Privacy Principles ("APPs")

Add to Reading List

Source URL: www.golfpl.com.au

Language: English - Date: 2015-03-30 09:39:15
658Publishing / Information / Computer law / Copyleft / Metadata / Peer review / Copyright / Creative Commons license / Open access / Academic publishing / Intellectual property law / Science

OPEN ACCESS SURVEY: EXPLORING THE VIEWS OF TAYLOR & FRANCIS AND ROUTLEDGE AUTHORS

Add to Reading List

Source URL: www.tandf.co.uk

Language: English - Date: 2014-01-13 10:39:31
659Free software licenses / Open content / Free content / Copyleft / Intel / End-user license agreement / GNU General Public License / Proprietary software / Open-source software / Computer law / Software licenses / Law

IMPORTANT - READ BEFORE COPYING, INSTALLING OR USING. Do not copy, install, distribute, public display, or use the Materials (as defined below) provided under this license agreement ("Agreement"), until you (“You”) h

Add to Reading List

Source URL: software.intel.com

Language: English - Date: 2014-09-04 14:33:27
660Program logic / Law / Computer law / Copyleft / Intellectual property law / Isabelle / Predicate transformer semantics / L4 microkernel family / Hoare logic / Theoretical computer science / Open content / Formal methods

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C

Add to Reading List

Source URL: cs4161.web.cse.unsw.edu.au

Language: English - Date: 2014-11-10 04:09:39
UPDATE