Rezultaty - structures computational ((programming recursion) or (programming using)) based tool*

1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Wydane 2010

Spis treści: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Wydane 2013

Spis treści: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Wydane 2006

Spis treści: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Wydane 2005

Spis treści: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Wydane 2008

Spis treści: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Wydane 2010

Spis treści: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna...

Wydane 2014

Spis treści: “...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iasi, Romania, March 21-27, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- A Machine Learning Parser Using an Unlexicalized Distituent Model -- Ontology-Based Semantic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference...

Wydane 2005

Spis treści: “... -- Parallel Implementation of a Fuzzy Rule Based Classifier -- 3: Grid Computing Infrastructure -- The EGEE...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /

Wydane 2006

Spis treści: “... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Wydane 2008

Spis treści: “... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Wydane 2005

Spis treści: “... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Wydane 2008

Spis treści: “... Purpose Graph Rewrite Tool -- The Modelling Platform GroIMP and the Programming Language XL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference...

Wydane 2010

Spis treści: “... of Distortion Ratios -- Computer-Generated Conversation Based on Newspaper Headline Interpretation -- Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

Wydane 2007

Spis treści: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Wydane 2005

Spis treści: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Wydane 2006

Spis treści: “... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty