Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration specification » integrating specification, interaction specifications, integration verification
specification program » specifications program, verification program, purification program
programs computing » programs compiling, programs conducting, problems computing
program programs » program program, programs program, program progress
https » http
integration specification » integrating specification, interaction specifications, integration verification
specification program » specifications program, verification program, purification program
programs computing » programs compiling, programs conducting, problems computing
program programs » program program, programs program, program progress
https » http
1
Subjects:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
4
Table of Contents:
“...Part I: Specification Fundamentals -- The Role of Specification -- Specification Activities...”
View full text
View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”View full text
Electronic
eBook
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”View full text
Electronic
eBook
7
8
Published 2005
Table of Contents:
“... Verification for Branching-Time Specifications -- Exp.Open 2.0: A Flexible Tool Integrating Partial Order...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Maintenance in XML P2P Databases -- Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“...-specific Heuristics -- Integrating ASP into ROS for Reasoning in Robots -- Automated inference of rules...”View full text
Electronic
eBook
15
Table of Contents:
“...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
View full text
View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
18
Table of Contents:
“... -- Programming in Java3D -- Advanced Topics....”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Programming -- Domain Specificity of Genetic Programming Based Automated Synthesis: A Case Study...”View full text
Electronic
eBook
20
Table of Contents:
“... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
View full text
View full text
Electronic
eBook