Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
testing sat » testing test
sat https » east https, data https, net https
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
testing sat » testing test
sat https » east https, data https, net https
1
Published 2007
Table of Contents:
“...: Pitfalls to Avoid -- A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Model Checking -- Improving Representative Computation in ExpliSAT....”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- An Open Source Simulation Model of Software Development and Testing -- Software Testing Track -- ExpliSAT...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... of Grain Quality Nondestructive Testing Methods -- Maize Disease Diagnosis Model Based on Ontology...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Molecular and Membrane Computing Models -- Computing with Spiking Neural P Systems: Traces...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... and Executing Finite Automata in Test Tube -- Development of an In Vivo Computer Based on Escherichia coli...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Software Development? -- Invited Tutorials -- Algorithms for Interface Synthesis -- A Tutorial...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Proving Church’s Thesis -- The Limits of Quantum Computers -- Marrying Words and Trees -- TPTP...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Framework -- Software Development Methods in the Internet of Things.- SAT–Based Bounded Strong...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... of a Small Educational Satellite for the Italian High School Students: The EduSAT Project -- Testing...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Robust Networks for Systems-of-Systems -- On the Application of SAT Solvers to the Test Suite...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... for Autonomous Agents -- Efficient Subdomains for Random Testing -- Applying Genetic Improvement to MiniSAT...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging...”View full text
Electronic
eBook
20
Published 2015
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook