BDD - PDFSEARCH.IO - Document Search Engine

BDD
Results: 95

#	Item
41	Extracted from: Cucumber Recipes Automate Anything with BDD Tools and Techniques This PDF file contains pages extracted from Cucumber Recipes, published by the Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-08-14 09:41:03 Web application frameworks Graphical user interface testing Selenium The Pragmatic Programmer Cucumber Ruby on Rails Ruby Form Sinatra Software Computing Computer programming
42	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:58 Model checking Mathematics Theoretical computer science Boolean algebra Diagrams Binary decision diagram
43	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics
44	BDD-AA-第04-001号衛星音声放送専用サービス契約約款第2版（平成17年3月） Add to Reading List Source URL: www.jsat.net Language: Korean - Date: 2013-01-28 04:12:00
45	. BDD-AB-第04-001号衛星音声放送専用サービス契約約款細則 Add to Reading List Source URL: www.jsat.net Language: Japanese - Date: 2013-01-28 04:12:00
46	BDD-AC-第04-001号衛星音声放送専用サービス料金表第2版（平成17年3月） Add to Reading List Source URL: www.jsat.net Language: Japanese - Date: 2013-01-28 04:12:00
47	BDD algorithms and cache misses Draft Nils Klarlund AT&T Bell Laboratories Room 2C-410 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:46 Cache Binary decision diagram Boolean algebra Diagrams Model checking CPU cache Hash table Lookup table Trie Computing Search algorithms Computer programming
48	An n log n Algorithm for Online BDD Renement? Nils Klarlund AT&T Labs Research 600 Mountain Ave. Murray Hill, NJ 07974 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:00 Model checking Mathematics Boolean algebra Binary decision diagram Diagrams
49	SCHEMA DE FONCTIONNEMENT DU TRADUCTEUR EDI BDD INTERFACE Add to Reading List Source URL: www.gmi-connectivity.com - Date: 2006-05-11 10:33:56
50	144-ITPO(392)/Mktg/2010 India Trade Promotion Organisation (BDD) IMPORTANT POLICY DECISIONS W ith the approval of the Competent Authority, the following amendments in licensing guidelines were made: Add to Reading List Source URL: indiatradefair.com Language: English - Date: 2015-02-05 23:57:17 Pragati Maidan India Trade Promotion Organization Geography of India India Maidan Movie theater States and territories of India Foreign trade of India New Delhi