Tools - PDFSEARCH.IO - Document Search Engine

Tools
Results: 33138

#	Item
11	MPA Science Brief: What Does the Science Say? DO “NO-TAKE” MARINE RESERVES BENEFIT ADJACENT FISHERIES? Despite using conventional fishery management tools such as changes in gear used, use of short-term closures, an Add to Reading List Source URL: nmsmarineprotectedareas.blob.core.windows.net Language: English - Date: 2017-07-31 07:00:56 Fishing Fisheries law Fisheries science Marine conservation Protected areas Marine protected area Oceanography Fisheries management Ichthyoplankton Overfishing Marine reserve Fish stock
12	NTT Global IP Network Configuration Tools Overview! Presented by: Shawn Morris Add to Reading List Source URL: www.nanog.org Language: English - Date: 2012-02-04 01:45:44 Computing Network architecture Internet architecture Internet Nippon Telegraph and Telephone Internet protocols Internet Standards Border Gateway Protocol NTT Communications Computer network IP address RSVP-TE
13	Our Mission: To use our unique, proven design tools and a simple, green architecture to develop and market fine granularity, low-power solutions for problems difficult to solve using conventional technology. Add to Reading List Source URL: www.greenarraychips.com Language: English - Date: 2010-06-07 22:28:20 Computing Digital electronics Fabless semiconductor companies Electrical engineering Electronic engineering Integrated circuit MIPS Technologies MIPS architecture processors Processor design Vinod Dham Motorola
14	Care Tools Washer Fluid Film Care Wiper Care Add to Reading List Source URL: alchemynano.com Language: English - Date: 2017-02-01 21:59:06 Cleaning Home Hygiene Euthenics Rain Safety equipment Windscreen wiper Personal hygiene products Dishwashing Squeegee Car wash Towel
15	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-06 04:04:07 Markov processes Game theory Strategy Stochastic game Markov decision process Probability and statistics Probability Computability theory
16	Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:15 Computing Software engineering Data types Computer programming Primitive types Formal languages Formal methods ANSI/ISO C Specification Language C String Frama-C Permutation
17	Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-04-11 08:01:06 Mathematical logic Theoretical computer science Proof assistants Mathematics Logic in computer science Formal methods Type theory Automated theorem proving Isabelle Lambda calculus Higher-order logic HOL
18	VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-09-26 11:27:36 Harbourfront PATH Toronto Transit Commission Ontario Yonge Street Union station King station Queens Quay Queen station Gardiner Expressway Bay station
19	Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-06-08 10:08:06 Software engineering Computing Computer programming Object-oriented programming languages Functional languages Programming languages Lisp Cross-platform software Racket Scheme Literate programming Anonymous function
20	Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin Add to Reading List Source URL: symbolaris.com Language: English - Date: 2018-02-19 21:13:22 Physics Logic Quantity VLO Traffic collision avoidance system Work Quantifier

UPDATE