Pub - PDFSEARCH.IO - Document Search Engine

Pub
Results: 44886

#	Item
1	Page 13 TITLE 31—MONEY AND FINANCE (Added Pub. L. 101–73, title III, § 307(a)(1), Aug. 9, 1989, 103 Stat. 352; amended Pub. L. 103–272, Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2018-04-27 09:24:02 Terrorism Financial regulation Economy Government Crime Money laundering United States Department of the Treasury Financial Crimes Enforcement Network Tax evasion in the United States Bank Secrecy Act Suspicious activity report Financial intelligence
2	Group Henzinger Software Systems Theory Systems Biology Group members Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2015-11-25 13:48:37 Concurrent computing Communication Concurrency Edsger W. Dijkstra Synchronization Gene regulatory network Preemption Thread Metaphysics Systems science Computing
3	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:27 Mathematical logic Predicate logic Mathematics Logic Predicate variable Scope Atomic sentence FO First-order logic Variable Structured text Assignment
4	Mirco Giacobbe IST Austria Am Campus 1, A-3400 Klosterneuburg, Austria +http://ist.ac.at/~mgiacobbe/ Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-08-21 10:59:57 European Joint Conferences on Theory and Practice of Software Thomas Henzinger Institute of Science and Technology Austria
5	Endless Summer rebate $20-$40 rebate pad dept #SH18-.pub Add to Reading List Source URL: www.standardhorizon.com Language: English - Date: 2018-08-01 22:35:05 Sales promotion Rebate
6	Eco Footprint cover standard.pub Add to Reading List Source URL: www.radicalroutes.org.uk - Date: 2017-02-28 18:06:11
7	The Industrial Internet of Things Volume G1: Reference Architecture IIC:PUB:G1:V1.80: Reference Architecture Add to Reading List Source URL: www.iiconsortium.org Language: English - Date: 2017-01-31 07:55:26 Industrial Internet Consortium Internet of things Technology Information science Computing
8	PUBLIC NOTICE Board meetings and Office Closings revised.pub (Read-Only) Add to Reading List Source URL: paulding.ohioboe.com Language: English - Date: 2018-10-02 16:14:09 Fiji Fijian general election Radio Broadcasting Howard 100 and Howard 101
9	Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗ Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:26 Mathematical analysis Probability theory Statistical theory Evolutionary developmental biology Gene expression Gene regulatory network Networks Systems biology Linear temporal logic Normal distribution Model theory