H - PDFSEARCH.IO - Document Search Engine

H
Results: 214564

#	Item
11	24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:35 Theoretical computer science Formal methods Logic in computer science Computing Software engineering Electronic engineering Software testing Formal verification Runtime verification Software verification Java Modeling Language Verification
12	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
13	THE WORLD’S MOST FUEL EFFICIENT VEHICLE DESIGN AND DEVELOPMENT OF J.J. Santin, C.H. Onder, J. Bernard, D. Isler, P. Kobler, F. Kolb, N. Weidmann, L. Guzzella Add to Reading List Source URL: www.paccar.ethz.ch Language: English - Date: 2007-10-12 07:51:18 Energy Universe Transport economics Transport Energy conservation Energy economics Pac-car II Aerodynamics Energy-efficient driving Lino Guzzella Shell Eco-marathon Fuel efficiency
14	DR. KRISTA E. WIEGAND Director, Global Security Program Howard H. Baker Jr. Center for Public Policy University of Tennessee, Knoxville 1640 Cumberland Ave. Knoxville, TN Add to Reading List Source URL: www.kristawiegand.com Language: English - Date: 2018-09-10 12:37:41 Political science International relations Global politics Conflict Conflict resolution Dispute resolution Family therapy Reconciliation Wiegand Peace and conflict studies American University School of International Service Territorial dispute
15	Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r V.1 . 4 L a s t u p d at e d 1 7 O C T SU B J Add to Reading List Source URL: www.hedera.com Language: English - Date: 2018-10-17 22:19:08 Cryptocurrencies Blockchains Concurrent computing Computing Hashgraph Distributed ledger Ethereum Hedera NEO Smart contract Draft:Hedera Hashgraph
16	h ow THE FINANCIAL DIET does money. Add to Reading List Source URL: s14354.pcdn.co - Date: 2017-03-02 10:37:54
17	Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Theoretical computer science Logic Formal methods Mathematical logic Model theory Interpretation Logic in computer science Propositional calculus Boolean satisfiability problem Automated theorem proving Propositional variable IP
18	S C I E N C E P A S S I O N T E C H N O L O G Y Add to Reading List Source URL: david.derler.info Language: English - Date: 2018-10-15 14:18:42 Graz University of Technology Institute for Applied Information Processing and Communications Accumulator RSA Graz X1 Computing Europe
19	CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  Dale Henry Director  Matthew Tlachac Deputy Director  Jason Baker September 8, 2015 The Board will h Add to Reading List Source URL: clark.ohioboe.com Language: English - Date: 2017-04-21 08:14:17 Geography of the United States Geography of Missouri Local government in the United States National Road Springfield Ohio Springfield Massachusetts Board of directors Springfield Virginia Springfield Missouri Springfield Illinois
20	GPDB 5.x PSQL Quick Reference General \copyright \g [FILE] or ; \h [NAME] \q Add to Reading List Source URL: gpdb.docs.pivotal.io Language: English - Date: 2018-10-22 17:43:50 Computing Software Cross-platform software Combinatorics Character encoding String PostgreSQL

UPDATE